8644 search results - page 108 / 1729 » On the Composition of Secure Systems |
186
click to vote
ESORICS
2004
Springer
16 years 7 days 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...
169
click to vote
ICISS
2005
Springer
16 years 11 days 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...
171
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 ...
