Formal analysis of usage control policies
暂无分享,去创建一个
[1] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[2] Valentina Casola,et al. XACML: extensible Access Control Markup Language , 2010 .
[3] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[4] Frédéric Cuppens,et al. Organization based access control , 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.
[5] Nora Cuppens-Boulahia,et al. Nomad: a security model with non atomic actions and deadlines , 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).