Detail výsledku

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.
Abstrakt

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

URL
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"
}
Projekty
Výzkum a aplikace heterogenních modelů, GAČR, Standardní projekty, GA102/98/0552, zahájení: 1998-01-01, ukončení: 2000-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru