{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T21:00:37Z","timestamp":1781298037230,"version":"3.54.1"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/icsmc.2007.4413742","type":"proceedings-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T13:19:35Z","timestamp":1216387175000},"page":"2848-2853","source":"Crossref","is-referenced-by-count":3,"title":["Security policy validation using temporal executable specifications"],"prefix":"10.1109","author":[{"family":"Jihene Krichene","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Mohamed Hamdi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Noureddine Boudriga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"13","year":"0"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601312"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1066677.1066745"},{"key":"3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1049\/sej.1992.0033","article-title":"specifications are (preferably) executable","volume":"7","author":"fuchs","year":"1992","journal-title":"Software Engineering Journal"},{"key":"2","first-page":"15","article-title":"Executable Specifications: Language and Applications","volume":"17","author":"drusinsky","year":"2004","journal-title":"Crosstalk The Journal of Defense Software Engineering"},{"key":"1","author":"ghezzi","year":"1991","journal-title":"Fundamentals of Software Engineering"},{"key":"10","first-page":"230","article-title":"Logic based Authorization Policy Engineering","author":"dai","year":"2002","journal-title":"Proc 6th World Multiconference on Systemics Cybernetics and Informatics"},{"key":"7","article-title":"On the Logic of TLA+","volume":"22","author":"merz","year":"2003","journal-title":"Inform Comput"},{"key":"6","author":"holzmann","year":"1990","journal-title":"Design and Validation of Computer Protocols"},{"key":"5","article-title":"Algebraic Test Case Generation of Security Policies in Communication Networks","author":"hamdi","year":"2005","journal-title":"Proc 6th Nordic Workshop Secure IT-Syst"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1035429.1035435"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2001.918064"},{"key":"8","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","article-title":"The Ponder Policy Specification Language","author":"damianou","year":"2001","journal-title":"Policy 2001 Policies for Distributed Systems and Networks"}],"event":{"name":"2007 IEEE International Conference on Systems, Man and Cybernetics","location":"Montreal, QC, Canada","start":{"date-parts":[[2007,10,7]]},"end":{"date-parts":[[2007,10,10]]}},"container-title":["2007 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4413560\/4413561\/04413742.pdf?arnumber=4413742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T20:29:56Z","timestamp":1781296196000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4413742\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2007.4413742","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}