Computational Modeling and Experimental Validation of Aviation Security Procedures

Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by regional, national and international authorities. Due to the very nature of natural language, these informal requirements lack precision and are inappropriate for validation and verification of resulting properties by computational means. We propose here a novel approach to computational modeling and experimental validation of aviation security combining abstract state machine (ASM) specification techniques with symbolic model checking (MC) techniques. Specifically, we use a probabilistic variant of the ASM computation model in combination with probabilistic MC techniques as a computational approach to establishing the consistency, coherence, and completeness of procedural security requirements. Copyright c 2005 retained by the authors. This work is licensed under the Creative Commons Attribution-NonCommercial-...

• Type: Journal
• Year: 2006
• Where: ISI
• Authors: Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
• Keywords: ASM Computation Model, ISI 2006, Probabilistic Mc Techniques, Security, Security Privacy