JavaCard-kontrollierter, sicherer Zugriff auf persönliche Dokumente und Berechtigungen.

Clemens H. Cap Nico Maibaum Lars Heyden

Published in: GI Jahrestagung (2002)

Keyphrases

formal specification
smart card
model checking
specification language
reverse engineering
case study
knowledge representation
knowledge management
software engineering