49 search results - page 4 / 10 » Open Issues in Formal Methods for Cryptographic Protocol Ana... |
CCS
2005
ACM
13 years 12 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
ACSW
2006
13 years 7 months ago
2006
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
ICASSP
2010
IEEE
13 years 6 months ago
2010
IEEE
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...
FMICS
2010
Springer
13 years 7 months ago
2010
Springer
Embedded networks for chip-to-chip networks are emerging as communication infrastructure in mobile devices. We present three novel embedded network protocols: a sliding window prot...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...