An Extended Logic for Analyzing Timed-Release Public-Key Protocols.
Michiharu KudoAnish MathuriaPublished in: ICICS (1999)
Keyphrases
- public key
- authentication protocol
- session key
- security analysis
- digital signature
- security model
- public key cryptography
- signature scheme
- diffie hellman
- image authentication
- homomorphic encryption
- elliptic curve cryptography
- encryption scheme
- private key
- secret key
- public key cryptosystem
- key exchange
- secure communication
- provably secure
- authentication scheme
- smart card
- partially blind signature scheme
- key distribution
- security properties
- similarity measure
- security protocols
- multi party
- distributed databases
- low cost