Formal Proofs for the Security of Signcryption.
Joonsang BaekRon SteinfeldYuliang ZhengPublished in: Public Key Cryptography (2002)
Keyphrases
- formal proofs
- key management
- signcryption scheme
- security properties
- key management scheme
- wireless sensor networks
- information security
- standard model
- access control
- security level
- network security
- resource constrained
- security requirements
- security protocols
- security issues
- security model
- statistical databases
- security threats
- trusted third party
- encryption scheme
- formal model
- identity based cryptography
- public key
- smart card
- bilinear pairings
- ad hoc networks
- secure communication
- group communication
- computer security
- security mechanisms
- sensitive data