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

Location

Roznov pod Radhostem

ISBN

80-85988-31-3

Book

ISM'99

Pages from

11

Pages to

18

Pages count

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