Publication | Closed Access

A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties

Formal SpecificationEngineeringRewriting-based Inference SystemFormal ModelingAutomated ReasoningVerificationRewriting SystemFormal MethodsProtocol AnalysisSystems EngineeringFormal TechniqueComputer ScienceMeta-logical PropertiesNrl Protocol AnalyzerFormal VerificationData Modeling