Mathematics and Computers in Simulation · 1987 · 72 citations · 0 references
ComputingComputer ScienceCybersecurityFormal MethodsSecurity ProtocolsNetwork ProtocolsProtocol AnalysisProtocol DevelopmentProtocol VerificationSpecification LanguagesVerificationModel Checking Of Security ProtocolsProtocol Formal VerificationProtocol Pre-specificationProtocol SpecificationProtocol Testing