2014 · 85 citations · 43 references
ComputingComputer EngineeringComputer ScienceCryptographyProgramming LanguagesTheory Of ComputationCryptographic ProtocolsModel CheckingProtocol VerificationSecurity Protocol VerificationType CheckingType SystemsCoqFormal Verification Of Cryptographic ProtocolsFormal Verification Of Security PropertiesFormal Verification Tools For Cryptographic ProtocolsLambda CalculusRefinement TypesSystem VerificationVerification Conditions
International audience
43
Security Policies and Security Models
Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations
Towards a Mathematical Science of Computation.
John McCarthy · 1962 · 454 citations