Publication Details

Security Verification of Smartcard Scripts

HANÁČEK, P. Security Verification of Smartcard Scripts. ISM'99. Roznov pod Radhostem: Marq software s.r.o., 1999. p. 11-18. ISBN: 80-85988-31-3.
Type
conference paper
Language
English
Authors
Hanáček Petr, doc. Dr. Ing. (DITS)
URL
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
Publisher
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Roznov pod Radhostem",
  isbn="80-85988-31-3",
  url="http://www.fit.vutbr.cz/~hanacek/papers/papers.htm"
}
Back to top