208 search results - page 30 / 42 » Automated Security Protocol Analysis With the AVISPA Tool |
111
click to vote
ITRUST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
ASYNC
2005
IEEE
15 years 3 months ago
2005
IEEE
Unprotected cryptographic hardware is vulnerable to a side-channel attack known as Differential Power Analysis (DPA). This attack exploits data-dependent power consumption of a co...
GC
2004
Springer
15 years 3 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...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
To protect against replay attacks, many Internet protocols rely on nonces to guarantee freshness. In practice, the server generates these nonces during the initial handshake, but ...
DEXAW
2006
IEEE
15 years 3 months ago
2006
IEEE
Wireless sensor networks (WSNs) are used for various ubiquitous and pervasive environments. A few common applications are security, agriculture, automation, and environmental moni...