68 search results - page 4 / 14 » Reconstruction of Attacks against Cryptographic Protocols |
COMCOM
2000
13 years 9 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
ACNS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We propose a new protocol providing cryptographically secure authentication to unaided humans against passive adversaries. We also propose a new generic passive attack on...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Differential Power Analysis (DPA) presents a major challenge to mathematically-secure cryptographic protocols. Attackers can break the encryption by measuring the energy consumed i...
IWFM
2003
13 years 11 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
WIMOB
2008
IEEE
14 years 4 months ago
2008
IEEE
With Dynamic Home Agent Address Discovery (DHAAD), as specified in Mobile IPv6, a Mobile Node can discover the address of a suitable Home Agent on the home link. However, DHAAD suf...