719 search results - page 61 / 144 » Proving Security Protocols Correct |
ACNS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The EAP-GPSK protocol is a lightweight, flexible authentication protocol relying on symmetric key cryptography. It is part of an ongoing IETF process to develop authenti...
ICCSA
2007
Springer
15 years 3 months ago
2007
Springer
Deniability is defined as a privacy property which enables protocol principals to deny their involvement after they had taken part in a particular protocol run. Lately, Chou et al....
DCOSS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Many sensor network applications demand tightly-bounded object detection quality. To meet such stringent requirements, we develop three sensing scheduling protocols to gu...
108
click to vote
ICTAI
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
WAIM
2010
Springer
14 years 8 months ago
2010
Springer
Immediate materialized view maintenance with transactional consistency is highly desirable to support real-time decision making. Nevertheless, due to high deadlock rates, such main...