2335 search results - page 24 / 467 » Securing Distributed Systems with Information Flow Control |
149
click to vote
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
IANDC
2008
15 years 1 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
120
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
190
click to vote
TSMC
2010
14 years 8 months ago
2010
Abstract--With the ever-increasing wireless/wired data applications recently, considerable efforts have focused on the design of distributed explicit rate flow control schemes for ...
WSC
2004
15 years 2 months ago
2004
This paper describes a design specification for a generic, supply-chain-simulation system. The proposed simulation system is based on schedule-driven and stock-driven control meth...