480 search results - page 52 / 96 » On the verification of automotive protocols |
IPL
2006
14 years 9 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
114
click to vote
CAMAD
2006
IEEE
14 years 11 months ago
2006
IEEE
A new and simple network simulator Nessi is described in this paper. While other simulators focus on minimizing the simulation time, Nessi tries to minimize the development time an...
ROOM
2000
14 years 11 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
ISCC
2008
IEEE
15 years 4 months ago
2008
IEEE
The GSM network with the greatest worldwide number of users, succumbs to several security vulnerabilities. The Short Message Service (SMS) is one of its superior and well-tried se...
137
click to vote
ESAS
2007
Springer
15 years 1 months ago
2007
Springer
Secure communication over wireless channels necessitates authentication of communication partners to prevent man-in-the-middle attacks. For spontaneous interaction between independ...