一种理性安全协议的博弈逻辑描述模型 (Game Logic Formal Model of Rational Secure Protocol).
Hai LiuChanggen PengHong ZhangZhijing RenPublished in: 计算机科学 (2015)
Keyphrases
- formal model
- security properties
- predicate calculus
- security patterns
- cryptographic protocols
- covert channel
- diffie hellman
- authentication protocol
- key agreement
- security protocols
- rational agents
- secure routing
- lightweight
- key distribution
- security analysis
- key exchange protocol
- scalar product
- key agreement protocol
- video games
- game theory
- probabilistic knowledge
- group communication
- nash equilibrium
- security requirements
- game playing
- modal logic
- predicate logic
- multi party
- homomorphic encryption
- rfid systems
- computer games
- vertically partitioned data
- provably secure
- privacy preserving
- secure multi party
- formal models
- classical logic
- key establishment
- password authentication
- secure multiparty computation
- security model
- smart card
- logic programming
- mobile payment
- key exchange
- imperfect information
- standard model
- access control