8644 search results - page 108 / 1729 » On the Composition of Secure Systems |
179
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
152
click to vote
ICISS
2005
Springer
16 years 7 hour ago
2005
Springer
The event-condition-action paradigm (also known as triggers or rules) is a powerful technology. It gives a database “active” capabilities – the ability to react automatically...
164
click to vote
CCE
2004
15 years 6 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
