Modeling and validation of aviation security

Studies in Computational Intelligence

Volumn 135, Issue , 2008, Pages 337-355

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

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 45949084862     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-69209-6_18     Document Type: Article

References (32)

1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Altenhofen, M., Börger, E., Lemcke, J.: A High-Level Specification for Mediators (Virtual Providers). In: Bussler, C., Haller, A. (eds.) Proceedings of Business Process Management Workshops, pp. 116-129 (2005)
3. Börger, E.: The ASM ground model method as a foundation for requirements engineering. J. Verification: Theory and Practice, 145-160 (2003)
4. Börger, E., Glässer, U., Müller, W.: Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines. In: Kloos, C.D., Breuer, P.T. (eds.) Formal Semantics for VHDL, pp. 107-139. Kluwer Academic Publishers, Dordrecht (1995)
5. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
6. 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, pp. 3667-3674. IEEE, Los Alamitos (2005)
7. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)
8. The Economist Airport Screening Technology: Full Exposure. The Economist 389(8491), 21-21 (2006)
9. Farahbod, R., et al.: The CoreASM Project, http://www.coreasm.org
10. Farahbod, R., Glässer, U., Vajihollahi, M.: An Abstract Machine Architecture for Web Service Based Business Process Management. The special issue on Business Processes and Services of the International Journal of Business Process Integration and Management (IJBPIM) (to appear, 2006)
11. The fifth estate, Fasten Your Seatbelts. First aired Nov 9, 2005 on CBC-TV (2006) Last visited November 2006, http://www.cbc.ca/fifth/ fastenseatbelts/index.html
12. Gatersleben, M.R., van der Weij, S.W.: Analysis and Simulation of Passenger Flows in an Airport Terminal. In: Farrington, P.A., Nembhard, H.B., Evans, G.W. (eds.) Proceedings of the 1999 Winter Simulation Conference, pp. 1226-1231 (1999)
13. Glässer, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: Status and perspectives. J. Comput. Networks 42(3), 343-358 (2003)
14. Glässer, U., Rastkar, S., Vajihollahi, M.: Computational Modeling and Experimental Validation of Aviation Security Procedures. In: Mehrotra, S., Zeng, D.D., Chen, H., Thuraisingham, B., Wang, F.-Y. (eds. ISI 2006. LNCS, vol. 3975, pp. 420-432. Springer, Heidelberg (2006)
15. Glässer, U., Rastkar, S., Vajihollahi, M.: Computational Modeling and Experimental Validation of Aviation Security Procedures. Technical Report SFU-CMPT-TR-2006-23. Simon Fraser University (2006)
16. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: Prism: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006)
17. International Civil Aviation Organization (ICAO), Annex 17 to the Convention on International Civil Aviation: Standards and Recommended Practices - Security - Safeguarding International Civil Aviation against Acts of Unlawful Interference (2002)
18. Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking in practice: Case studies with PRISM. J. ACM SIGMETRICS Performance Evaluation Review 32(4), 16-21 (2005)
19. Kwiatkowska, M., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. J. Formal Methods in System Design 29, 33-78 (2006)
20. Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. J. Theoretical Computer Science 282, 101-150 (2002)
21. Kwiatkowska, M., Norman, G., Sproston, J.: Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol. 2399, pp. 169-187. Springer, Heidelberg (2002)
22. Kwiatkowska, M., Norman, G., Sproston, J.: Probabilistic model checking of deadline properties in the IEEE 1394 FireWire root contention protocol. J. Formal Aspects of Computing 14(3), 295-318 (2003)
23. 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: Ralyté, J., Ågerfalk, P.J., Kraiem, N. (eds.) Proceedings of the First International Workshop on Situational Requirements Engineering Processes (SREP 2005), pp. 91-107 (2006)
24. Ledru, Y.: Project EDEMOI - An Approach to Model and Validate Airport Security. (Final report) (2006)
25. Microsoft FSE Group, The Abstract State Machine Language (2003), http://research.microsoft.com/fse/asml/
26. Pendergraft, D.R., Robertson, C.V., Shrader, S.: Simulation of an Airport Passenger Security System. In: Ingalls, R.G., Rossetti, M.D., Smith, J.S., Peters, B.A. (eds.) Proceedings of the 2004 Winter Simulation Conference, pp. 874-878 (2004)
27. PRISM Web Site, http://www.cs.bham.ac.uk/~dxp/prism
28. Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. In: Panangaden, P., van Breugel, F. (eds.). CRM Monograph Series, vol. 23. American Mathematical Society (2004)
29. Stärk, R., Schmid, J., Börger, E.: Java and Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)
30. Takakuwa, S., Oyama, T.: Simulation Analysis of International-Departure Passenger Flows in an Airport Terminal. In: Chick, S., Sanchez, P.J., Ferrin, D., Morrice, D.J. (eds.) Proceedings of the 2003 Winter Simulation Conference (2003)
31. 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)
32. Wilson, D.L.: Use of Modeling and Simulation to Support Airport Security. IEEE Aerospace and Electronic Systems Magazine 20(8), 3-6 (2005)