Rule-based static analysis of network protocol implementations (Q2482438): Difference between revisions

@@ Property / cites work @@
+Rule-based static analysis of network protocol implementations
+Normal rank
@@ Property / cites work @@
+Q4738390
@@ Property / cites work: Q4738390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551148
@@ Property / cites work: Q4551148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5447364
@@ Property / cites work: Q5447364 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal analysis of Kerberos 5
@@ Property / cites work: Formal analysis of Kerberos 5 / rank @@
+Normal rank
@@ Property / cites work @@
+Breaking and fixing public-key Kerberos
@@ Property / cites work: Breaking and fixing public-key Kerberos / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530846
@@ Property / cites work: Q4530846 / rank @@
+Normal rank
@@ Property / cites work @@
+The NRL Protocol Analyzer: An Overview
@@ Property / cites work: The NRL Protocol Analyzer: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426387
@@ Property / cites work: Q4426387 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement to Imperative/HOL
@@ Property / cites work: Refinement to Imperative/HOL / rank @@
+Normal rank