42 search results - page 8 / 9 » Policies and Proofs for Code Auditing |
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
SBMF
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
INFORMATIKTAGE
2007
14 years 11 months ago
2007
: Web-Applikationen werden heute immer wichtiger, f¨ur viele Firmen sind sie die Haupteinnahmequelle, f¨ur einige auch die Einzige. Gleichzeitig werden diese Applikationen auch i...
SACMAT
2006
ACM
15 years 3 months ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
ENVSOFT
2007
14 years 9 months ago
2007
Communication across the science-policy interface is complicated by uncertainty and ignorance associated with predictions on which to base policies. The international symposium ...