Compositional System Security with Interface-Confined Adversaries (Q3178245): Difference between revisions

@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Modular verification of security protocol code by typing
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Safely composing security protocols
@@ Property / cites work: Safely composing security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol Composition Logic (PCL)
@@ Property / cites work: Protocol Composition Logic (PCL) / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
+Normal rank
@@ Property / cites work @@
+Compositional System Security with Interface-Confined Adversaries
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare type theory, polymorphism and separation
@@ Property / cites work: Hoare type theory, polymorphism and separation / rank @@
+Normal rank