4 search results - page 1 / 1 » Unwinding Conditions for Security in Imperative Languages |
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
JCS
2007
13 years 5 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...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...