Computer system survivability modelling by using stochastic activity network

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4166 LNCS, Issue , 2006, Pages 71-84

  Garsva, Eimantas ^a  

^a VILNIUS GEDIMINAS TECHNICAL UNIVERSITY   (Lithuania)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CRIME; COMPUTER SIMULATION; PETRI NETS; SECURITY OF DATA; STOCHASTIC CONTROL SYSTEMS;

COMPUTER SYSTEM SURVIVABILITY MODELLING; DEFENCE MECHANISM; STOCHASTIC ACTIVITY NETWORK (SAN);

COMPUTER SYSTEMS;

EID: 33750970561     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11875567_6     Document Type: Conference Paper

References (20)

1. Cohen, F.: Simulating Cyber Attacks, Defenses, and Consequences. IFIP TC-11. Computers and Security. 1999.: http://all.net/journal/ntb/simulate/ simulate.html
2. Moitra S. D., Konda S. L.: A Simulation Model for Managing Survivability of Networked Information Systems. Networked survivable systems. CMU/SEI-2000-TR-020 (2000) 47 p
3. Moitra S. D., Konda S. L.: The Survivability of Network Systems: An Empirical Analysis. CMU/SEI-2000-TR-021 (2000) 41p
4. Gupta, V., Lam, V., Ramasamy, H.V., Sanders, W. H., Singh, S.: Stochastic Modeling of Intrusion-Tolerant Server Architectures for Dependability and Performance Evaluation (2003) 86 p
5. Formal methods Europe.: http://www.fmeurope.org/
6. Virtual library: formal methods.: http://vl.fmnet.info/
7. Simulaworks.: http://mathtools.softlock.net/
8. TimeNET.: http://pdv.cs.tu-berlin.de/~timenet/
9. Sanders, W. H.-. Möbius: Model-Based Environment for Validation of System Reliability, Availability, Security, and Performance. User Manual. Version 1.8.0 (2005) 212 p
10. Sanders, W. H.: Construction and Solution of Performability models based on Stochastic Activity Networks. PhD thesis, University of Michigan (1988) 223 p
11. Sanders W. H., Meyer, J. F.: Stochastic Activity Networks: Formal Definitions and Concepts. Lecture Notes in Computer Science, no. 2090, Springer, Berlin (2001) 315-343
12. Williamson, L.: Discrete Event Simulation in the Möbius Modeling Framework. Master's Thesis. University of Illinois (1998) 63 p
13. Avizienis A., Laprie J. C., Randell B.: Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, Vol. 1. (2004) 11-33
14. Stevens, F., Courtney, T., Singh, S., Agbaria, A., Meyer, J.F., Sanders, W.H., Pal, P.: Model-Based Validation of an Intrusion-Tolerant Information System. Proc. 23rd Symp. Reliable Distributed Systems (2004) 11 p
15. Sanders, W. H., Meyer, J. F.: A unified approach for specifying measures of Performance, dependability, and performability. Dependable Computing for Critical Applications, Vol 4: of Dependable Computing and Fault-Tolerant Systems. Springer-Verlag (1991) 215-237
16. Baker A., Beale J., Caswell, B.: Snort 2.1 Intrusion Detection (Second Edition). Syngress (2004) 751 p
17. Howard, J. D.: An analysis of security incidents on the Internet, 1989-1995. PhD thesis, Carnegie Mellon University, Department of Engineering and Public Policy, (1997).: http://www.cert.org/research/JHThesis/ table_of_contents.html
18. N. Paulauskas, E. Garsva. Computer System Attack Classification. Electronics and Electrical Engineering, No. 2(66). Technology, Kaunas (2006) 84-87
19. What Are the Most Dangerous Internet Services?.: www.cisco.corn/warp/ public/146/news_cisco/ekits/vulnerability_report.pdf
20. Distributed Intrusion Detection System Reports and Database Summaries.: http://www.dshield.org/reports.php