An enhanced CFA for security policies

C. Bodei, P. Degano, C. Priami, N. Zannone

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the Workshop on Issues in the Theory of Security (WITS'03, Warsaw, Poland, April 5-6, 2003; co-located with ETAPS'03)
Publication statusPublished - 2003

Cite this