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 / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M12
@@ Property / Mathematics Subject Classification ID: 68M12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6052553
@@ Property / zbMATH DE Number: 6052553 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refinement of security
@@ Property / zbMATH Keywords: refinement of security / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formalised secrecy
@@ Property / zbMATH Keywords: formalised secrecy / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hierarchical security reasoning
@@ Property / zbMATH Keywords: hierarchical security reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compositional semantics
@@ Property / zbMATH Keywords: compositional semantics / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:432140