Zobrazeno 1 - 4
of 4
pro vyhledávání: '"da Costa, Ana Oliveira"'
Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used concept of security lattices provides a natural semantic interpretation
Externí odkaz:
http://arxiv.org/abs/2406.14374
We introduce hypernode automata as a new specification formalism for hyperproperties of concurrent systems. They are finite automata with nodes labeled with hypernode logic formulas and transitions labeled with actions. A hypernode logic formula spec
Externí odkaz:
http://arxiv.org/abs/2305.02836
Autor:
Bartocci, Ezio, Ferrère, Thomas, Henzinger, Thomas A., Nickovic, Dejan, da Costa, Ana Oliveira
Information-flow policies prescribe which information is available to a given user or subsystem. We study the problem of specifying such properties in reactive systems, which may require dynamic changes in information-flow restrictions between their
Externí odkaz:
http://arxiv.org/abs/2105.02013
Autor:
Bartocci, Ezio, Ferrère, Thomas, Henzinger, Thomas A., Nickovic, Dejan, da Costa, Ana Oliveira
Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in wh
Externí odkaz:
http://arxiv.org/abs/2002.06465