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

@@ Property / describes a project that uses @@
+BLAST
@@ Property / describes a project that uses: BLAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+veriSoft
@@ Property / describes a project that uses: veriSoft / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Darwin
@@ Property / describes a project that uses: Darwin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MOPS
@@ Property / describes a project that uses: MOPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NRL
@@ Property / describes a project that uses: NRL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CIL
@@ Property / describes a project that uses: CIL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2007.05.007
+Normal rank
@@ Property / OpenAlex ID @@
+W3022140103
@@ Property / OpenAlex ID: W3022140103 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2482438