Publication | Closed Access
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
94
Citations
41
References
2005
Year
Cryptographic PrimitiveEngineeringCryptographic ProtocolsInformation SecurityCryptographic ProtectionCryptographic TechnologyFormal MethodsData PrivacyComputer ScienceCryptographic ProtocolFormal VerificationSecure ProtocolData SecurityCryptography
| Year | Citations | |
|---|---|---|
Page 1
Page 1