Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time.
Mario BravettiRoberto GorrieriPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- formal methods
- international workshop
- security properties
- development lifecycle
- international conference
- formal analysis
- artificial intelligence
- international symposium
- security requirements
- model checker
- software engineering
- knowledge based systems
- intrusion detection
- process algebra
- knowledge discovery and data mining
- case study
- information security
- protocol specification
- security issues
- safety critical
- network security
- security mechanisms
- model checking
- access control
- security policies
- intelligence and security informatics
- provably correct
- security analysis
- security protocols
- advances in artificial intelligence
- information flow
- reactive systems
- expert systems