Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.
Werner StephanPublished in: FM (2006)
Keyphrases
- lightweight
- formal methods
- software engineering
- security properties
- development lifecycle
- artificial intelligence
- computer science
- rfid tags
- authentication protocol
- dos attacks
- knowledge based systems
- safety critical
- model checking
- formal analysis
- information security
- security issues
- intrusion detection
- formal specification
- network security
- access control
- information systems
- protocol specification
- reverse engineering
- wireless sensor networks
- security policies
- software development
- object oriented
- communication infrastructure
- key management
- security analysis
- security protocols
- block cipher
- user interface