Detail publikace

Security Verification of Smartcard Scripts

HANÁČEK, P.

Originální název

Security Verification of Smartcard Scripts

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální 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

1. 1. 1999

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",
  address="Roznov pod Radhostem",
  isbn="80-85988-31-3",
  url="http://www.fit.vutbr.cz/~hanacek/papers/papers.htm"
}