A Rest Stop on the Unending Road to Provable Security.
Virgil D. GligorPublished in: Security Protocols Workshop (2019)
Keyphrases
- access control
- security systems
- intrusion detection
- information security
- statistical databases
- network security
- security threats
- aerial images
- security issues
- computer security
- network management
- security properties
- authentication protocol
- key management
- security mechanisms
- security management
- security problems
- security requirements
- security measures
- security level
- security model
- real time
- rfid tags
- security policies
- lower bound