480 search results - page 19 / 96 » On the verification of automotive protocols |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
ACSC
2007
IEEE
13 years 11 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
CAV
2001
Springer
13 years 11 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
CCR
2000
13 years 7 months ago
2000
We propose a zero-knowledge interactive proof based identification and signature scheme. The protocol is based on Euler's totient function and discrete logarithms over the ri...
BMCBI
2007
13 years 7 months ago
2007
Background: The Affymetrix GeneChip technology uses multiple probes per gene to measure its expression level. Individual probe signals can vary widely, which hampers proper interp...