Formalizing Probabilistic Noninterference (Q2938053): Difference between revisions

@@ Property / cites work @@
+Proofs of randomized algorithms in Coq
@@ Property / cites work: Proofs of randomized algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Secure information flow by self-composition
@@ Property / cites work: Secure information flow by self-composition / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Noninterference for concurrent programs and thread systems
+Normal rank
@@ Property / cites work @@
+Practical Probability: Applying pGCL to Lattice Scheduling
+Normal rank
@@ Property / cites work @@
+Verifying pCTL Model Checking
@@ Property / cites work: Verifying pCTL Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic guarded commands mechanized in HOL
@@ Property / cites work: Probabilistic guarded commands mechanized in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528211
@@ Property / cites work: Q5528211 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Proving Concurrent Noninterference
@@ Property / cites work: Proving Concurrent Noninterference / rank @@
+Normal rank
@@ Property / cites work @@
+Noninterfering Schedulers
@@ Property / cites work: Noninterfering Schedulers / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank