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...
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
2009
|
Search Result 1
On refinement-closed security properties and nondeterministic compositions
Հրապարակվել է 2009
Journal article