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

@@ Property / author @@
-Carroll Morgan
@@ Property / author: Carroll Morgan / rank @@
-Normal rank
@@ Property / author @@
+Carroll Morgan
@@ Property / author: Carroll Morgan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-010-0164-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2017211568
@@ Property / OpenAlex ID: W2017211568 / rank @@
+Normal rank
@@ 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