1106 search results - page 102 / 222 » Automated Design of Security Protocols |
114
click to vote
TSMC
2010
14 years 4 months ago
2010
Most existing camera placement algorithms focus on coverage and/or visibility analysis, which ensures that the object of interest is visible in the camera's field of view (FOV...
106
click to vote
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
MMSEC
2006
ACM
15 years 3 months ago
2006
ACM
Current zero-knowledge watermark detectors are based on a linear correlation between the asset features and a given secret sequence. This detection function is susceptible of bein...
ESORICS
2010
Springer
14 years 11 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
106
click to vote
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
The communication protocol IEEE 802.15.4 is becoming pervasive for low power and low data rate wireless sensor networks (WSNs) applications, including control and automation. Never...