Detail publikace
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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Hanáček Petr, doc. Dr. Ing.
(UITS)
URL
Abstrakt
The article deals with the problematics of security verification of the script programs used in smart cards.
Rok
1999
Strany
11–18
Sborník
ISM'99
ISBN
80-85988-31-3
Vydavatel
Marq software s.r.o.
Místo
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"
}