1106 search results - page 14 / 222 » Automated Design of Security Protocols |
SP
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
DIAU
2000
Springer
14 years 1 months ago
2000
Springer
We present the traffic analysis problem and expose the most important protocols, attacks and design issues. Afterwards, we propose directions for further research. As we are mostl...
HOST
2009
IEEE
14 years 4 months ago
2009
IEEE
—Outsourcing the fabrication of semiconductor devices to merchant foundries raises some issues concerning the IP protection of the design. Active hardware metering schemes try to...
SOUPS
2009
ACM
14 years 4 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...
CCS
2003
ACM
14 years 1 months ago
2003
ACM
We describe LEAP (Localized Encryption and Authentication Protocol), a key management protocol for sensor networks that is designed to support in-network processing, while at the ...