480 search results - page 79 / 96 » On the verification of automotive protocols |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Nowadays, the IP Multimedia Subsystem (IMS) is a promising research field. Many ongoing works related to the security and the performances of its employment are presented to the r...
ASE
2004
13 years 7 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
CCR
2004
13 years 7 months ago
2004
In this paper, we propose a new approach to preventing and constraining denial-of-service (DoS) attacks. Instead of being able to send anything to anyone at any time, in our archi...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...
FGCN
2007
IEEE
14 years 1 months ago
2007
IEEE
The emerging Car-to-Car communication (C2C) technology, known as Wireless Access in Vehicular Environments (WAVE), enables vehicles on the roadway to communicate with each other a...