On Refinement−Closed Security Properties and Nondeterministic Compositions
<p> Refinement-closed security properties allow the verification of systems for all possible implementations. Some systems, however, have refinements that do not represent possible implementations. In particular, real instantiations of abstract systems comprising security-critical components s...
Những tác giả chính: | Murray, T, Lowe, G |
---|---|
Định dạng: | Conference item |
Được phát hành: |
2009
|
Những quyển sách tương tự
-
On refinement-closed security properties and nondeterministic compositions
Bằng: Murray, T, et al.
Được phát hành: (2009) -
NONDETERMINISTIC DECISION RULES
Bằng: Piotr Paszek
Được phát hành: (2015-04-01) -
NONDETERMINISTIC DECISION RULES
Bằng: Piotr Paszek
Được phát hành: (2015-04-01) -
NONDETERMINISTIC DECISION RULES
Bằng: Piotr Paszek
Được phát hành: (2015-04-01) -
NONDETERMINISTIC DECISION RULES
Bằng: Piotr Paszek
Được phát hành: (2015-04-01)