270 search results - page 36 / 54 » Verifying Second-Level Security Protocols |
120
click to vote
PET
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Face recognition is increasingly deployed as a means to unobtrusively verify the identity of people. The widespread use of biometrics raises important privacy concerns, i...
147
Voted
CSFW
2006
IEEE
15 years 8 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 ...
114
Voted
SOCIALCOM
2010
15 years 13 days ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
122
Voted
ADHOCNOW
2008
Springer
15 years 9 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
169
Voted
SOCA
2007
IEEE
15 years 8 months ago
2007
IEEE
Mobile agent technology and Web Service technology compensate each other and play very important roles in eservice applications. The mechanism of Web Services technology naturally...