253 search results - page 19 / 51 » Compositional Analysis of Authentication Protocols |
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
In line with the recent call for technology on Image Based Authentication (IBA) in JPEG committee [1], we present a novel graphical password design in this paper. It rests on the ...
CSFW
2003
IEEE
14 years 28 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...
GC
2004
Springer
14 years 1 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
PROVSEC
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outsid...
IAJIT
2010
13 years 6 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...