Publication Details

Security Verification of Smartcard Scripts

HANÁČEK Petr. Security Verification of Smartcard Scripts. In: ISM'99. Roznov pod Radhostem, 1999, pp. 11-18. ISBN 80-85988-31-3.

Type

conference paper

Language

english

Authors

Hanáček Petr, Dr. Ing. (DCSE FEECS BUT)

URL

http://www.fit.vutbr.cz/~hanacek/papers/papers.htm HTML

Abstract

The article deals with the problematics of security verification of the script programs used in smart cards.

Published

1999

Pages

11-18

Proceedings

ISM'99

ISBN

80-85988-31-3

Place

Roznov pod Radhostem, CZ

BibTeX

@INPROCEEDINGS{FITPUB5840,
   author = "Petr Han\'{a}\v{c}ek",
   title = "Security Verification of Smartcard Scripts",
   pages = "11--18",
   booktitle = "ISM'99",
   year = 1999,
   location = "Roznov pod Radhostem, CZ",
   ISBN = "80-85988-31-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5840"
}