Verifying persistent security properties (Q1886452): Difference between revisions

@@ Property / DOI @@
-.1016/j.cl.2004.02.005
@@ Property / DOI: 10.1016/j.cl.2004.02.005 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cl.2004.02.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2024014242
@@ Property / OpenAlex ID: W2024014242 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62045715
@@ Property / Wikidata QID: Q62045715 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414391
@@ Property / cites work: Q4414391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999188
@@ Property / cites work: Q3999188 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295369
@@ Property / cites work: Q4295369 / rank @@
+Normal rank
@@ Property / cites work @@
+May Testing, Non-interference, and Compositionality
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / 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 @@
+Unwinding Possibilistic Security Properties
@@ Property / cites work: Unwinding Possibilistic Security Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for processes with divergence
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551136
@@ Property / cites work: Q4551136 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 10th international conference, CAV'98, Vancouver, BC, Canada, June 28 -- July 2, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035257
@@ Property / cites work: Q4035257 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved algorithm for the evaluation of fixpoint expressions
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195940
@@ Property / cites work: Q4195940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.CL.2004.02.005
@@ Property / DOI: 10.1016/J.CL.2004.02.005 / rank @@
+Normal rank