Publication | Closed Access

Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically

Formal SpecificationEngineeringDiffie–hellman-like ProtocolsAutomated ReasoningVerificationFormal MethodsComputer-aided VerificationFormal TechniqueComputer ScienceCryptographic ProtocolFormal VerificationSecure ProtocolResolution Modulo AcCryptography