Model-driven availability evaluation of railway control systems
Automated Validation of Internet Security Protocols and Applications Shared cost RTD (FET open) project IST-2001-39252 C O R P O R A T E T E C H N O L.
Not So Fast Flux Networks for Concealing Scam Servers Theodore O. Cochran; James Cannady, Ph.D. Risks and Security of Internet and Systems (CRiSIS), 2010.
Date: 2011/05/26 Reporter: Shu-Ping, Yu Advisor: Chun-Ying, Huang
