718 search results - page 101 / 144 » Security protocols, properties, and their monitoring |
113
click to vote
JCS
2006
15 years 1 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
116
click to vote
JUCS
2008
15 years 1 months ago
2008
Unknown Key-Share (UKS) resilience is a basic security attribute in authenticated key agreement protocols, whereby two entities A and B should not be able to be coerced into shari...
115
click to vote
ICDCS
2009
IEEE
15 years 11 months ago
2009
IEEE
The neighborhood information has been frequently used by protocols such as routing in sensor networks. Many methods have been proposed to protect such information in hostile envir...
104
click to vote
ITRUST
2004
Springer
15 years 7 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
149
click to vote
PKC
1998
Springer
15 years 6 months ago
1998
Springer
One-way hash functions are an important tool in achieving authentication and data integrity. The aim of this paper is to propose a novel one-way hash function based on cellular aut...