Key points are not available for this paper at this time.
Several information flow security definitions, proposed in the literature, are generalized and adapted to the model of labelled transition systems. This very general model has been widely used as a semantic domain for many process algebras, e.g. CCS.
Focardi et al. (Sun,) studied this question.