20 search results - page 1 / 4 » Opacity Generalised to Transition Systems |
IFIP
2005
Springer
13 years 10 months ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
JAPLL
2010
12 years 11 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
LICS
1996
IEEE
13 years 9 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...