Publication result detail

Security Verification of Smartcard Scripts

HANÁČEK, P.

Original Title

Security Verification of Smartcard Scripts

English Title

Security Verification of Smartcard Scripts

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

The article deals with the problematics of security verification of the script programs used in smart cards.

English abstract

The article deals with the problematics of security verification of the script programs used in smart cards.

Authors

HANÁČEK, P.

Released

01.01.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

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