MOPS: an infrastructure for examining security properties of software.
Hao ChenDavid A. WagnerPublished in: CCS (2002)
Keyphrases
- security properties
- security vulnerabilities
- formal model
- security requirements
- formal methods
- security analysis
- software systems
- security protocols
- software development
- security patterns
- software architecture
- cryptographic protocols
- key agreement
- knowledge base
- development process
- cost effective
- computer systems
- source code
- expert systems