A framework for probabilistic model checking of security protocols using coloured stochastic activity networks and PDETool

2010 5th International Symposium on Telecommunications, IST 2010

Volumn , Issue , 2010, Pages 210-215

  Akbarzadeh, Mojtaba ^a   Abdollahi Azgomi, Mohammad ^a  

^a IRAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Iran)

Author keywords

Coloured stochastic activity networks (CSANs); PDETool; PRISM; Probabilistic model checking; Security protocols

Indexed keywords

ELECTRONIC TECHNOLOGIES; ENGINEERING METHODOLOGY; NEEDHAM-SCHROEDER; PDETOOL; PROBABILISTIC MODEL CHECKING; SECURITY PROTOCOLS; STATE SPACE; STOCHASTIC ACTIVITY NETWORKS; STOCHASTIC PETRI NETS; TMN PROTOCOL;

COMMUNICATION SYSTEMS; FORMAL METHODS; HIERARCHICAL SYSTEMS; MODEL CHECKING; NETWORK PROTOCOLS; PETRI NETS; PRISMS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

NETWORK SECURITY;

EID: 79953897671     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISTEL.2010.5734026     Document Type: Conference Paper

References (21)

1. th International Conf. on Innovations in Information Technology (Innovations'09), UAEU. Dec. 15-17, IEEE CS Press, 2009, pp. 11-15.
2. F. Crazzolara and G.Winskel, "Events in security protocols," Proc. of the ACM Conf. on Computer and Communications Security, ACM Press, 2001.
3. M. Abdollahi, Azgomi and A. Movaghar, "Coloured stochastic activity networks: definitions and behaviour," Proc. of the UKPEW'04, Bradford, UK. July 7-8, 2004, pp. 297-308.
4. A. Khalili, A. Jalaly Bidgoly and M. Abdollahi Azgomi, "PDETool: a multi-formalism modeling tool for discrete-event systems based on SDES description," LNCS, vol. 5606, 2009, pp. 343-352.
5. M. Kwiatkowska, G. Norman, D. Parker, "PRISM: probabilistic symbolic model checker," Proc. of the TOOLS'02, LNCS, vol. 2324, Springer, 2002, pp. 200-204.
6. M. Olszewski, L. Cyra, "An integrated framework for security protocol analysis," Proc. of the ASIACCS'08, March 18-20, Japan, Tokyo, 2008.
7. A. Armando, et al., "The A VISP A tool for the automated validation of internet security protocols and applications," Proc. of the CAV'05, LNCS, vol. 3576, 2005.
8. A. Munoz, A. Mana, D. Serrano, "AVISPA in the validation of ambient intelligence scenarios," Proc. of the ARES'09, 2009, pp. 420-426.
9. R. Bouroulet and et al., "Modeling and analysis of security protocols using role-based specifications and Petri nets," Proc. of Petri Nets'08, LNCS, vol. 5062, Springer, 2008, pp. 72-91.
10. nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP'05), Italy, ENTCS, vol. 121, Elsevier, 2005, pp. 23-46. (Pubitemid 40219701)
11. S. Andova and et al., "A framework for compositional verification of security protocols," Information and Computation, vol 206, no. 2-4, 2008, pp. 425-459.
12. S. Wang, Y. Zhang, "A logic programming based framework for security protocol verification," LNAI, vol. 4994, Springer, 2008, pp. 638-643. (Pubitemid 351775936)
13. R. Bouroulet, H. Klaudel, E. Pelz, "Modeling and verification of authentication using enhanced net semantics of security protocol language," Proc. of the ACSD'06, IEEE CS Press, 2006, pp. 179-188.
14. M. Abdollahi, Azgomi and A. Movaghar, "Efficient evaluation of CSAN models by state space analysis methods," Proc. of the ICSEA'06, Oct. 29-Nov. 1, IEEE CS Press, 2006.
15. rd Asia Int'l Conf. on Modeling & Simulation (AMS'09), 2009, pp. 710-715.
16. "PDETool Homepage," URL: http://pdeLiust.ac.ir/projects/ pdetool.htrnl.
17. M. Kwiatkowska, G. Norman and D. Parker, "Quantitative analysis with the probabilistic model checker PRISM," ENTCS, vol. 153, no. 2, Elsevier, 2005, pp. 5-31.
18. "PRISM Web Site," URL: www.cs.bham.ac.ukI-dxp/prism.
19. "PRISM Manual, Version 3.1," URL: www.cs.bham.ac.ukl-dxu/prism.
20. A. Movaghar, "Stochastic activity networks: a new definition and some properties," Scientia Iranica, vol. 8, no., 4, 2001, pp. 303-311.
21. M. Abdollahi Azgomi, High-Level Extensions for Stochastic Activity Networks: Theories, Tools and Applications, Ph.D. Dissertation, Department of Computer Engineering, Sharif University of Technology, 2005.