10666 search results - page 1827 / 2134 » Quantum programming languages |
122
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...
130
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...
127
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
136
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Interactive access control allows a server to compute and communicate on the fly the missing credentials to a client and to adapt its responses on the basis of presented and decli...
139
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...