Research partially supported by Italian CNR and MURST. An extended abstract of this paper – entitled “A Taxonomy of Trace-based Security Properties for CCS” – appeared in Proc. Seventh IEEE Computer Security Foundations Workshop (CSFW'94), (Li Gong E