Keyphrases
- automated reasoning
- security protocols
- revised selected papers
- key management
- security issues
- probabilistic reasoning
- cryptographic algorithms
- neural network
- security mechanisms
- international workshop
- knowledge representation
- security policies
- lecture notes in artificial intelligence
- theorem proving
- end to end
- access control
- security problems
- bayesian networks
- machine learning