741 search results - page 84 / 149 » Verification of security protocols using LOTOS-method and ap... |
129
click to vote
WPES
2003
ACM
15 years 9 months ago
2003
ACM
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...
112
click to vote
ACISP
2001
Springer
15 years 8 months ago
2001
Springer
The market for Personal Digital Assistants (PDA) is growing rapidly and PDAs are becoming increasingly interesting for commercial transactions. One requirement for further growing ...
152
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
Wireless sensor networks (WSNs) are used for various ubiquitous and pervasive environments. A few common applications are security, agriculture, automation, and environmental moni...
121
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...
139
click to vote
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
— Binding services are crucial building blocks in networks and networked applications. A binding service (e.g., the Domain Name System (DNS)) maps certain information, namely, bi...