1490 search results - page 77 / 298 » The Logic of Authentication Protocols |
IJNSEC
2006
13 years 8 months ago
2006
Recently, Yeh et al. proposed an improved password authenticated key exchange scheme (YSYCT scheme) which is secure against undetectable on-line password guessing attacks and prov...
CARDIS
2000
Springer
14 years 1 months ago
2000
Springer
Although biometrics can be an useful component for access control, the security they procure is often overestimated, as if they were a magic tool whose simple use will automatical...
CSFW
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
ISICT
2003
13 years 10 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
APSCC
2007
IEEE
14 years 3 months ago
2007
IEEE
In order to secure communications for dynamic peer groups in mobile computing environments, key agreement protocols are required. In this paper, we propose a new key agreement pro...