6527 search results - page 3 / 1306 » On Typing Information Flow |
132
Voted
POPL
1998
ACM
15 years 8 months ago
1998
ACM
119
click to vote
CSFW
2004
IEEE
15 years 7 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...
140
Voted
ESOP
2007
Springer
15 years 7 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...
123
click to vote
HICSS
2006
IEEE
15 years 10 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...