{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:42:31Z","timestamp":1729636951062,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/secureware.2007.4385308","type":"proceedings-article","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T17:16:34Z","timestamp":1216660594000},"page":"42-47","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Approach to prevent Attacks on Mobile Agent Systems"],"prefix":"10.1109","author":[{"given":"Monia","family":"Loulou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Tounsi","sequence":"additional","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":[{"journal-title":"Nist special publication 800–19 - mobile agent security","year":"1999","author":"jansen","key":"ref10"},{"key":"ref11","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":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2003.1206958"},{"key":"ref13","first-page":"283","author":"kolyang","year":"1996","journal-title":"9th International Conference on Theorem Proving in Higher Order Logics LNCS 1125"},{"key":"ref14","first-page":"291","article-title":"A policy description language","author":"lobo","year":"1999","journal-title":"Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30498-2_5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1142\/p435"},{"journal-title":"Technical Report TR-99-5493-03e","year":"1999","author":"meisels","key":"ref17"},{"journal-title":"Technical Report TR-0037","year":"2006","author":"naqvi","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(01)00109-8"},{"key":"ref4","first-page":"141","article-title":"Classification of malicious host threats in mobile agent computing","author":"bierman","year":"2002","journal-title":"SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology"},{"key":"ref3","article-title":"Rule-based policy specification","author":"antoniou","year":"2006","journal-title":"Decentralized Data Management Security"},{"journal-title":"A policy framework for management of distributed systems","year":"2002","author":"damianou","key":"ref6"},{"journal-title":"Mobile Agents Basic Concepts Mobility Models and the Tracy Toolkit","year":"2005","author":"braun","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2003.1206977"},{"key":"ref7","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":"POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks"},{"key":"ref2","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 2004"},{"key":"ref1","first-page":"59","author":"alfalayleh","year":"2004","journal-title":"Eighth IFIP TC-6 TC-11 Conference on Communications and Multimedia Security"},{"key":"ref9","first-page":"157","article-title":"A comparative study of policy specification languages for secure distributed applications","author":"duflos","year":"2002","journal-title":"13th IFIP\/IEEE International Workshop on Distributed Systems Operations and Management"},{"journal-title":"Using Z Specification Refinement and Proof","year":"1996","author":"woodcock","key":"ref20"}],"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\/04385308.pdf?arnumber=4385308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T06:10:13Z","timestamp":1497766213000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4385308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/secureware.2007.4385308","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}