Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche.
David von OheimbPublished in: FM (2006)
Keyphrases
- formal methods
- security properties
- formal analysis
- formal specification
- model checker
- business processes
- security requirements
- model checking
- knowledge based systems
- artificial intelligence
- business process
- safety critical
- information security
- security issues
- intrusion detection
- provably correct
- business rules
- development lifecycle
- software engineering
- information systems
- data mining
- electronic commerce
- process algebra
- key management
- modeling language
- network security
- access control
- protocol specification
- support systems
- smart card
- security mechanisms
- knowledge management
- reactive systems
- case study