Reasoning with Past to Prove PKCS#11 Keys Secure.
Sibylle B. FröschleNils SommerPublished in: Formal Aspects in Security and Trust (2010)
Keyphrases
- reasoning systems
- knowledge base
- automated reasoning
- knowledge representation
- case based reasoning
- lightweight
- reasoning tasks
- key establishment
- real world
- private key
- legal reasoning
- reasoning process
- qualitative reasoning
- spatial reasoning
- security issues
- public key
- past experience
- operating system
- authentication protocol
- sensor networks
- expert systems