12101 search results - page 140 / 2421 » Mutual Information Analysis |
ACSAC
2001
IEEE
14 years 18 days ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
ACTA
2002
13 years 8 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
ICML
2003
IEEE
14 years 9 months ago
2003
IEEE
ACTA
2005
13 years 8 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...