39 search results - page 1 / 8 » The Use of Formal Methods for Trusted Digital Signature Devi... |
FLAIRS
2000
13 years 5 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
ICCSA
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. It is desirable to generate a digital signature using biometrics but not practicable because of its inaccurate measuring and potential hill-climbing attacks, without usin...
FOSAD
2005
Springer
13 years 10 months ago
2005
Springer
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
ETRICS
2006
13 years 8 months ago
2006
Digital signatures and message authentication codes are well known methods for ensuring message integrity. However, they rely on computations which are too hard to be performed by ...
CARDIS
2008
Springer
13 years 6 months ago
2008
Springer
Digital signatures are one of the most important applications of microprocessor smart cards. The most widely used algorithms for digital signatures, RSA and ECDSA, depend on finite...