464 search results - page 11 / 93 » Validating Attacks on Authentication Protocols |
JISE
2006
13 years 7 months ago
2006
ACNS
2008
Springer
14 years 1 months ago
2008
Springer
We propose a light-weight protocol for authentication of low-power devices. Our construction PUF-HB merges the positive qualities of two families of authentication functions. PUF ...
JCSS
2006
13 years 7 months ago
2006
In an open networking environment, a workstation usually needs to identify its legal users for providing its services. Kerberos provides an efficient approach whereby a trusted th...
CSFW
2003
IEEE
14 years 20 days ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
COMCOM
2006
13 years 7 months ago
2006
Abstract. Man-in-the-middle attacks pose a serious threat to SSL/TLSbased electronic commerce applications, such as Internet banking. In this paper, we argue that most deployed use...