12 search results - page 3 / 3 » Verified Formal Security Models for Multiapplicative Smart C... |
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
EMSOFT
2004
Springer
13 years 10 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...