Sciweavers

CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
13 years 9 months ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...