79 search results - page 1 / 16 » A Logic of Authentication |
CCS
1999
ACM
14 years 3 months ago
1999
ACM
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
DASC
2006
IEEE
14 years 5 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
IJNSEC
2008
13 years 11 months ago
2008
In 2005, Lee, Kim, and Yoo proposed a nonce-based mutual authentication scheme using smart cards. However, this paper demonstrates that Lee-Kim-Yoo's scheme is vulnerable to ...
FOSAD
2000
Springer
14 years 2 months ago
2000
Springer