42 search results - page 8 / 9 » Policies and Proofs for Code Auditing |
ESOP
2001
Springer
13 years 11 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
13 years 1 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
13 years 8 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
14 years 26 days 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
13 years 6 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 ...