In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional probability of the property under some partial observation differs from the a priori probability of that property. For systems modelled as finite Markov chains we prove that the two following problems are decidable: does ...

The $45 trillion fixed-income market still makes little use of the electronic marketplace. Our research findings show this to be mainly due to the market structure of embedded interpersonal ties, which allow participants to take advantage of information asymmetry for profit taking. This research-in-progress, based on ethnographic data and face-to-face interviews with 72 fixedincome senior manag...

Languages differ in the concepts and real-world entities for which they have words and grammatical constructs. Therefore translation must sometimes be a mat te r of approximating the meaning of a source language text rather than finding an exact counterpart in the target language. We propose a translation framework based on Situation Theory. The basic ingredients are an information lattice, a r...

In 1985, we outlined an information flow tool for the Gypsy language that could be used to support covert channel analysis. The proposed tool offered substantial advantages over existing tools in flexibility and promised to be useful for a variety of analyses. Two versions of the tool were subsequently built and used for a variety of MLS and other projects. This paper draws on the original, add...

: In this article, the ‘information channel diagram’ (ICD) approach is introduced as a diagrammatical tool for modelling information flow during the delivery phase of organisations in which goods are deployed or delivered to customers. An initial review and evaluation of current tools for modelling information flow will be conducted based on the characteristics of information flow during the de...

The main focus of this paper is demonstrating a methodology for capturing and designing co-operative work processes. We present a method, appropriate for group work analysis, and particularly well suited for the analysis and design of workflow applications. With this end in view, we have chosen the OSSAD method as a foundation for a specific method for co-operative applications analysis and des...

This paper examines the opportunities for applying language based security techniques, in particular information flow tracking, to the sensor network domain. The main conclusion is that existing language based information flow mechanisms are inadequate, but that the general approach is quite promising and merits further research.

In the min-entropy approach to quantitative information flow, the leakage is defined in terms of a minimization problem, which, in case of large systems, can be computationally rather heavy. The same happens for the recently proposed generalization called g-vulnerability. In this paper we study the case in which the channel associated to the system can be decomposed into simpler channels, which...