10622 search results - page 1820 / 2125 » Python Programming Language |
151
click to vote
IFIP
2004
Springer
16 years 20 hour 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...
155
click to vote
IFIP
2004
Springer
16 years 20 hour ago
2004
Springer
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...
156
click to vote
IFIP
2004
Springer
16 years 19 hour 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...
175
click to vote
IFIP
2004
Springer
16 years 19 hour 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...
177
click to vote
IFIP
2004
Springer
16 years 19 hour 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...