3088 search results - page 209 / 618 » Multichannel Security Protocols |
IFIP
2009
Springer
13 years 8 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
INFOCOM
2011
IEEE
13 years 1 months ago
2011
IEEE
—Receiver-location privacy is an important security requirement in privacy-preserving Vehicular Ad hoc Networks (VANETs), yet the unavailable receiver’s location information ma...
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
Passive replication has been extensively studied in the literature. However, there is no comprehensive study yet with regard to its degree of communication synchrony. Therefore, w...
USENIX
2008
14 years 17 days ago
2008
New single-machine environments are emerging from abundant computation available through multiple cores and secure virtualization. In this paper, we describe the research challeng...
CCS
2008
ACM
14 years 8 days ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...