2335 search results - page 26 / 467 » Securing Distributed Systems with Information Flow Control |
KES
2008
Springer
15 years 1 months ago
2008
Springer
In order to coordinate and deliver information in the right time and to the right place, theories from multi-agent systems and information logistics are combined. We use agents to ...
127
click to vote
POPL
1998
ACM
15 years 5 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...
110
click to vote
APWEB
2005
Springer
15 years 7 months ago
2005
Springer
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...
101
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
We describe a general-purpose distributed system capable of traceback of malicious flow trajectories in the wide area despite possible source IP spoofing. Our system requires th...