Searching for "Non-Interference Through Determinism." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Non-interference through Determinism
- …,.--~..... Non-interference through determinism* A.W. Roscoe, J.C.P. Woodcock and L. Wulf O…
- Cited by 58 (11 self) – Add To MetaCart
-
Full Presentations Believing the Integrity of a System...................................... 3
- …, 1996. [28] A.W. Roscoe, J.C.P. Woodcock, and L. Wulf. Non-interference through determinism. Journal…
- Add To MetaCart
-
Challenging Formal Specifications by Mutation: a CSP Security Example
- … applications. [13] uses FDR to analyse a system model for non-interference through determinism. Security…
- Cited by 5 (2 self) – Add To MetaCart
-
Pertitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
- …--127, Oakland, CA, May 1995. IEEE Computer Society. [86] A. W. Roscoe, J. C. P. Woodcock, and L. Wulf. Non-interference…
- Add To MetaCart
Showing 1 through 4.
