6527 search results - page 3 / 1306 » On Typing Information Flow |
FCT
2005
Springer
14 years 1 months ago
2005
Springer
POPL
1998
ACM
13 years 11 months ago
1998
ACM
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
ESOP
2007
Springer
13 years 11 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...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
We explored whether Fisher and Durrance’s [11] framework of information communities applies to online technical newsgroups and the impact of particular social types on informati...