2 search results - page 1 / 1 » Comparing Refinements for Failure and Bisimulation Semantics |
FUIN
2002
13 years 6 months ago
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
CSFW
1996
IEEE
13 years 10 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...