Conference paper

HANÁČEK Petr. Security Verification of Smartcard Scripts. In: ISM'99. Roznov pod Radhostem, 1999, pp. 11-18. ISBN 80-85988-31-3.
Publication language:english
Original title:Security Verification of Smartcard Scripts
Pages:11-18
Proceedings:ISM'99
Place:Roznov pod Radhostem, CZ
Year:1999
ISBN:80-85988-31-3
URL:http://www.fit.vutbr.cz/~hanacek/papers/papers.htm [HTML]
Annotation
The article deals with the problematics of security verification of the script programs used in smart cards.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=5840}
}

Your IPv4 address: 54.224.100.134
Switch to IPv6 connection

DNSSEC [dnssec]