{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:19Z","timestamp":1750307779292,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,11,2]],"date-time":"2007-11-02T00:00:00Z","timestamp":1193961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,11,2]]},"DOI":"10.1145\/1314436.1314441","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T14:30:20Z","timestamp":1195137020000},"page":"31-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Security policy compliance with violation management"],"prefix":"10.1145","author":[{"given":"Julien","family":"Brunel","sequence":"first","affiliation":[{"name":"Institut de Recherche en Informatique de Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Cuppens","sequence":"additional","affiliation":[{"name":"Ecole Nationale Sup\u00e9rieure des T\u00e9l\u00e9communications de Bretagne, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Cuppens","sequence":"additional","affiliation":[{"name":"Ecole Nationale Sup\u00e9rieure des T\u00e9l\u00e9communications de Bretagne, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Sans","sequence":"additional","affiliation":[{"name":"Ecole Nationale Sup\u00e9rieure des T\u00e9l\u00e9communications de Bretagne, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Bodeveix","sequence":"additional","affiliation":[{"name":"Institut de Recherche en Informatique de Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,11,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/605434.605437"},{"key":"e_1_3_2_1_2_1","volume-title":"Supporting Multiple Access Control Policies in Database Systems. In IEEE Symposium on Security and Privacy","author":"Bertino E.","year":"1996","unstructured":"E. Bertino , S. Jajodia , and P. Samarati . Supporting Multiple Access Control Policies in Database Systems. In IEEE Symposium on Security and Privacy , Oakland, USA , 1996 . E. Bertino, S. Jajodia, and P. Samarati. Supporting Multiple Access Control Policies in Database Systems. In IEEE Symposium on Security and Privacy, Oakland, USA, 1996."},{"key":"e_1_3_2_1_3_1","volume-title":"Obligation Monitoring in Policy Management. In International Workshop, Policies for Distributed Systems and Neworks (Policy 2002","author":"Bettini C.","year":"2002","unstructured":"C. Bettini , S. Jajodia , X. S. Wang , and D. Wijesekera . Obligation Monitoring in Policy Management. In International Workshop, Policies for Distributed Systems and Neworks (Policy 2002 ), Monterey CA , June 5-7 2002 . C. Bettini, S. Jajodia, X. S. Wang, and D. Wijesekera. Obligation Monitoring in Policy Management. In International Workshop, Policies for Distributed Systems and Neworks (Policy 2002), Monterey CA, June 5-7 2002."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11786849_9"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"S.\n      Chaki E. M.\n      Clarke J.\n      Ouaknine N.\n      Sharygina and \n      N.\n      Sinha\n  . \n  State\/event-based software model checking\n  . In E. A. Boiten J. Derrick and G. Smith editors 4th International Conference on Integrated Formal Methods (IFM '04) volume \n  2999\n   of \n  Lecture Notes in Computer Science pages \n  128\n  --\n  147\n  . \n  Springer-Verlag 2004\n  .  S. Chaki E. M. Clarke J. Ouaknine N. Sharygina and N. Sinha. State\/event-based software model checking. In E. A. Boiten J. Derrick and G. Smith editors 4th International Conference on Integrated Formal Methods (IFM '04) volume 2999 of Lecture Notes in Computer Science pages 128--147. Springer-Verlag 2004.","DOI":"10.1007\/978-3-540-24756-2_8"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/24.2.33"},{"key":"e_1_3_2_1_7_1","volume-title":"Fourth International Workshop on Deontic Logic in Computer Science (DEON)","author":"Cholvy L.","year":"1998","unstructured":"L. Cholvy and F. Cuppens . Reasoning about norms provided by conflicting regulations. In P. McNamara and H. Prakken, editors , Fourth International Workshop on Deontic Logic in Computer Science (DEON) , Bologna, Italy , 1998 . L. Cholvy and F. Cuppens. Reasoning about norms provided by conflicting regulations. In P. McNamara and H. Prakken, editors, Fourth International Workshop on Deontic Logic in Computer Science (DEON), Bologna, Italy, 1998."},{"key":"e_1_3_2_1_8_1","unstructured":"E. Clarke O. Grumberg and P. D. A. Model Checking. MIT Press 1999.   E. Clarke O. Grumberg and P. D. A. Model Checking. MIT Press 1999."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2006.36"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.20"},{"key":"e_1_3_2_1_11_1","volume-title":"Modelling Contexts in the Or-BAC Model. In 19th Annual Computer Security Applications Conference (ACSAC '03)","author":"Cuppens F.","year":"2003","unstructured":"F. Cuppens and A. Mi\u00e8ge . Modelling Contexts in the Or-BAC Model. In 19th Annual Computer Security Applications Conference (ACSAC '03) , 2003 . F. Cuppens and A. Mi\u00e8ge. Modelling Contexts in the Or-BAC Model. In 19th Annual Computer Security Applications Conference (ACSAC '03), 2003."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/882493.884380"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/826036.826869"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2004.01.005"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.003"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/775412.775422"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/984334.984339"},{"key":"e_1_3_2_1_19_1","volume-title":"Second International Workshop on Deontic Logic in Computer Science","author":"Prakken H.","year":"1994","unstructured":"H. Prakken and M. Sergot . Contrary-to-Duty Imperatives, Defeasibility and Violability. In A. J. I. Jones and M. Sergot, editors , Second International Workshop on Deontic Logic in Computer Science , Oslo, Norway , 1994 . H. Prakken and M. Sergot. Contrary-to-Duty Imperatives, Defeasibility and Violability. In A. J. I. Jones and M. Sergot, editors, Second International Workshop on Deontic Logic in Computer Science, Oslo, Norway, 1994."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015040.1015043"},{"key":"e_1_3_2_1_23_1","volume-title":"Advances in Network and Distributed Systems Security. IFIP TC11 WG11.4 First Working Conference on Network Security","author":"Win B. D.","year":"2001","unstructured":"B. D. Win , B. Vanhaute , and B. Decker . Security Through Aspect-Oriented Programming . In Advances in Network and Distributed Systems Security. IFIP TC11 WG11.4 First Working Conference on Network Security , Leuven, Belgium , 2001 . Kluwer Academic Publishers . B. D. Win, B. Vanhaute, and B. Decker. Security Through Aspect-Oriented Programming. In Advances in Network and Distributed Systems Security. IFIP TC11 WG11.4 First Working Conference on Network Security, Leuven, Belgium, 2001. Kluwer Academic Publishers."},{"key":"e_1_3_2_1_24_1","volume-title":"Mind","author":"Wright G. H. V.","year":"1951","unstructured":"G. H. V. Wright . Deontic logic . Mind , 1951 . G. H. V. Wright. Deontic logic. Mind, 1951."}],"event":{"name":"CCS07: 14th ACM Conference on Computer and Communications Security 2007","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","ACM Association for Computing Machinery"],"location":"Fairfax Virginia USA","acronym":"CCS07"},"container-title":["Proceedings of the 2007 ACM workshop on Formal methods in security engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1314436.1314441","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1314436.1314441","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:04Z","timestamp":1750254964000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1314436.1314441"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,2]]},"references-count":24,"alternative-id":["10.1145\/1314436.1314441","10.1145\/1314436"],"URL":"https:\/\/doi.org\/10.1145\/1314436.1314441","relation":{},"subject":[],"published":{"date-parts":[[2007,11,2]]},"assertion":[{"value":"2007-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}