{"id":"https://openalex.org/W2076359144","doi":"https://doi.org/10.1016/s1571-0661(04)00141-0","title":"Resource Access Control in Systems of Mobile Agents","display_name":"Resource Access Control in Systems of Mobile Agents","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W2076359144","doi":"https://doi.org/10.1016/s1571-0661(04)00141-0","mag":"2076359144"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)00141-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00141-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)00141-0","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036035088","display_name":"Matthew Hennessy","orcid":null},"institutions":[{"id":"https://openalex.org/I162608824","display_name":"University of Sussex","ror":"https://ror.org/00ayhx656","country_code":"GB","type":"education","lineage":["https://openalex.org/I162608824"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Matthew Hennessy","raw_affiliation_strings":["School of Cognitive and Computing Sciences, Univ. of Sussex, Brighton, UK","School of Cognitive and Computing Sciences University of Sussex, Brighton, UK"],"affiliations":[{"raw_affiliation_string":"School of Cognitive and Computing Sciences, Univ. of Sussex, Brighton, UK","institution_ids":["https://openalex.org/I162608824"]},{"raw_affiliation_string":"School of Cognitive and Computing Sciences University of Sussex, Brighton, UK","institution_ids":["https://openalex.org/I162608824"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089477252","display_name":"James Riely","orcid":"https://orcid.org/0000-0002-8731-1463"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"James Riely","raw_affiliation_strings":["Department of Computer Science, North Carolina State Univ. Raleigh, NC, USA","Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, North Carolina State Univ. Raleigh, NC, USA","institution_ids":["https://openalex.org/I137902535"]},{"raw_affiliation_string":"Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA#TAB#","institution_ids":["https://openalex.org/I137902535"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5036035088","https://openalex.org/A5089477252"],"corresponding_institution_ids":["https://openalex.org/I137902535","https://openalex.org/I162608824"],"apc_list":null,"apc_paid":null,"fwci":14.8191,"has_fulltext":false,"cited_by_count":90,"citation_normalized_percentile":{"value":0.98975904,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"16","issue":"3","first_page":"174","last_page":"188"},"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.9994000196456909,"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.9994000196456909,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9984999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/permission","display_name":"Permission","score":0.8487462997436523},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.843555212020874},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.628638744354248},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.5925093293190002},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5721378326416016},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5448212623596191},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.52049320936203},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.4777059555053711},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.46238747239112854},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2576182186603546},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.2008427083492279},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19590771198272705}],"concepts":[{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.8487462997436523},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.843555212020874},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.628638744354248},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.5925093293190002},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5721378326416016},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5448212623596191},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.52049320936203},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.4777059555053711},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.46238747239112854},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2576182186603546},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2008427083492279},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19590771198272705},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)00141-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00141-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)00141-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00141-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1511688825","https://openalex.org/W1523525039","https://openalex.org/W1591291626","https://openalex.org/W1591752798","https://openalex.org/W1805374951","https://openalex.org/W1964979964","https://openalex.org/W1965498649","https://openalex.org/W2011924693","https://openalex.org/W2013672985","https://openalex.org/W2016017569","https://openalex.org/W2064741830","https://openalex.org/W2076359144","https://openalex.org/W2092952058","https://openalex.org/W2103201802","https://openalex.org/W2128932399","https://openalex.org/W2148025199","https://openalex.org/W2170810021","https://openalex.org/W2263124607","https://openalex.org/W2914814182","https://openalex.org/W4233383855","https://openalex.org/W4243186596","https://openalex.org/W6759230156"],"related_works":["https://openalex.org/W2374086689","https://openalex.org/W3176279093","https://openalex.org/W2373945265","https://openalex.org/W2370203001","https://openalex.org/W1912565424","https://openalex.org/W4246410201","https://openalex.org/W2374393728","https://openalex.org/W2392916544","https://openalex.org/W2124367090","https://openalex.org/W2386396757"],"abstract_inverted_index":{"We":[0,113],"describe":[1,115],"a":[2,6,19,62,76,96,99,116],"typing":[3],"system":[4,20,54],"for":[5],"distributed":[7,12,38],"\u03c0-calculus":[8],"which":[9,65],"guarantees":[10],"that":[11,146],"agents":[13,34,126],"cannot":[14],"access":[15,139],"the":[16,25,58,67,110,120,123,131],"resources":[17,70],"of":[18,45,61,69,119,125,151],"without":[21,102],"first":[22],"being":[23,103],"granted":[24,104],"capability":[26],"to":[27,35,41,72,92,106],"do":[28],"so.":[29],"The":[30,52],"language":[31,136],"studied":[32],"allows":[33],"move":[36],"between":[37],"locations":[39],"and":[40,84,144],"augment":[42],"their":[43],"set":[44,68],"capabilities":[46,124],"via":[47],"communication":[48],"with":[49,82],"other":[50],"agents.":[51],"type":[53],"is":[55],"based":[56],"on":[57],"novel":[59],"notion":[60],"location":[63,101],"type,":[64],"describes":[66],"available":[71],"an":[73,86],"agent":[74,87],"at":[75,98],"location.":[77],"Resources":[78],"are":[79,127,149],"themselves":[80],"equipped":[81],"capabilities,":[83],"thus":[85],"may":[88],"be":[89],"given":[90],"permission":[91,105],"send":[93],"data":[94,108],"along":[95,109],"channel":[97],"particular":[100],"read":[107],"same":[111],"channel.":[112],"also":[114],"tagged":[117,135],"version":[118],"language,":[121],"where":[122],"made":[128],"explicit":[129],"in":[130],"syntax.":[132],"Using":[133],"this":[134],"we":[137],"define":[138],"violations":[140],"as":[141],"runtime":[142],"errors":[143],"prove":[145],"well-typed":[147],"programs":[148],"incapable":[150],"such":[152],"errors.":[153]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}