Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172): Difference between revisions

@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Union and Intersection Types for Secure Protocol Implementations
+Normal rank
@@ Property / cites work @@
+Q2707428
@@ Property / cites work: Q2707428 / rank @@
+Normal rank
@@ Property / cites work @@
+Keying Hash Functions for Message Authentication
@@ Property / cites work: Keying Hash Functions for Message Authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Modular verification of security protocol code by typing
+Normal rank
@@ Property / cites work @@
+Q4249316
@@ Property / cites work: Q4249316 / rank @@
+Normal rank
@@ Property / cites work @@
+Roles, stacks, histories: A triple for Hoare
@@ Property / cites work: Roles, stacks, histories: A triple for Hoare / rank @@
+Normal rank
@@ Property / cites work @@
+Breaking and fixing public-key Kerberos
@@ Property / cites work: Breaking and fixing public-key Kerberos / 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 @@
+A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Secure distributed programming with value-dependent types
+Normal rank
@@ Property / cites work @@
+Q4737269
@@ Property / cites work: Q4737269 / rank @@
+Normal rank