- Titel:
Formal Analyses of Usage Control Policies
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Pretschner, Alexander; Rüesch, Judith; Schaefer, Christian; Walter, Thomas
- Kongress- / Buchtitel:
- Availability, Reliability and Security, 2009. ARES '09. International Conference on
- Verlag / Institution:
- Institute of Electrical & Electronics Engineers (IEEE)
- Jahr:
- 2009
- Volltext / DOI:
- doi:10.1109/ares.2009.100
- BibTeX