114 search results - page 2 / 23 » Conditional Reactive Simulatability |
123
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
113
Voted
SIAMAM
2008
15 years 18 days ago
2008
The radiation (reactive or Robin) boundary condition for the diffusion equation is widely used in chemical and biological applications to express reactive boundaries. The underlyin...
99
Voted
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
105
Voted
IFIPTCS
2010
14 years 11 months ago
2010
Abstract. We present a game-theoretic framework for modeling and solving routing problems in dynamically changing networks. The model covers the aspects of reactivity and non-termi...
ESORICS
2002
Springer
16 years 22 days ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...