Decision problem concerning security for cryptographic protocols.
Toru FujiwaraKenichi TaniguchiTadao KasamiPublished in: Systems and Computers in Japan (1987)
Keyphrases
- cryptographic protocols
- decision problems
- security properties
- decision model
- influence diagrams
- security protocols
- utility function
- np hard
- standard model
- computational complexity
- optimal policy
- authentication protocol
- encryption decryption
- decision processes
- security requirements
- private information retrieval
- formal verification
- operating system
- information systems
- bayesian decision problems