{"id":"https://openalex.org/W2025626292","doi":"https://doi.org/10.1109/icmlc.2010.5580592","title":"Formal security analysis of automated trust negotiation","display_name":"Formal security analysis of automated trust negotiation","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2025626292","doi":"https://doi.org/10.1109/icmlc.2010.5580592","mag":"2025626292"},"language":"en","primary_location":{"id":"doi:10.1109/icmlc.2010.5580592","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icmlc.2010.5580592","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 International Conference on Machine Learning and Cybernetics","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100379547","display_name":"Xinxin Liu","orcid":"https://orcid.org/0000-0002-4613-3955"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin-Xin Liu","raw_affiliation_strings":["School of Computer Science and Engineering, South China University of Technology, Guangzhou, China","School of Computer Science and Engineering, South China University of Technology,Guangzhou,510640, China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Computer Science and Engineering, South China University of Technology,Guangzhou,510640, China)","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108138041","display_name":"Shaohua Tang","orcid":"https://orcid.org/0009-0004-4995-2587"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shao-Hua Tang","raw_affiliation_strings":["School of Computer Science and Engineering, South China University of Technology, Guangzhou, China","School of Computer Science and Engineering, South China University of Technology,Guangzhou,510640, China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Computer Science and Engineering, South China University of Technology,Guangzhou,510640, China)","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060860648","display_name":"Kai Wei","orcid":"https://orcid.org/0009-0009-9149-0511"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai Wei","raw_affiliation_strings":["School of Computer Science and Engineering, South China University of Technology, Guangzhou, China","School of Computer Science and Engineering, South China University of Technology,Guangzhou,510640, China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Computer Science and Engineering, South China University of Technology,Guangzhou,510640, China)","institution_ids":["https://openalex.org/I90610280"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I90610280"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12251082,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"861","last_page":"866"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998999834060669,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998999834060669,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10237","display_name":"Cryptography and Data Security","score":0.998199999332428,"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/negotiation","display_name":"Negotiation","score":0.8772602081298828},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7742347121238708},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.680158257484436},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5890488624572754},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.5858616828918457},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5771723389625549},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.498790979385376},{"id":"https://openalex.org/keywords/trust-anchor","display_name":"Trust anchor","score":0.4862743616104126},{"id":"https://openalex.org/keywords/computational-trust","display_name":"Computational trust","score":0.4116043746471405},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.36711227893829346},{"id":"https://openalex.org/keywords/knowledge-management","display_name":"Knowledge management","score":0.34861481189727783},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.2765665054321289},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1856417953968048},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.07427376508712769}],"concepts":[{"id":"https://openalex.org/C199776023","wikidata":"https://www.wikidata.org/wiki/Q202875","display_name":"Negotiation","level":2,"score":0.8772602081298828},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7742347121238708},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.680158257484436},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5890488624572754},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.5858616828918457},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5771723389625549},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.498790979385376},{"id":"https://openalex.org/C154800190","wikidata":"https://www.wikidata.org/wiki/Q16941470","display_name":"Trust anchor","level":4,"score":0.4862743616104126},{"id":"https://openalex.org/C160521178","wikidata":"https://www.wikidata.org/wiki/Q5157345","display_name":"Computational trust","level":3,"score":0.4116043746471405},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.36711227893829346},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.34861481189727783},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2765665054321289},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1856417953968048},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.07427376508712769},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C48798503","wikidata":"https://www.wikidata.org/wiki/Q877546","display_name":"Reputation","level":2,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icmlc.2010.5580592","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icmlc.2010.5580592","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 International Conference on Machine Learning and Cybernetics","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":16,"referenced_works":["https://openalex.org/W1482615873","https://openalex.org/W1579534168","https://openalex.org/W1594745575","https://openalex.org/W1847909677","https://openalex.org/W1973054120","https://openalex.org/W2037231459","https://openalex.org/W2055259417","https://openalex.org/W2092386728","https://openalex.org/W2096633006","https://openalex.org/W2114189125","https://openalex.org/W2117403024","https://openalex.org/W2130103312","https://openalex.org/W2133160727","https://openalex.org/W2171658215","https://openalex.org/W6634632751","https://openalex.org/W6638851307"],"related_works":["https://openalex.org/W2129567949","https://openalex.org/W2018769941","https://openalex.org/W2147574710","https://openalex.org/W2127807338","https://openalex.org/W1548793402","https://openalex.org/W2136092929","https://openalex.org/W2376875105","https://openalex.org/W4243605140","https://openalex.org/W2545277503","https://openalex.org/W2072642013"],"abstract_inverted_index":{"Automated":[0],"trust":[1,10,34],"negotiation":[2,35],"(ATN)":[3],"is":[4],"an":[5,52],"approach":[6],"to":[7,14],"establishing":[8],"mutual":[9],"between":[11],"strangers":[12],"wishing":[13],"share":[15],"resources":[16],"or":[17],"conduct":[18],"business":[19],"by":[20],"gradually":[21],"requesting":[22],"and":[23,42],"disclosing":[24],"digitally":[25],"signed":[26],"credentials.":[27],"We":[28],"present":[29],"the":[30,38,49],"formalization":[31],"of":[32,51],"automated":[33],"system":[36],"in":[37],"applied":[39],"pi":[40],"calculus":[41],"analyze":[43],"its":[44],"security":[45],"property":[46],"automatically":[47],"with":[48],"assistant":[50],"automatic":[53],"protocol":[54],"analyzer,":[55],"ProVerif":[56]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}