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

@@ 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