A Taxonomy of Security Properties for Process Algebras.

Riccardo Focardi Roberto Gorrieri A Taxonomy of Security Properties for Process Algebras. 5-34 1995 3 Journal of Computer Security 1 db/journals/jcs/jcs3.html#FocardiG95