- Title:
Formal Analyses of Usage Control Policies
- Document type:
- Konferenzbeitrag
- Author(s):
- Pretschner, Alexander; Rüesch, Judith; Schaefer, Christian; Walter, Thomas
- Book / Congress title:
- Availability, Reliability and Security, 2009. ARES '09. International Conference on
- Publisher:
- Institute of Electrical & Electronics Engineers (IEEE)
- Year:
- 2009
- Fulltext / DOI:
- doi:10.1109/ares.2009.100
- BibTeX