A new logic for electronic commerce protocols (Q1853749): Difference between revisions

@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+A semantics for a logic of authentication (extended abstract)
+Normal rank
@@ Property / cites work @@
+A formal framework for authentication
@@ Property / cites work: A formal framework for authentication / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based model checking in the propositional mu-calculus
+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 @@
+Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
+Normal rank
@@ Property / cites work @@
+Q3999188
@@ Property / cites work: Q3999188 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory and automated deduction
@@ Property / cites work: Proof theory and automated deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Three systems for cryptographic protocol analysis
@@ Property / cites work: Three systems for cryptographic protocol analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An attack on the Needham-Schroeder public-key authentication protocol
+Normal rank
@@ Property / cites work @@
+Q4341785
@@ Property / cites work: Q4341785 / rank @@
+Normal rank
@@ Property / cites work @@
+The NRL Protocol Analyzer: An Overview
@@ Property / cites work: The NRL Protocol Analyzer: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+A formal language for cryptographic protocol requirements
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank