Publication Details

Security Verification of Smartcard Scripts

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

Type

conference paper

Language

English

Authors

Hanáček Petr, doc. Dr. Ing. (DITS)

URL

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

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

BibTeX

@inproceedings{BUT192103,
  author="Petr {Hanáček}",
  title="Security Verification of Smartcard Scripts",
  booktitle="ISM'99",
  year="1999",
  pages="11--18",
  address="Roznov pod Radhostem",
  isbn="80-85988-31-3",
  url="http://www.fit.vutbr.cz/~hanacek/papers/papers.htm"
}