2014 | OriginalPaper | Buchkapitel
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications
verfasst von : Frédéric Besson, Thomas Jensen, Pierre Vittet
Erschienen in: Static Analysis
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper describes the design and implementation of a static analysis tool for certifying
Java Card
applications, according to security rules defined by the smart card industry.
Java Card
is a dialect of Java designed for programming multi-application smart cards and the tool, called
SawjaCard
, has been specialised for the particular
Java Card
programming patterns. The tool is built around a static analysis engine which uses a combination of numeric and heap analysis. It includes a model of the
Java Card
libraries and the
Java Card
firewall. The tool has been evaluated on a series of industrial applets and is shown to automate a substantial part of the validation process.