A Classification of Security Properties for Process Algebras