Strong Security Guarantees: From Alloy to Coq (Research Poster).
Salwa SouafFrédéric LoulerguePublished in: HPCS (2018)
Keyphrases
- information security
- security issues
- intrusion detection
- security systems
- access control
- information assurance
- security policies
- security requirements
- security threats
- security level
- security mechanisms
- statistical databases
- data mining
- network security
- high level
- security properties
- high security
- security vulnerabilities
- outsourced databases
- security problems
- security protocols
- security analysis
- artificial intelligence