Publication | Open Access
Formal Proofs for the Security of Signcryption
184
Citations
16
References
2007
Year
Cryptographic PrimitiveFormal ProofsEngineeringDigital SignatureInformation SecurityCryptographic ProtectionVerificationFormal MethodsData PrivacyFormal VerificationData SecurityCryptography
| Year | Citations | |
|---|---|---|
Page 1
Page 1