A logical framework for evaluating network resilience against faults and attacks

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

Volumn 4846 LNCS, Issue , 2007, Pages 212-227

  Bursztein, Elie ^a   Goubault Larrecq, Jean ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; DYNAMIC RESPONSE; INTRUSION DETECTION; SOFTWARE ARCHITECTURE; WEB SERVICES;

LOGIC-BASED FRAMEWORK; TIMED GAMES; WEB SERVICE ARCHITECTURE;

FORMAL LOGIC;

EID: 38349000956     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76929-3_20     Document Type: Conference Paper

References (21)

1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672-713(2002)
2. Artz, M.: NetSPA: a Network Security Planning Architecture. PhD thesis, Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science (2002)
3. Balthrop, J., Forrest, S., Newman, M.E.J., Williamson, M.M.: Technological networks and the spread of computer viruses, science 304(23) (2004)
4. Brihaye, T., Henzinger, TA., Raskin, J., Prabhu, V.: Minimum-time reachability in timed games. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, Springer, Heidelberg (2006)
5. Church, A.: logic, arithmetics and automata. In: Congress of Mathematician, Institut MittagLeffler, pp. 23-35(1962)
6. Colizza, V., Barrat, A., Barthelemy, M., Vespignani, A.: The modeling of global epidemics: stochastic dynamics and predictability. Bulletin of Mathematical Biology 68, 1893-1921 (2006)
7. de Alfaro, L., Faella, M., Henzinger, T., Majumdar, R., Stoelinga, M.: The element of surprise in timed games. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, Springer, Heidelberg (2003)
8. du net, J.: Bouygues telecom privé de réseau (2004)
9. Henzinger, T., Prabhu, V.: Timed alternating-time temporal logic. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 1-18. Springer, Heidelberg (2006)
10. ICANN. Dns attack factsheet. Technical report, ICANN (March 2007)
11. Jajodia, S.: Topological analysis of network attack vulnerability. In: ASIACCS 2007. Proceedings of the 2nd ACM symposium on Information, computer and communications security, Singapore, p. 2. ACM Press, New York (2007)
12. Jha, S., Sheyner, O., Wing, J.: Two formal analysis of attack graphs. In: CSFW 2002. Proceedings of the 15th IEEE Computer Security Foundations Workshop, Washington, DC, USA, p. 49. IEEE Computer Society Press, Los Alamitos (2002)
13. Klensin, J.: Rfc 2821 - simple mail transfer protocol. Technical report, IETF Network Working Group (2001)
14. Lippmann, R., Webster, S., Stetson, D.: The effect of identifying vulnerabilities and patching software on the utility of network intrusion detection. In: Wespi, A., Vigna, G., Deri, L. (eds.) RAID 2002. LNCS, vol. 2516, Springer, Heidelberg (2002)
15. Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems (extended abstract). In: STACS 1995, pp. 229-242 (1995)
16. Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL 1989. Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Austin, Texas, United States, pp. 179-190. ACM Press, New York (1989)
17. Ritchey, R.W., Ammann, P.: Using model checking to analyze network vulnerabilities. In: SP 2000. Proceedings of the 2000 IEEE Symposium on Security and Privacy, Washington, DC, USA, p. 156. IEEE Computer Society Press, Los Alamitos (2000)
18. Saffre, F., Halloy, J., Deneubourg, J.L.: The ecology of the grid. In: ICAC 2005. Proceedings of the Second International Conference on Automatic Computing, Washington, DC, USA, pp. 378-379. IEEE Computer Society Press, Los Alamitos (2005)
19. Schneier, B.: Attack trees: Modeling security threats. Dr. Dobb?s journal (December 1999)
20. Schneier, B.: Secrets & Lies: Digital Security in a Networked World. Wiley, Chichester (2000)
21. Williamson, M.M.: Throttling viruses: Restricting propagation to defeat malicious mobile code, acsac 00: 61 (2002)