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