Computational modeling and experimental validation of aviation security procedures

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

Volumn 3975 LNCS, Issue , 2006, Pages 420-431

  Glässer, Uwe ^a   Rastkar, Sarah ^a   Vajihollahi, Mona ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AIRPORTS; COMPUTER SIMULATION; PROBABILISTIC LOGICS; SAFETY FACTOR;

AIRCRAFT SECURITY; AVIATION SECURITY GUIDELINES; INTERNATIONAL AUTHORITIES; UNCERTAINTY;

CIVIL AVIATION;

EID: 33745880675     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11760146_37     Document Type: Conference Paper

References (15)

1. International Civil Aviation Organization: Annex 17 to the Convention on International Civil Aviation: Standards and Recommended Practices - Security (2002)
2. The European Parliament and the Council of the European Union: Regulation (EC) No 2320/2002 of the European Parliament and of the Council - Establishing Common Rules in the Field of Civil Aviation Security (2002)
3. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag (2003)
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)
5. Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P. Panangaden and F. van Breugel (eds.). Volume 23 of CRM Monograph Series. American Mathematical Society (2004)
6. Laleau, R., Vignes, S., Ledru, Y., Lemoine, M., Bert, D., Donzeau-Gouge, V., Dubois, C., Peureux, F.: Application of Requirements Analysis Techniques to the Analysis of Civil Aviation Security Standards. In: Proc. of the First Intl. Workshop on Situational Requirements Engineering Processes (SREP'05), France (2005)
7. Farahbod, R., Glässer, U.: Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior. In: Proc. 6th International Heinz Nixdorf Symposium, Heinz Nixdorf Institute (2006)
8. U. Glässer and Y. Gurevich and M. Veanes: Abstract Communication Model for Distributed Systems. IEEE Trans. on Soft. Eng. 30(7) (2004) 458-472
9. Glässer, U., Gotzhein, R., Prinz, A.: The Formal Semantics of SDL-2000: Status and Perspectives. Comput. Networks 42(3) (2003) 343-358
10. Brantingham, P.L., Kinney, B., Glässer, U., Singh, K., Vajihollahi, M.: A Computational Model for Simulating Spatial Aspects of Crime in Urban Environments. In Jamshidi, M., ed.: Proceedings of 2005 IEEE International Conference on Systems, Man and Cybernetics, IEEE (2005) 3667-74
11. Börger, E.: The ASM Ground Model Method as a Foundation for Requirements Engineering. In: Verification: Theory and Practice. (2003) 145-160
12. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. (2006)
13. PRISM: (PRISM Web Site) http://www.cs.bham.ac.uk/~dxp/prism.
14. Del Castillo, G., Winter, K.: Model Checking Support for the ASM High-Level Language. In Graf, S., Schwartzbach, M., eds.: Proceedings of the 6th International Conference TACAS 2000. Volume 1785 of LNCS., Springer-Verlag (2000) 331-346
15. Glässer, U., Rastkar, S., Vajihollahi, M.: Computational Modeling and Experimental Validation of Aviation Security Procedures. Technical Report SFU-CMPT-TR-2006-02, Simon Fraser University (2006)