A Security Logic for Abstract State Machines.
Stanislas NanchenRobert F. StärkPublished in: Abstract State Machines (2004)
Keyphrases
- network security
- information security
- access control
- security problems
- security mechanisms
- modal logic
- intrusion detection
- security systems
- security requirements
- security analysis
- security measures
- security management
- security issues
- security vulnerabilities
- encryption scheme
- logic programming
- key management
- computer security
- classical logic
- network management
- security threats
- databases
- security model
- information assurance
- security policies
- statistical databases
- security properties
- predicate logic
- cyber security
- electronic commerce
- human operators
- biometric systems