1059 search results - page 190 / 212 » Modeling Security Protocols as Games |
CVPR
2011
IEEE
12 years 11 months ago
2011
IEEE
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...
ISW
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
A new face recognition algorithm is presented. It supposes that a video sequence of a person is available both at enrollment and test time. During enrollment, a client Gaussian Mi...
NDSS
2009
IEEE
14 years 2 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
CNSR
2008
IEEE
14 years 2 months ago
2008
IEEE
Key establishment plays a central role in authentication and encryption in wireless sensor networks, especially when they are mainly deployed in hostile environments. Because of t...