129 search results - page 1 / 26 » An Open Approach for Designing Secure Electronic Immobilizer... |
ISPEC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
CCS
2011
ACM
12 years 4 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...
WOA
2000
13 years 6 months ago
2000
The Mobile Agent (MA) paradigm seems able to support effectively distributed applications in open and heterogeneous environments, and application areas such as ecommerce appear to...
JSW
2008
13 years 4 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
The regulation of multiagent systems may be approached from different stand-points. In this paper I will take the perspective of using a certain type of devices, electronic instit...