Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 3 of 3.

Add to Quick Collection   All 3 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Date: 2016
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/1215541
Description: Jones' rely-guarantee calculus for shared variable concurrency is extended to include probabilistic behaviours. We use an algebraic approach that is based on a combination of probabilistic Kleene alge ... More
Reviewed: Reviewed
Date: 2014
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/309368
Description: The Shadow Semantics (Morgan, Math Prog Construction, vol 4014, pp 359-378, 2006; Morgan, Sci Comput Program 74(8):629-653, 2009) is a possibilistic (qualitative) model for noninterference security. S ... More
Reviewed: Reviewed
Date: 2014
Language: eng
Resource Type: Thesis PhD
Identifier: http://hdl.handle.net/1959.14/1057067
Description: Theoretical thesis.
Full Text: Full Text
  • First
  • Previous
  • 1
  • Next
  • Last