456 search results - page 49 / 92 » A Proof System for Abstract Non-interference |
139
click to vote
ASIAN
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
105
click to vote
FMCO
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
111
click to vote
CC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
133
click to vote
DFG
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
151
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...