A Formalization of Strong Security.
Sylvia GreweAlexander LuxHeiko MantelJens SauerPublished in: Arch. Formal Proofs (2014)
Keyphrases
- access control
- network security
- security issues
- intrusion detection
- security properties
- security requirements
- statistical databases
- information assurance
- security vulnerabilities
- security measures
- security problems
- cyber security
- computer security
- security policies
- formal model
- knowledge representation
- human operators
- e government
- elliptic curve
- security model
- high level
- security management
- case study
- high security
- learning algorithm
- real time