Let’s Get Physical: Models and Methods for Real-World Security Protocols (Q3183515): Difference between revisions

@@ Property / author @@
+David A. Basin
@@ Property / author: David A. Basin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cauchy
@@ Property / describes a project that uses: Cauchy / 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.1007/978-3-642-03359-9_1
+Normal rank
@@ Property / OpenAlex ID @@
+W1527974336
@@ Property / OpenAlex ID: W1527974336 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934731
@@ Property / cites work: Q4934731 / rank @@
+Normal rank
@@ Property / cites work @@
+Let’s Get Physical: Models and Methods for Real-World Security Protocols
+Normal rank
@@ Property / cites work @@
+Interpretation of Locales in Isabelle: Theories and Proof Contexts
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Defining functions on equivalence classes
@@ Property / cites work: Defining functions on equivalence classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261732
@@ Property / cites work: Q4261732 / rank @@
+Normal rank
@@ Property / cites work @@
+Structuring metatheory on inductive definitions
@@ Property / cites work: Structuring metatheory on inductive definitions / rank @@
+Normal rank