ASPIRE: Iterative Specification Synthesis for Security.
Kevin Zhijie ChenWarren HeDevdatta AkhaweVijay D'SilvaPrateek MittalDawn SongPublished in: HotOS (2015)
Keyphrases
- network security
- high level
- information security
- computer security
- intrusion detection
- security requirements
- access control
- security vulnerabilities
- security issues
- data security
- specification language
- functional requirements
- information assurance
- security management
- protocol specification
- program synthesis
- security threats
- security systems
- authentication protocol
- cyber security
- key management
- statistical databases
- formal specification
- security policies
- smart card