Cryptographic Protocol Composition via the Authentication Tests (Q3617737): Difference between revisions

@@ Property / describes a project that uses @@
+Casper
@@ Property / describes a project that uses: Casper / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AVISPA
@@ Property / describes a project that uses: AVISPA / 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-00596-1_22
+Normal rank
@@ Property / OpenAlex ID @@
+W1602381506
@@ Property / OpenAlex ID: W1602381506 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for compositional verification of security protocols
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Safely Composing Security Protocols
@@ Property / cites work: Safely Composing Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Searching for Shapes in Cryptographic Protocols
@@ Property / cites work: Searching for Shapes in Cryptographic Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Adding Branching to the Strand Space Model
@@ Property / cites work: Adding Branching to the Strand Space Model / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Authentication tests and the structure of bundles.
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3617737