Publication | Closed Access

An attack on a recursive authentication protocol A cautionary tale

Lightweight Authentication MechanismEngineeringAuthentication ProtocolInformation SecurityVerificationFormal MethodsComputer ScienceCryptographic ProtocolFormal VerificationSecure ProtocolAuthentication Access ControlData SecurityCryptography