Conference paperHANÁČ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}
} |
|