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