A framework for compositional verification of security protocols (Q2482454): Difference between revisions

@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional analysis of contract-signing protocols
+Normal rank
@@ Property / cites work @@
+Q4738218
@@ Property / cites work: Q4738218 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418587
@@ Property / cites work: Q4418587 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics and verification of security protocols.
+Normal rank
@@ Property / cites work @@
+Injective synchronisation: An extension of the authentication hierarchy
+Normal rank
@@ Property / cites work @@
+Protocol Composition Logic (PCL)
@@ Property / cites work: Protocol Composition Logic (PCL) / 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 @@
+Authentication tests and the structure of bundles.
+Normal rank
@@ Property / cites work @@
+Q4330526
@@ Property / cites work: Q4330526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4387317
@@ Property / cites work: Q4387317 / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank