Using formal methods to cultivate trust in smart card operating systems

Author： Alberda M.I.   Hartel P.H.   de Jong Frz E.K.  

Publisher： Elsevier

ISSN： 0167-739X

Source： Future Generation Computer Systems, Vol.13, Iss.1, 1997-07, pp. : 39-54

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A sociotechnical approach to smart card systems design: an Australian case study

By Cooper Joan   Gencturk Nilay   Lindley Robyn A.  

Behaviour and Information Technology, Vol. 15, Iss. 1, 1996-01 ,pp. : 3-13

Taylor & Francis Ltd

Access to resources Recommend Favorite

A novel approach for regenerating a private key using password, fingerprint and smart card

By Ahmed Fawad   Siyal M.Y.  

Information Management & Computer Security, Vol. 13, Iss. 1, 2005-01 ,pp. : 39-54

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

An efficient One-Time Password authentication scheme using a smart card

By Lee Sookyoung   Sivalingam Krishna M.  

International Journal of Security and Networks, Vol. 4, Iss. 3, 2009-07 ,pp. : 145-152

Inderscience Publishers

Access to resources Recommend Favorite

Remote E-Voting Using the Smart Card Web Server

By  

International Journal of Secure Software Engineering (IJSSE), Vol. 5, Iss. 1, 2014-01 ,pp. : 39-60

IGI Global_journal

Access to resources Recommend Favorite

Online Authentication Using Smart Card Technology in Mobile Phone Infrastructure

By  

International Journal of Mobile Computing and Multimedia Communications (IJMCMC), Vol. 3, Iss. 4, 2011-10 ,pp. : 67-83

IGI Global_journal

Access to resources Recommend Favorite