1653 search results - page 138 / 331 » Timed analysis of security protocols |
117
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these comp...
134
click to vote
ICUMT
2009
15 years 1 months ago
2009
Energy efficiency is a major concern in the design of Wireless Sensor Networks (WSNs) and their communication protocols. As the radio transceiver typically accounts for a major por...
135
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
118
click to vote
SDMW
2004
Springer
15 years 8 months ago
2004
Springer
With the increasing use of web services, many new challenges concerning data security are becoming critical. Data or applications can now be outsourced to powerful remote servers, ...
119
click to vote
FORTE
2007
15 years 4 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...