Report on the NSF Workshop on Formal Methods for Security.
Stephen ChongJoshua D. GuttmanAnupam DattaAndrew C. MyersBenjamin C. PiercePatrick SchaumontTim SherwoodNickolai ZeldovichPublished in: CoRR (2016)
Keyphrases
- formal methods
- security properties
- formal analysis
- safety critical
- knowledge based systems
- model checking
- model checker
- software engineering
- process algebra
- national science foundation
- provably correct
- homeland security
- security requirements
- development lifecycle
- artificial intelligence
- security issues
- formal specification
- security policies
- digital government
- information management
- intrusion detection
- security mechanisms
- network security
- security protocols
- information security
- access control
- distributed systems
- information technology
- elliptic curve
- case study