480 search results - page 71 / 96 » On the verification of automotive protocols |
COORDINATION
2009
Springer
14 years 8 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
NDSS
2002
IEEE
14 years 9 days ago
2002
IEEE
Many business transactions on the Internet occur between strangers, that is, between entities with no prior relationship and no common security domain. Traditional security approa...
WICON
2008
13 years 8 months ago
2008
Cognitive radio networks that allow dynamic spectrum access are considered spectrally more efficient than networks using fixed spectral allocation. These networks are characterize...
DIM
2008
ACM
13 years 9 months ago
2008
ACM
Public-key based certificates provide a standard way to prove one's identity, as attested by some certificate authority (CA). However, plain certificates provide a binary ide...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...