Concepedia
Computer Networks (1976) · 1982 · 305 citations · 0 references
ComputingComputer ScienceSystems EngineeringAuthenticationFormal MethodsSecurity ProtocolsNetwork ProtocolsProtocol AnalysisProtocol DevelopmentProtocol VerificationSpecification LanguagesVerificationProtocol Formal VerificationProtocol SpecificationProtocol Testing