908 search results - page 169 / 182 » Modeling vulnerabilities of ad hoc routing protocols |
94
Voted
ISSTA
2000
ACM
15 years 1 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
96
Voted
MASS
2010
14 years 7 months ago
2010
Traffic congestion is a very serious problem in large cities. With the number of vehicles increasing rapidly, especially in cities whose economy is booming, the situation is gettin...
ESORICS
2010
Springer
14 years 10 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...
94
Voted
SAINT
2003
IEEE
15 years 2 months ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
90
Voted
NDSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The Border Gateway Protocol (BGP) is an IETF standard inter-domain routing protocol on the Internet. However, it is well known that BGP is vulnerable to a variety of attacks, and ...