147 search results - page 14 / 30 » An intruder model for verifying liveness in security protoco... |
134
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
148
click to vote
CSFW
2008
IEEE
15 years 3 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
116
Voted
ASWEC
2006
IEEE
15 years 8 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
148
Voted
STOC
2000
ACM
15 years 5 months ago
2000
ACM
We first study the problem of doing Verifiable Secret Sharing (VSS) information theoretically secure for a general access structure. We do it in the model where private channels b...
127
click to vote
JALC
2006
15 years 1 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...