Detail publikace

Security Verification of Smartcard Scripts

HANÁČEK Petr. Security Verification of Smartcard Scripts. In: ISM'99. Roznov pod Radhostem: MARQ, 1999, s. 11-18. ISBN 80-85988-31-3.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Hanáček Petr, Dr. Ing. (UIVT FEI VUT)
URL
Rok
1999
Strany
11-18
Sborník
ISM'99
ISBN
80-85988-31-3
Vydavatel
MARQ
Místo
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"
}
Nahoru