2162 search results - page 204 / 433 » A Meta-Notation for Protocol Analysis |
154
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— We consider the level of information security provided by random linear network coding in network scenarios in which all nodes comply with the communication protocols y...
150
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— We analyze fading relay networks, where a singleantenna source-destination terminal pair communicates through a set of half-duplex single-antenna relays using a two-hop...
176
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper, we propose a mutual authentication and key agreement scheme for V2I communications. Our scheme improves security and privacy protection compared with the existing...
168
click to vote
ICECCS
2009
IEEE
15 years 3 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
170
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
A mix network by Wikstrom fails in correctness, provable privacy and soundness. Its claimed advantages in security and efficiency are compromised. The analysis in this paper illus...