{"id":"https://openalex.org/W1679977594","doi":"https://doi.org/10.1109/coase.2015.7294136","title":"Formal modeling and verification of secure mobile agent systems","display_name":"Formal modeling and verification of secure mobile agent systems","publication_year":2015,"publication_date":"2015-08-01","ids":{"openalex":"https://openalex.org/W1679977594","doi":"https://doi.org/10.1109/coase.2015.7294136","mag":"1679977594"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2015.7294136","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2015.7294136","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008965782","display_name":"Mingyue Jiang","orcid":"https://orcid.org/0000-0002-0758-1616"},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Mingyue Jiang","raw_affiliation_strings":["Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, China","Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, China"],"affiliations":[{"raw_affiliation_string":"Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, China","institution_ids":["https://openalex.org/I1328775524"]},{"raw_affiliation_string":"Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, China","institution_ids":["https://openalex.org/I1328775524"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077615805","display_name":"Zuohua Ding","orcid":"https://orcid.org/0000-0002-9671-7836"},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zuohua Ding","raw_affiliation_strings":["Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, China","Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, China"],"affiliations":[{"raw_affiliation_string":"Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, China","institution_ids":["https://openalex.org/I1328775524"]},{"raw_affiliation_string":"Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, China","institution_ids":["https://openalex.org/I1328775524"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mengchu Zhou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","Department of Electrical and Computer Engineering,  New Jersey Institute of Technology,  Newark,  NJ 07102,  USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering,  New Jersey Institute of Technology,  Newark,  NJ 07102,  USA","institution_ids":["https://openalex.org/I118118575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083918663","display_name":"Yuan Zhou","orcid":"https://orcid.org/0000-0002-1583-7570"},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuan Zhou","raw_affiliation_strings":["Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, China","Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, China"],"affiliations":[{"raw_affiliation_string":"Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, China","institution_ids":["https://openalex.org/I1328775524"]},{"raw_affiliation_string":"Laboratory of Intelligent Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, China","institution_ids":["https://openalex.org/I1328775524"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5008965782"],"corresponding_institution_ids":["https://openalex.org/I1328775524"],"apc_list":null,"apc_paid":null,"fwci":0.6656,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73117159,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"38","issue":null,"first_page":"545","last_page":"550"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7812972068786621},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7622073888778687},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.523678719997406},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.481175035238266},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.445374995470047},{"id":"https://openalex.org/keywords/mobile-agent","display_name":"Mobile agent","score":0.4385470747947693},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4179963171482086},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.4158191680908203},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40651798248291016},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3216474652290344},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28673768043518066}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7812972068786621},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7622073888778687},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.523678719997406},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.481175035238266},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.445374995470047},{"id":"https://openalex.org/C84875433","wikidata":"https://www.wikidata.org/wiki/Q3277848","display_name":"Mobile agent","level":2,"score":0.4385470747947693},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4179963171482086},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.4158191680908203},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40651798248291016},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3216474652290344},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28673768043518066}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coase.2015.7294136","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2015.7294136","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W23440280","https://openalex.org/W50542560","https://openalex.org/W1551938402","https://openalex.org/W1570296326","https://openalex.org/W1599209647","https://openalex.org/W1984636298","https://openalex.org/W2007677428","https://openalex.org/W2023808162","https://openalex.org/W2044464604","https://openalex.org/W2045440241","https://openalex.org/W2115309705","https://openalex.org/W2128672031","https://openalex.org/W2137708046","https://openalex.org/W2152248094","https://openalex.org/W2156186849","https://openalex.org/W2168643065","https://openalex.org/W2176296250","https://openalex.org/W2631739413","https://openalex.org/W6602118407","https://openalex.org/W6635826601"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2037121848","https://openalex.org/W2391979747","https://openalex.org/W2981877881","https://openalex.org/W2550448639"],"abstract_inverted_index":{"Security":[0],"of":[1,15,40,44,66,120],"a":[2,10,16,19,49,77,85,90,162],"Mobile":[3],"Agent":[4],"System":[5],"(MAS),":[6],"which":[7],"has":[8],"been":[9,25,36],"barrier":[11],"to":[12,27,116,137,143],"wider":[13],"applications":[14],"MAS,":[17,92],"remains":[18],"compelling":[20],"problem.":[21],"Formal":[22],"methods":[23],"have":[24,34],"applied":[26],"this":[28,58],"problem,":[29],"and":[30,75,83,100,147,160],"various":[31],"formal":[32],"models":[33],"recently":[35],"studied.":[37],"However,":[38],"many":[39],"them":[41],"either":[42],"lack":[43],"mechanisms":[45],"that":[46,152],"can":[47],"protect":[48],"MAS":[50,96,125],"or":[51],"depend":[52],"on":[53,62],"simulation":[54],"based":[55],"analysis.":[56],"In":[57],"paper,":[59],"we":[60,93],"concentrate":[61],"one":[63],"specific":[64],"category":[65],"security":[67,73],"threats,":[68],"namely,":[69],"the":[70,95,114,117,124,138,153],"agent-platform":[71],"related":[72],"issues,":[74],"present":[76],"new":[78],"method":[79,155],"for":[80,108],"formally":[81,109],"modeling":[82,159],"verifying":[84,161],"secure":[86,91,98,163],"MAS.":[87,164],"To":[88],"model":[89,106,119,121,131],"equip":[94],"with":[97],"mechanisms,":[99],"propose":[101],"an":[102],"extended":[103],"logical":[104],"agent":[105],"(ELAM)":[107],"describing":[110],"it.":[111],"By":[112],"transforming":[113],"ELAM":[115,136],"input":[118],"checker":[122],"SPIN,":[123],"is":[126],"further":[127],"verified":[128],"by":[129],"using":[130],"checking":[132],"technique.":[133],"We":[134],"apply":[135],"competing":[139],"airline":[140],"carriers":[141],"system":[142],"check":[144],"its":[145],"security,":[146],"our":[148],"experimental":[149],"results":[150],"show":[151],"proposed":[154],"works":[156],"well":[157],"in":[158]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}