2162 search results - page 267 / 433 » A Meta-Notation for Protocol Analysis |
170
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
169
click to vote
AFRICACRYPT
2010
Springer
16 years 1 months ago
2010
Springer
Modern multi-user communication systems, including popular instant messaging tools, social network platforms, and cooperative-work applications, offer flexible forms of communica...
158
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
As devices become more reliant on battery power, it is essential to design energy efficient protocols. While there is a vast amount of research into power save protocols for unicas...
161
click to vote
CSFW
2007
IEEE
16 years 27 days ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
207
click to vote
ICNP
2007
IEEE
16 years 26 days ago
2007
IEEE
Power conservation is a general concern for mobile computing and communication. In this paper, we investigate the performance of the current 802.11 power saving mechanism (unschedu...