129 search results - page 8 / 26 » An Open Approach for Designing Secure Electronic Immobilizer... |
ISJGP
2010
13 years 5 months ago
2010
A variety of modern technologies such as networks, Internet, and electronic services demand private and secure communications for a great number of everyday transactions. Security ...
ECMAST
1999
Springer
14 years 22 days ago
1999
Springer
The objectives of the CATI project (Charging and Accounting Technology for the Internet) include the design, implementation, and evaluation of charging and accounting mechanisms f...
SP
1997
IEEE
14 years 19 days ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
CCS
2009
ACM
14 years 13 days ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
VOTEID
2007
Springer
14 years 2 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...