719 search results - page 87 / 144 » Proving Security Protocols Correct |
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
CNSR
2006
IEEE
15 years 3 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
VLDB
1997
ACM
15 years 1 months ago
1997
ACM
This paper proposes an extension of the multiversion two phase locking protocol, called EMVZPL, which enables update transactions to use versions while guaranteeing the serializab...
PERCOM
2005
ACM
15 years 9 months ago
2005
ACM
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...
ICCCN
2008
IEEE
15 years 4 months ago
2008
IEEE
—We investigate a quasi-trusted QKD relaying model. This is a three-party communication model. Two nodes Alice and Bob want to establish a secret key. However, the distance betwe...