5188 search results - page 31 / 1038 » Information Flow in Interactive Systems |
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
In recent times, there has been a growing interest in the level of intellectual contribution that IS makes to other disciplines. Much of the debate that has dominated the literatu...
110
click to vote
POPL
1998
ACM
15 years 4 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
SOSP
1997
ACM
15 years 1 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
143
click to vote
CSFW
2000
IEEE
15 years 4 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...