Detail publikačního výsledku

Security Verification of Smartcard Scripts

HANÁČEK, P.

Originální název

Security Verification of Smartcard Scripts

Anglický název

Security Verification of Smartcard Scripts

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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

Anglický abstrakt

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

Autoři

HANÁČEK, P.

Vydáno

01.01.1999

Nakladatel

Marq software s.r.o.

Místo

Roznov pod Radhostem

ISBN

80-85988-31-3

Kniha

ISM'99

Strany od

11

Strany do

18

Strany počet

8

URL

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

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"
}