49 search results - page 1 / 10 » Cryptographic Protocol to Establish Trusted History of Inter... |
ESAS
2006
Springer
13 years 10 months ago
2006
Springer
In the context of ambient networks, this article describes a cryptographic protocol called Common History Extraction (CHE) protocol implementing a trust management framework. All t...
VMCAI
2004
Springer
14 years 4 days ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
DIM
2007
ACM
13 years 10 months ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...
IFIP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
ESORICS
1994
Springer
13 years 11 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...