Formal Proofs for the Security of Signcryption.
Joonsang BaekRon SteinfeldYuliang ZhengPublished in: J. Cryptol. (2007)
Keyphrases
- formal proofs
- key management
- signcryption scheme
- security properties
- key management scheme
- standard model
- trusted third party
- intrusion detection
- information security
- security requirements
- security analysis
- identity based cryptography
- private key
- access control
- bilinear pairings
- security threats
- security issues
- ad hoc networks
- security protocols
- network security
- data integrity
- security model
- secret sharing scheme
- security policies
- security problems
- formal model
- fault tolerant
- end to end
- lightweight
- low cost