{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:27:31Z","timestamp":1729654051327,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/crisis.2008.4757465","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T16:03:38Z","timestamp":1232467418000},"page":"69-76","source":"Crossref","is-referenced-by-count":2,"title":["A formal security framework for mobile agent systems: Specification and verification"],"prefix":"10.1109","author":[{"given":"Monia","family":"Loulou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Mosbah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S0141-9331(01)00102-8"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.09.041"},{"article-title":"the z\/eves 2.0 reference manual","year":"1999","author":"meisels","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/SECUREWARE.2007.4385308"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.824414"},{"key":"13","doi-asserted-by":"crossref","first-page":"1667","DOI":"10.1016\/S0140-3664(00)00253-X","article-title":"countermeasures for mobile agent security","volume":"23","author":"jansen","year":"2000","journal-title":"Computer Communications"},{"key":"14","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BFb0105411","article-title":"a structure preserving encoding of z in isabelle-hol","volume":"1125","author":"kolyang","year":"1996","journal-title":"9th International Conference on Theorem Proving in Higher Order Logics"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00075-X"},{"key":"21","article-title":"security policy consistency","author":"ribeiro","year":"2000","journal-title":"CoRR"},{"key":"20","first-page":"89","article-title":"spl: an access control language for security policies with complex constraints","author":"ribeiro","year":"2001","journal-title":"Proceedings of the Symposium on Network and Distributed System Security NDSS-95"},{"key":"22","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BFb0027284","article-title":"the z\/eves system","volume":"1212","author":"saaltink","year":"1997","journal-title":"Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(01)00109-8"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/11611257_52"},{"journal-title":"Using Z Specification Refinement and Proof","year":"1996","author":"woodcock","key":"26"},{"key":"3","first-page":"14","article-title":"mobile agent technology and mobility","author":"aneiba","year":"2004","journal-title":"Proceeding of the 5th Annual Postgraduate Symposium on the Convergence of Telecommunications Networking and Broadcasting PGNet"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-24486-7_5"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2003.1206966"},{"key":"7","article-title":"les modeles de s ecurite","author":"cuppens","year":"2006","journal-title":"Traite? IC2 se?rie Re?seaux et te?le?coms"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1995.398923"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76929-3_12"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","article-title":"the ponder policy specification language","volume":"1995","author":"damianou","year":"2001","journal-title":"Proc 4th IEEE Int l Workshop on Policies for Distributed Systems and Networks"},{"year":"0","key":"8"}],"event":{"name":"2008 Third International Conference on Risks and Security of Internet and Systems( CRiSIS)","start":{"date-parts":[[2008,10,28]]},"location":"Tozeur, Tunisia","end":{"date-parts":[[2008,10,30]]}},"container-title":["2008 Third International Conference on Risks and Security of Internet and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4733895\/4757450\/04757465.pdf?arnumber=4757465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:21:31Z","timestamp":1558077691000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4757465\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/crisis.2008.4757465","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}