144 search results - page 17 / 29 » An Efficient Authentication Protocol for GSM |
ACSAC
2003
IEEE
14 years 7 days ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...
IJACT
2008
13 years 8 months ago
2008
Abstract: Hash functions are used in many cryptographic constructions under various assumptions, and the practical impact of collision attacks is often unclear. In this paper, we s...
CSFW
1999
IEEE
14 years 27 days ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
JDCTA
2010
13 years 3 months ago
2010
With the intent of efficient occupying under-utilized spectrum, radio environment map (REM) based cognitive radio (CR) networking is proposed to facilitate the distributed spectru...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...