480 search results - page 36 / 96 » On the verification of automotive protocols |
ICSE
1992
IEEE-ACM
15 years 1 months ago
1992
IEEE-ACM
This paper presents the tools Ald
IJNSEC
2010
14 years 4 months ago
2010
Undeniable signatures were proposed to limit the public verification property of ordinary digital signature. In fact, the verification of such signatures cannot be obtained withou...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
105
click to vote
CCS
2010
ACM
14 years 7 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
PTS
2000
14 years 11 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...