Security and Privacy of Protocols and Software with Formal Methods.
Fabrizio BiondiAxel LegayPublished in: ISoLA (1) (2016)
Keyphrases
- formal methods
- security properties
- safety critical
- development lifecycle
- formal analysis
- security services
- security protocols
- knowledge based systems
- formal specification
- secure multiparty computation
- security issues
- security requirements
- authentication protocol
- artificial intelligence
- software engineering
- mutual authentication
- cryptographic protocols
- model checking
- statistical databases
- protocol specification
- security analysis
- software systems
- software development
- security risks
- network security
- modeling language
- security mechanisms
- information security
- privacy preserving
- communication protocols
- intrusion detection
- homomorphic encryption
- personal information