A Classification of Security Properties for Process Algebras1
Riccardo Focardi, Roberto Gorrieri · Journal of Computer Security · 1995
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.