718 search results - page 34 / 144 » Security protocols, properties, and their monitoring |
163
click to vote
SASN
2006
ACM
15 years 12 months ago
2006
ACM
Denial-of-Service (DoS) and Distributed DoS (DDoS) attacks can cause serious problems in wireless networks due to its limited network/host resources. Attacker traceback is a promi...
143
click to vote
CRYPTO
2008
Springer
15 years 7 months ago
2008
Springer
Prior approaches [15, 14] to building collusion-free protocols require exotic channels. By taking a conceptually new approach, we are able to use a more digitally-friendly communic...
151
click to vote
ASIACRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Secure multi-party computation (MPC) allows a set of n players to securely compute an agreed function of their inputs, even when up to t players are under the control of an adversa...
174
click to vote
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
231
click to vote
FOSAD
2009
Springer
16 years 17 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...