860 search results - page 101 / 172 » Uncovering Attacks on Security Protocols |
PADL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Radio Frequency Identification (RFID) technology one of the most promising technologies in the field of ubiquitous computing. Indeed, RFID technology may well replace barcode tech...
IANDC
2008
14 years 10 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
USS
2010
14 years 7 months ago
2010
In a bid to limit the harm caused by ubiquitous remotely exploitable software vulnerabilities, the computer systems security community has proposed primitives to allow execution o...
CANS
2008
Springer
15 years 9 hour ago
2008
Springer
Abstract. Ever-growing mobility and ubiquitous wireless Internet access raise the need for secure communication with devices that may be severely constrained in terms of processing...