549 search results - page 18 / 110 » Verification condition generation for conditional informatio... |
ESOP
2007
Springer
15 years 2 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
97
Voted
SPATIALCOGNITION
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Across cultures, people conceptualize time as if it flows along a horizontal timeline, but the direction of this implicit timeline is culture-specific: in cultures with l...
CSFW
2004
IEEE
15 years 2 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
96
Voted
ENTCS
2007
14 years 10 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
83
Voted
JCS
2007
14 years 10 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...