Search Sciweavers | Sciweavers

13

CCS
1999
ACM

105views Security Privacy» more CCS 1999»

13 years 9 months ago

We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...

Andrew W. Appel, Edward W. Felten

claim paper

Read More »

17

click to vote

CSFW
2005
IEEE

136views Security Privacy» more CSFW 2005»

An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols

13 years 11 months ago

Download www.qatar.cmu.edu

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...

Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...

claim paper

Read More »

22

click to vote

DASC
2006
IEEE

251views Applied Computing» more DASC 2006»

Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems

13 years 11 months ago

Download espace.uq.edu.au

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 ...

Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Govern...

claim paper

Read More »

15

click to vote

IJNSEC
2008

143views more IJNSEC 2008»

New Cryptanalysis Paradigm on a Nonce-based Mutual Authentication Scheme

13 years 5 months ago

Download ijns.femto.com.tw

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 ...

Da-Zhi Sun, Zhen-Fu Cao

claim paper

Read More »

15

click to vote

FOSAD
2000
Springer

99views Security Privacy» more FOSAD 2000»

The Logic of Authentication Protocols

13 years 9 months ago

Download www.nrl.navy.mil

Paul F. Syverson, Iliano Cervesato

claim paper