OSDI
1996
ACM
14 years 25 days ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
SCS
2001
14 years 27 days ago
2001
This paper describes recently developed policy and procedures for safety management during system acquisition within the Australian government's Defence Materiel Organisation...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. Safety policy is a collection of rules that govern the behaviour of entities such that they do not cause accidents. It has been suggested that policies in general can be ...
FM
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
IFIP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
ESOP
2005
Springer
14 years 5 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 ...
CADE
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...