Distributed systems make increasing use of encrypted channels to enable confidential communication. While non-interference provides suitable means to investigate the flow of information within distributed systems, it has proved to be rather difficult to capture the notion of encrypted channels in such a framework. In this paper, we extend the framework MAKS for possibilistic information flow in...

With the spread use of the computers, a new crime space and method are presented for criminals. Computer evidence plays a key part in criminal cases. Traditional computer evidence searches require that the computer specialists know what is stored in the given computer. Binary-based information flow tracking which concerns on the changes of control flow is an effective way to analyze the behavio...

abstract the aim of this study was to evaluate the status of information on forest and data transfer and to identify the gaps in information and data flow in forestry sector in iran. the study evaluated the data and information flow in three levels (control offices level, provincial offices level and organizational offices level) using the document analysis and questioning (interviews and ques...

In this paper, we present a refinement of a Control Flow Analysis aimed at studying information flow security in the the calculus of Mobile Ambients. The improvements are achieved by making the analysis be flow-sensitive: the analysis is able to keep track of temporal dependencies of capabilities application when computing a safe approximation of the run-time topology of Mobile Ambient processes.

This paper deals with stabilization of a broad class of interconnected systems with a constrained control structure. It is assumed that an information flow matrix for the interconnected system is given. This matrix specifies which outputs of the system are available for constructing any input signal of the system. The notion of quotient overlapping fixed mode (QOFM) is introduced, and it is sho...