398 search results - page 50 / 80 » Errors in Attacks on Authentication Protocols |
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
COMSIS
2006
14 years 12 months ago
2006
Constant increase in use of wireless infrastructure networks for business purposes created a need for strong safety mechanisms. This paper describes WEP (Wired Equivalent Privacy) ...
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
MMMACNS
2001
Springer
15 years 4 months ago
2001
Springer
If multicast communication appears as the most efficient way to send data to a group of participants, it presents also more vulnerabilities to attacks and requires services such as...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
The mifare Classic is a contactless smart card that is used extensively in access control for office buildings, payment systems for public transport, and other applications. We rev...