Binder, a Logic-Based Security Language.
John DeTrevillePublished in: IEEE Symposium on Security and Privacy (2002)
Keyphrases
- programming language
- natural language
- intrusion detection
- language learning
- information security
- security issues
- language processing
- security threats
- security problems
- security systems
- security model
- security analysis
- target language
- statistical databases
- security policies
- network security
- machine learning
- databases
- security requirements
- key management
- specification language
- security protocols
- access control
- user authentication
- security level
- neural network