138 search results - page 6 / 28 » DSL Weaving for Distributed Information Flow Systems |
127
Voted
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
182
Voted
ISCA
2011
IEEE
14 years 7 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
146
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
192
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—The paper deals with efficient distribution of timely information to flows of mobile devices. We consider the case where a set of Information Dissemination Devices (IDDs) broa...
130
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...