{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:39:53Z","timestamp":1729633193134,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/secureware.2007.4385332","type":"proceedings-article","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T21:16:34Z","timestamp":1216674994000},"page":"187-192","source":"Crossref","is-referenced-by-count":1,"title":["A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems"],"prefix":"10.1109","author":[{"given":"Hedi","family":"HAMDI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ADEL","family":"Bouhoula","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Mosbah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"3","article-title":"Oasis: Access control in an open, distributed environment","author":"hayton","year":"1998","journal-title":"The IEEE Symposium on Security and Privacy"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1996.502679"},{"key":"ref33","first-page":"402","article-title":"A policy based approach to security for the semantic web","author":"kagal","year":"2003","journal-title":"International Semantic Web Conference"},{"article-title":"Web services security","year":"0","author":"lalana kagal","key":"ref32"},{"key":"ref31","article-title":"Network ipsec specification","author":"wolfien","year":"2002","journal-title":"Pan-European Harmonisation of Vehicle Emergency call Service Chain"},{"key":"ref30","article-title":"A policy based approach to security for the semantic web","author":"lalana kagal","year":"2000","journal-title":"ISWC"},{"key":"ref37","article-title":"Policies in a resource manager of workflow systems:modeling, enforcement and management","author":"huang","year":"1998","journal-title":"Hewlett Packard Lab Software Technology Laboratory Tech Rep HPL-98&#x2013;156"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/32.824414"},{"article-title":"Policy framework for the management of distributed systems","year":"2002","author":"damianou","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1996.502667"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"ref40","article-title":"Unified support for heterogeneous security policies in distributed systems","author":"minsky","year":"1998","journal-title":"7th USENIX Security Symposium"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233797"},{"key":"ref12","first-page":"6","article-title":"An algebraic specication of a language describing financial products","author":"arnold","year":"1995","journal-title":"ICSE-17 IEEE Workshop on Formal Methods Application in Software Engineering"},{"key":"ref13","article-title":"Applab: a laboratory for application languages","volume":"r 96 2019","author":"bjarnason","year":"1996","journal-title":"the NWPER'96 (Nordic Whorkshop on Programming Environment Research)"},{"key":"ref14","first-page":"237","article-title":"Teapot: Language support for writing memory coherence protocols","author":"satish chandra","year":"1996","journal-title":"ACM SIGPLAN conference on Programming Language design and Implementation"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566869"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-908X(199803\/04)10:2<75::AID-SMR168>3.0.CO;2-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493448"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MNET.2002.993217","article-title":"Special issue on policy-based networking","volume":"16","author":"wright","year":"2002","journal-title":"IEEE Network"},{"key":"ref19","article-title":"Ponder: a language for specifying security and management policies for distributed systems","author":"damianou","year":"2000","journal-title":"Imperial College Research Report"},{"key":"ref28","article-title":"A policy description language","author":"lobo","year":"1999","journal-title":"AAAI"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601324"},{"year":"2000","key":"ref27","article-title":"Specifying and implementing security policy using lasco, the language for security constraints on objects"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1996.502679"},{"article-title":"Representation and evaluation of security policies for distributed system services","year":"2000","author":"ryutov","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1147\/sj.421.0005"},{"key":"ref5","article-title":"Designing a distributed authorization service","volume":"1","author":"woo","year":"1993","journal-title":"Technical Report CS-TR-93&#x2013;32"},{"key":"ref8","first-page":"39","article-title":"IPSec\/VPN security policy: Correctness, conflict detection, and resolution","author":"fu","year":"2001","journal-title":"Policy"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/775412.775422"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/JCS-1993-22-304","article-title":"Authorizations in distributed systems: A new approach","volume":"2","author":"woo","year":"1993","journal-title":"Journal of Computer Security"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/978-3-540-39718-2_27","article-title":"Semantic web languages for policy representation and reasoning: A comparison of kaos, rei, and ponder","volume":"2870","author":"tonti","year":"2003","journal-title":"The Semantic Web ISWC 2003 Proceedings of the Second International Semantic Web Conference"},{"key":"ref1","article-title":"Trust in cyberspace","author":"schneider","year":"1999","journal-title":"Washington DC National Academy Press"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1996.503693"},{"key":"ref22","first-page":"179","article-title":"Computer-aided verification: An introduction to model building and model checking for concurrent systems","year":"1999","journal-title":"DRAFT"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1994.315942"},{"key":"ref24","first-page":"103","article-title":"Analyzing consistency of security policies","year":"1997","journal-title":"Proceedings of the IEEE Symposium on Security and Privacy"},{"year":"1995","key":"ref23","article-title":"Temporal verification of reactive systems: Safety"},{"article-title":"A graph-based language for specifying security policies","year":"0","author":"hoagland","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601312"}],"event":{"name":"The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007)","start":{"date-parts":[[2007,10,14]]},"location":"Valencia, Spain","end":{"date-parts":[[2007,10,20]]}},"container-title":["The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4385293\/4385294\/04385332.pdf?arnumber=4385332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T20:47:53Z","timestamp":1557694073000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4385332\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/secureware.2007.4385332","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}