Theoretical Computer Science · 2006 · 61 citations · 18 references
Hardware SecurityAuthentication HierarchyAuthentication AuthorizationEngineeringInformation SecurityData PrivacyComputer ScienceFormal VerificationAuthentication ProtocolAuthentication Access ControlData SecurityCryptography
18
A calculus for cryptographic protocols
Martı́n Abadi, Andrew D. Gordon · 1997 · 1.2K citations · Full text