The Layered Games Framework for Specifications and Analysis of Security Protocols (Q5445502): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78524-8_8
+Normal rank
@@ Property / OpenAlex ID @@
+W1520461456
@@ Property / OpenAlex ID: W1520461456 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Compositional analysis of contract-signing protocols
+Normal rank
@@ Property / cites work @@
+Conditional Reactive Simulatability
@@ Property / cites work: Conditional Reactive Simulatability / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
+Normal rank
@@ Property / cites work @@
+On the limitations of universally composable two-party computation without set-up assumptions
+Normal rank
@@ Property / cites work @@
+Security and composition of multiparty cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Q4783717
@@ Property / cites work: Q4783717 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / 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 @@
+Q3729902
@@ Property / cites work: Q3729902 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Cryptography
@@ Property / cites work: Foundations of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+The Layered Games Framework for Specifications and Analysis of Security Protocols
+Normal rank
@@ Property / cites work @@
+On Secure Orders in the Presence of Faults
@@ Property / cites work: On Secure Orders in the Presence of Faults / rank @@
+Normal rank