{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T05:26:55Z","timestamp":1738128415286,"version":"3.33.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T00:00:00Z","timestamp":1713916800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T00:00:00Z","timestamp":1713916800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,4,24]]},"DOI":"10.1109\/pais62114.2024.10541223","type":"proceedings-article","created":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T17:27:32Z","timestamp":1717435652000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe"],"prefix":"10.1109","author":[{"given":"Fatima","family":"Haloua","sequence":"first","affiliation":[{"name":"University of El Oued,LIAP Laboratory,El Oeud,Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Messaoud","family":"Abbas","sequence":"additional","affiliation":[{"name":"University of El Oued,LIAP Laboratory,El Oeud,Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Djerbi","sequence":"additional","affiliation":[{"name":"LIMOSE Laboratory, Faculty of Sciences, University of M’Hamed Bougara of Boumerdes,Boumerdes,Algeria,35000"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed Mounir","family":"Bouhamed","sequence":"additional","affiliation":[{"name":"University of El Oued,LIAP Laboratory,El Oeud,Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"ref2","article-title":"Secure computer systems: Mathematical foundations","volume-title":"foundations, Technical Report ESD-TR-73-278","volume":"1","author":"Bell","year":"1973"},{"key":"ref3","article-title":"Integrity considerations for secure computer systems","volume-title":"foundations, Technical Report ESD-TR-73-278","volume":"1","author":"Biba","year":"1997"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1987.10001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.149.7"},{"article-title":"Zenon, first-order prover with coq-checkable output","volume-title":"2nd Workshop on Coq and rewriting","author":"Doligez","key":"ref6"},{"article-title":"The coq proof assistant reference manuel","volume-title":"V6.1, rapport INRIA N 0203","year":"1997","key":"ref7"},{"issue":"2","key":"ref8","first-page":"137","article-title":"A formal approach to implement access control models","volume":"1","author":"Jaume","year":"2006","journal-title":"Journal of Information Assurance and Security"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ITCC.2005.154"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/secpri.1988.8092"},{"key":"ref11","article-title":"Formalisation and implementation of access control models","author":"Prevosto","year":"2004","journal-title":"Focal, version 0.3.1 Tutorial and reference manual. LIP6 INRIA CNAM"},{"article-title":"Modular access control via strategic rewriting","volume-title":"Proceedings of 12th European Symposium On Research In Computer Security (ESORICS07)","author":"Daniel","key":"ref12"},{"key":"ref13","first-page":"3751","article-title":"Analysis of rewrite-based access control policies","volume-title":"ecurity and Rewriting Techniques, 3rd International Workshop Secret08, volume informal proceedings, submitted to ENTCS","author":"Kirchner","year":"2008"},{"key":"ref14","first-page":"LIP6","article-title":"A full formalisation of the Bell and La Padula security model","volume-title":"Research Report lip6.2003.006","author":"Gureghian","year":"2003"}],"event":{"name":"2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS)","start":{"date-parts":[[2024,4,24]]},"location":"EL OUED, Algeria","end":{"date-parts":[[2024,4,25]]}},"container-title":["2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10541106\/10541120\/10541223.pdf?arnumber=10541223","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T06:09:30Z","timestamp":1738044570000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10541223\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,24]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/pais62114.2024.10541223","relation":{},"subject":[],"published":{"date-parts":[[2024,4,24]]}}}