Compositional refinement in agent-based security protocols (Q432140): Difference between revisions

@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Preserving Secrecy Under Refinement
@@ Property / cites work: Preserving Secrecy Under Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof System for Information Flow Security
@@ Property / cites work: A Proof System for Information Flow Security / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agents
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+A Couple of Novelties in the Propositional Calculus
+Normal rank
@@ Property / cites work @@
+A semantic approach to secure information flow
@@ Property / cites work: A semantic approach to secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+Using probabilistic Kleene algebra pKA for protocol verification
+Normal rank
@@ Property / cites work @@
+On Refinement-Closed Security Properties and Nondeterministic Compositions
+Normal rank
@@ Property / cites work @@
+The Thousand-and-One Cryptographers
@@ Property / cites work: The Thousand-and-One Cryptographers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+The Shadow Knows: Refinement of Ignorance in Sequential Programs
+Normal rank
@@ Property / cites work @@
+The shadow knows: refinement and security in sequential programs
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / cites work @@
+A per model of secure information flow in sequential programs
+Normal rank