7 search results - page 2 / 2 » Foundational Certified Code in a Metalogical Framework |
ESOP
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
FASE
2009
Springer
13 years 8 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...