Compiling and securing cryptographic protocols (Q990127): Difference between revisions

@@ Property / cites work @@
+Deciding knowledge in security protocols under equational theories
+Normal rank
@@ Property / cites work @@
+Intruders with Caps
@@ Property / cites work: Intruders with Caps / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Algorithms for Deciding Knowledge in Security Protocols
+Normal rank
@@ Property / cites work @@
+YAPA: A Generic Tool for Computing Intruder Knowledge
+Normal rank
@@ Property / cites work @@
+On the semantics of Alice \& Bob specifications of security protocols
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling and securing cryptographic protocols
@@ Property / cites work: Compiling and securing cryptographic protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Knowledge in Security Protocols for Monoidal Equational Theories
+Normal rank
@@ Property / cites work @@
+Q2767013
@@ Property / cites work: Q2767013 / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptographic Protocol Explication and End-Point Projection
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank