995 search results - page 38 / 199 » Intrusion ripple analysis in distributed information systems |
173
click to vote
CONCUR
2001
Springer
15 years 10 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 ...
224
click to vote
COOPIS
1998
IEEE
15 years 10 months ago
1998
IEEE
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...
173
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
181
click to vote
ICECCS
2009
IEEE
16 years 25 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
162
click to vote
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...