Skip to content

Formal security policy models for smart card evaluations.

Gerd Beuster, Karin Greimel

Year2012
ProceedingsSAC

Browse the full SAC paper archive.