Publication detail
Security Verification of Smartcard Scripts
HANÁČEK, P.
Original Title
Security Verification of Smartcard Scripts
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
The article deals with the problematics of security verification of the script programs used in smart cards.
Authors
HANÁČEK, P.
Released
1. 1. 1999
Publisher
Marq software s.r.o.
Location
Roznov pod Radhostem
ISBN
80-85988-31-3
Book
ISM'99
Pages from
11
Pages to
18
Pages count
8
URL
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"
}