Sciweavers

ISI
2006
Springer

Computational Modeling and Experimental Validation of Aviation Security Procedures

13 years 3 months ago
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-...
Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where ISI
Authors Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
Comments (0)