Computer Networks · 2007 · 164 citations · 6 references
ComputingComputer EngineeringComputer ScienceAuthenticationComputer SecuritySecurity ProtocolsAuthentication ArchitectureAuthentication ProtocolsCryptographic Protocol DesignMutual AuthenticationPublic Key AuthenticationSecurity Protocol VerificationFormal Verification Of Authentication ProtocolsLightweight Authentication ProtocolsLightweight Cryptographic ProtocolsMutual Authentication ProtocolsSecure Authentication Protocols
6