ENDL: A Logical Framework for Verifying Secure Transaction Protocols.
Qingfeng ChenChengqi ZhangShichao ZhangPublished in: Knowl. Inf. Syst. (2005)
Keyphrases
- logical framework
- secure electronic
- security requirements
- trusted third party
- cryptographic protocols
- payment protocol
- security mechanisms
- key distribution
- security protocols
- commit protocols
- inference rules
- key exchange
- authentication protocol
- credit card
- concurrency control protocols
- payment systems
- key agreement protocol
- security analysis
- belief revision
- multi party
- reasoning tasks
- security services
- key management
- concurrency control
- normative systems
- linear logic
- diffie hellman
- model checking
- decision making
- artificial intelligence
- knowledge base
- general purpose
- description logics
- smart card
- distributed databases
- transaction processing
- transaction model