117 search results - page 9 / 24 » A symbolic framework for multi-faceted security protocol ana... |
EUROCRYPT
2006
Springer
15 years 1 months ago
2006
Springer
We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...
118
click to vote
ICDCSW
2011
IEEE
13 years 9 months ago
2011
IEEE
—Developing secure wireless sensor networks (WSNs) is a complex process that involves careful design of attack test cases and security countermeasures, as well as meaningful eval...
AFRICACRYPT
2009
Springer
15 years 4 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
103
click to vote
IWNAS
2008
IEEE
15 years 4 months ago
2008
IEEE
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
111
click to vote
CSFW
2012
IEEE
13 years 4 days ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...