Combination of simulation and formal methods to analyse network survivability

SIMUTools 2010 - 3rd International ICST Conference on Simulation Tools and Techniques

Volumn , Issue , 2010, Pages

  Matousek, Petr ^a   Rysavy, Ondrej ^a   De Silva, Gayan ^a   Danko, Martin ^a  

^a BRNO UNIVERSITY OF TECHNOLOGY   (Czech Republic)

Author keywords

Dynamic networks; Formal analysis; Reliability; Simulation

Indexed keywords

COMPLEX NETWORKS; NETWORK ROUTING; RELIABILITY; RELIABILITY ANALYSIS; ROUTING PROTOCOLS; TOPOLOGY;

DYNAMIC NETWORK; DYNAMIC ROUTING PROTOCOLS; FORMAL ANALYSIS; GRAPH SEARCH ALGORITHM; MODELLING AND SIMULATIONS; QUALITATIVE PARAMETERS; QUANTITATIVE PARAMETERS; SIMULATION;

FORMAL METHODS;

EID: 84922927757     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/ICST.SIMUTOOLS2010.8654     Document Type: Conference Paper

References (17)

1. A. Avižienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1:11-33, 2004.
2. R. Cejka, P. Matoušek, J. Ráb, O. Ryšavý, and M. Švéda. A formal approach to network security analysis. Technical report, 2008.
3. M. Danko. Modelling ospf routing protocol using omnet++ simulator. Bachelor's thesis, Brno University of Technology, 2009.
4. G. de Silva. Using formal analysis approach on networks with dynamic behaviors. In 5th EEICT student conference, volume 4, pages 390-394, April 2009.
5. P. Matoušek, J. Ráb, O. Ryšavý, and M. Švéda. A formal model for network-wide security analysis. In 15th IEEE Symposium and Workshop on ECBS, 2008.
6. R. Mortiere. Internet traffic engineering. Technical Report UCAM-CL-TR-532, University of Cambridge, 2002.
7. J. Moy. OSPF Version 2. RFC 2328, April 1998.
8. Omnest Global, Inc. OMNeT++ User Manual, 2008. http://www.omnetpp. org/doc/manual/usman.html.
9. R. J. Ellison, D. Fisher, R. C. Linger, H. F. Lipson, T. Longstaff, and N. R. Mead. Survivable network systems: An emerging discipline. Technical Report CMU/SEI-97-TR-013, Carnegie Mellon University, 1997.
10. V. Rybová. Modelling and simulation of network design guides for ip routing. Bachelor's thesis, Brno University of Technology, 2009.
11. P. Scherfel. Simulation of network behaviour based on analysis of configuration of active network devices. Bachelor's thesis, Brno University of Technology, 2009.
12. V. Sivák. Modelling cisco router in simulation tool omnet++. Bachelor's thesis, Brno University of Technology, 2009.
13. S. Soni, R. Gupta, and H. Pirkul. Survivable network design: The state of the art. Information Systems Frontiers, 1(3):303-315, 1999.
14. C. Systems. Cisco validated design program. http://www.cisco.com/en/US/netsol/ns741/networking-solutions-program-home.html.
15. The VINT Project. The ns Manual, Last checked: 02-01-2010. http://www.isi.edu/nsnam/ns/doc/.
16. G. Xie, J. Zhan, D. Maltz, H. Zhang, A. Greenberg, G. Hjalmtysson, and J. Rexford. On static reachability analysis of ip networks. In INFOCOM, pages 2170-2183, 2005.
17. A. Zaballos and C. Seguí. Analysis and simulation of igp routing protocols. Technical report, University of Ramon Llull, Barcelona, 2006.