741 search results - page 78 / 149 » Verification of security protocols using LOTOS-method and ap... |
157
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
139
click to vote
SENSYS
2004
ACM
15 years 9 months ago
2004
ACM
We introduce TinySec, the first fully-implemented link layer security architecture for wireless sensor networks. In our design, we leverage recent lessons learned from design vul...
126
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
We extend the definitional work of Dwork, Naor and Sahai from deniable authentication to deniable key-exchange protocols. We then use these definitions to prove the deniability fe...
114
click to vote
WPES
2003
ACM
15 years 9 months ago
2003
ACM
We give an efficient protocol for sequence comparisons of the edit-distance kind, such that neither party reveals anything about their private sequence to the other party (other t...
133
Voted
IMC
2006
ACM
15 years 10 months ago
2006
ACM
Network managers are inevitably called upon to associate network traffic with particular applications. Indeed, this operation is critical for a wide range of management functions...