A Classiication of Security Properties for Process Algebras a Classification of Security Properties for Process Algebras 1

Several information ow security deenitions, 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. As a by-product, we provide a process algebra similar to CCS with a set of security notions, hence relating… CONTINUE READING