1653 search results - page 13 / 331 » Timed analysis of security protocols |
STOC
2005
ACM
14 years 7 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—We propose a security authentication policy, Dynamic Session Key Policy (DSKP), for a secure handoff between the UMTS and IEEE 802.11 WLAN. This policy is founded and improved f...
FUIN
2007
13 years 7 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
WCNC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— A fundamental building block in distributed wireless sensor networks is time synchronization. Given resource constrained nature of sensor networks, traditional time syn...
WISTP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol...