Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution.
Scott LintelmanRichard RobinsonMingyan LiKrishna SampigethayaPublished in: FM (2008)
Keyphrases
- formal methods
- security properties
- knowledge based systems
- formal analysis
- model checking
- information security
- development lifecycle
- formal specification
- security issues
- formal specification language
- process algebra
- provably correct
- trust management
- intrusion detection
- safety critical
- artificial intelligence
- security requirements
- model checker
- reactive systems
- access control
- software engineering
- security protocols
- expert systems
- protocol specification