Publication | Open Access

Protocol Analysis and the “Silent Dog” Method of Analyzing the Impact of Self-Generated Rules

EngineeringAutomated ReasoningInformation SecurityRule LanguageVerificationProtocol AnalysisFormal MethodsSoftware AnalysisRule-based SystemProtocol ComplianceComputer ScienceSelf-generated RulesCommunicationFormal VerificationInteraction Protocol