1653 search results - page 86 / 331 » Timed analysis of security protocols |
IFIPTM
2010
13 years 7 months ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...
WS
2005
ACM
14 years 2 months ago
2005
ACM
Vehicular networks are likely to become the most relevant form of ad hoc networks. In this paper, we address the security of these networks. We provide a detailed threat analysis ...
VTC
2010
IEEE
13 years 7 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...
WS
2003
ACM
14 years 2 months ago
2003
ACM
In an ad hoc network, mobile computers (or nodes) cooperate to forward packets for each other, allowing nodes to communicate beyond their direct wireless transmission range. Many ...
HPCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents our novel protocol design and implementation of an all-software page-based DSM system. The protocol combines the advantages of homeless and home-based...