1653 search results - page 30 / 331 » Timed analysis of security protocols |
HOST
2009
IEEE
14 years 2 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...
IACR
2011
12 years 7 months ago
2011
Abstract. We describe and analyze the password-based key establishment protocol PACE v2 Integrated Mapping (IM), an evolution of PACE v1 jointly proposed by Gemalto and Sagem S´ec...
ISICT
2003
13 years 9 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
CCS
2003
ACM
13 years 11 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 ...
COMCOM
2011
13 years 2 months ago
2011
We identify privacy, security and performance requirements for RFID protocols, as well as additional functional requirements such as tag ownership transfer. Many previously propos...