Formal Methods and Security Evaluation (Invited Talk).
Dominique BolignanoPublished in: TPHOLs (1999)
Keyphrases
- formal methods
- invited talk
- security properties
- safety critical
- process algebra
- formal analysis
- knowledge base
- software engineering
- access control
- intrusion detection
- model checking
- artificial intelligence
- security policies
- formal specification
- selected papers
- information security
- knowledge acquisition
- knowledge discovery
- association rules
- database systems
- formal specification language