947 search results - page 19 / 190 » Provable Implementations of Security Protocols |
101
click to vote
ISW
2004
Springer
15 years 5 months ago
2004
Springer
Due to the low entropy of human-memorable passwords, it is not easy to conduct password authenticated key agreement in a secure manner. Though there are many protocols achieving th...
103
click to vote
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
101
click to vote
WCNC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— A fundamental building block in distributed wireless sensor networks is time synchronization. Given resource constrained nature of sensor networks, traditional time syn...
102
click to vote
TSE
2008
14 years 11 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
ICISS
2009
Springer
15 years 6 months ago
2009
Springer