Modeling and Verifying Time Sensitive Security Protocols with Constraints (Q5415612): Difference between revisions

@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+Q4411970
@@ Property / cites work: Q4411970 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+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 @@
+Q4417888
@@ Property / cites work: Q4417888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5491199
@@ Property / cites work: Q5491199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852365
@@ Property / cites work: Q2852365 / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank