88 search results - page 3 / 18 » A Theorem Proving Approach to Analysis of Secure Information... |
SAS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
ETRICS
2006
13 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
IJNSEC
2007
13 years 6 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
TSE
2010
13 years 4 months ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
JCS
2007
13 years 6 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...