Result Details

Security Verification of Smartcard Scripts

HANÁČEK, P. Security Verification of Smartcard Scripts. ISM'99. Roznov pod Radhostem: Marq software s.r.o., 1999. p. 11-18. ISBN: 80-85988-31-3.

Type

conference paper

Language

English

Authors

Hanáček Petr, doc. Dr. Ing.

Abstract

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

URL

https://www.fit.vut.cz/person/hanacek/public/papers/papers.htm

Published

1999

Pages

11–18

Proceedings

ISM'99

ISBN

80-85988-31-3

Publisher

Marq software s.r.o.

Place

Roznov pod Radhostem

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

Projects

Research and Applications of Heterogenous Models, GACR, Standardní projekty, GA102/98/0552, start: 1998-01-01, end: 2000-12-31, completed

Research groups

Information and Database Systems Research Group (RG IS)

Departments

Faculty of Information Technology (FIT)