Composition of password-based protocols (Q2248082): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-013-0184-6
@@ Property / DOI: 10.1007/s10703-013-0184-6 / rank @@
-Normal rank
@@ Property / author @@
+Mark D. Ryan
@@ Property / author: Mark D. Ryan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2045679397
@@ Property / OpenAlex ID: W2045679397 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114689970
@@ Property / Wikidata QID: Q114689970 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Contributory Password-Authenticated Group Key Exchange with Join Capability
+Normal rank
@@ Property / cites work @@
+Smooth Projective Hashing for Conditionally Extractable Commitments
+Normal rank
@@ Property / cites work @@
+A framework for compositional verification of security protocols
+Normal rank
@@ Property / cites work @@
+From One Session to Many: Dynamic Tags for Security Protocols
+Normal rank
@@ Property / cites work @@
+Bounding Messages for Free in Security Protocols
@@ Property / cites work: Bounding Messages for Free in Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Safely composing security protocols
@@ Property / cites work: Safely composing security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417856
@@ Property / cites work: Q4417856 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Cryptography from Weak Secrets
@@ Property / cites work: Strong Cryptography from Weak Secrets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3374907
@@ Property / cites work: Q3374907 / rank @@
+Normal rank
@@ Property / cites work @@
+Universally Composable Password-Based Key Exchange
+Normal rank
@@ Property / cites work @@
+Q2849571
@@ Property / cites work: Q2849571 / rank @@
+Normal rank
@@ Property / cites work @@
+Safely Composing Security Protocols
@@ Property / cites work: Safely Composing Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks
+Normal rank
@@ Property / cites work @@
+Q3149675
@@ Property / cites work: Q3149675 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-013-0184-6
@@ Property / DOI: 10.1007/S10703-013-0184-6 / rank @@
+Normal rank