@Misc{Deussen2004,
  author  = {Peter H. Deussen and Ina Schieferdecker and Hiroaki Kamoda},
  title   = {A Methodology for Policy Conflict Detection UsingModel Checking Techniques},
  abstract = {Security issue is an increasing concern and pressures are increasing on organizations to take a more systematic approach to incorporating security into their systems. An important component of security requirements is access control. In this paper, we introduce a variant of the role based access control model that assigns role to both partners of an interaction. We further develop a methodology to determine whether a set of access control policies is contradictionary, i. e, contains a conflict. Model checking techniques are employed for conflict analysis.},
  note    = {Short Paper at 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, {FORTE} 2004},
  type    = {misc},
  url     = {https://web.archive.org/web/20041024113020/http://antares.sip.ucm.es:80/~forte2004/horarioDetalle.php},
  file    = {:2004/Deussen2004 - A Methodology for Policy Conflict Detection UsingModel Checking Techniques.pdf:PDF},
  year    = {2004}
}