Publication | Open Access
Protocol Analysis and the “Silent Dog” Method of Analyzing the Impact of Self-Generated Rules
52
Citations
19
References
1998
Year
EngineeringAutomated ReasoningInformation SecurityRule LanguageVerificationProtocol AnalysisFormal MethodsSoftware AnalysisRule-based SystemProtocol ComplianceComputer ScienceSelf-generated RulesCommunicationFormal VerificationInteraction Protocol
| Year | Citations | |
|---|---|---|
Page 1
Page 1