乐胖代购免代理版

{"id":"https://openalex.org/W2097172061","doi":"https://doi.org/10.1109/ecbs.2012.31","title":"Modeling and Verifying the Ariadne Protocol Using CSP","display_name":"Modeling and Verifying the Ariadne Protocol Using CSP","publication_year":2012,"publication_date":"2012-04-01","ids":{"openalex":"https://openalex.org/W2097172061","doi":"https://doi.org/10.1109/ecbs.2012.31","mag":"2097172061"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/ecbs.2012.31","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5037309489","display_name":"Xi Wu","orcid":"https://orcid.org/0000-0001-5795-9798"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xi Wu","raw_affiliation_strings":["[Shanghai Key Laboratory of Trustworthy Computing, East China Jiao Tong University, China]"],"affiliations":[{"raw_affiliation_string":"[Shanghai Key Laboratory of Trustworthy Computing, East China Jiao Tong University, China]","institution_ids":["https://openalex.org/I4210139618"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100330142","display_name":"Si Liu","orcid":"https://orcid.org/0000-0003-3578-7432"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Si Liu","raw_affiliation_strings":["[Shanghai Key Laboratory of Trustworthy Computing, East China Jiao Tong University, China]"],"affiliations":[{"raw_affiliation_string":"[Shanghai Key Laboratory of Trustworthy Computing, East China Jiao Tong University, China]","institution_ids":["https://openalex.org/I4210139618"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huibiao Zhu","raw_affiliation_strings":["[Shanghai Key Laboratory of Trustworthy Computing, East China Jiao Tong University, China]"],"affiliations":[{"raw_affiliation_string":"[Shanghai Key Laboratory of Trustworthy Computing, East China Jiao Tong University, China]","institution_ids":["https://openalex.org/I4210139618"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013464242","display_name":"Yongxin Zhao","orcid":"https://orcid.org/0000-0001-5712-079X"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongxin Zhao","raw_affiliation_strings":["[Shanghai Key Laboratory of Trustworthy Computing, East China Jiao Tong University, China]"],"affiliations":[{"raw_affiliation_string":"[Shanghai Key Laboratory of Trustworthy Computing, East China Jiao Tong University, China]","institution_ids":["https://openalex.org/I4210139618"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100333516","display_name":"Lei Chen","orcid":"https://orcid.org/0000-0002-8257-5806"},"institutions":[{"id":"https://openalex.org/I13985625","display_name":"East China Jiaotong University","ror":"https://ror.org/05x2f1m38","country_code":"CN","type":"education","lineage":["https://openalex.org/I13985625"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Chen","raw_affiliation_strings":["[Department of Computer Science and Technology, East China Jiao Tong University, China]"],"affiliations":[{"raw_affiliation_string":"[Department of Computer Science and Technology, East China Jiao Tong University, China]","institution_ids":["https://openalex.org/I13985625"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.012,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":8,"citation_normalized_percentile":{"value":0.776684,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":83,"max":84},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10246","display_name":"Mobile Ad Hoc Networks","score":0.998,"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/T10246","display_name":"Mobile Ad Hoc Networks","score":0.998,"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/T10927","display_name":"Access Control and Trust","score":0.9976,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9952,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.51247483}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.84390527},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.69233125},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.6875445},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.6355479},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.60109353},{"id":"https://openalex.org/C91280400","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Mobile ad hoc network","level":3,"score":0.5901983},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.57218057},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.51247483},{"id":"https://openalex.org/C94523657","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Wireless ad hoc network","level":3,"score":0.49690273},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47446615},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.4658381},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2826736},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16210714},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.11830795},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11324999},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.10832363},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/ecbs.2012.31","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.64,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":20,"referenced_works":["https://openalex.org/W1532054750","https://openalex.org/W1548771250","https://openalex.org/W1968827680","https://openalex.org/W1969734941","https://openalex.org/W2072463110","https://openalex.org/W2099817583","https://openalex.org/W2102097307","https://openalex.org/W2114620376","https://openalex.org/W2117559280","https://openalex.org/W2123861314","https://openalex.org/W2130459259","https://openalex.org/W2135057483","https://openalex.org/W2138955293","https://openalex.org/W2145323318","https://openalex.org/W2153791853","https://openalex.org/W2157283388","https://openalex.org/W2157457404","https://openalex.org/W2166835369","https://openalex.org/W2589217375","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W4210799434","https://openalex.org/W3035283282","https://openalex.org/W2768875466","https://openalex.org/W2551975114","https://openalex.org/W2282175249","https://openalex.org/W2025838880","https://openalex.org/W2003275014","https://openalex.org/W1591014886","https://openalex.org/W1581687089","https://openalex.org/W1511473871"],"abstract_inverted_index":{"Mobile":[0],"Ad":[1],"Hoc":[2],"Networks":[3],"(MANETs)":[4],"are":[5,26],"formed":[6],"dynamically":[7],"by":[8],"mobile":[9],"nodes":[10,99],"without":[11],"the":[12,52,59,73,78,89,95,97,101,115,119,122,137,145],"support":[13],"of":[14,39,61,80,128],"prior":[15],"stationary":[16],"infrastructures.":[17],"In":[18,54,84],"such":[19],"networks,":[20],"routing":[21,139],"protocols,":[22],"particularly":[23],"secure":[24,37,124],"ones":[25],"always":[27],"an":[28,32],"essential":[29],"part.":[30],"Ariadne,":[31],"efficient":[33],"and":[34,70,100,121],"well-known":[35],"on-demand":[36],"protocol":[38],"MANETs,":[40],"mainly":[41],"concerns":[42],"about":[43,72],"how":[44],"to":[45,68,112],"prevent":[46],"a":[47,107],"malicious":[48],"node":[49],"from":[50],"compromising":[51],"route.":[53],"this":[55],"paper,":[56],"we":[57,87,104],"apply":[58],"method":[60],"process":[62,79],"algebra":[63],"Communicating":[64],"Sequential":[65],"Processes":[66],"(CSP)":[67],"model":[69,108,116],"reason":[71],"Ariadne":[74,146],"protocol,":[75],"focusing":[76],"on":[77],"its":[81],"route":[82],"discovery.":[83],"our":[85],"framework,":[86],"consider":[88],"communication":[90],"entities":[91],"as":[92],"processes,":[93],"including":[94],"initiator,":[96],"intermediate":[98],"target.":[102],"Moreover,":[103],"use":[105],"PAT,":[106],"checker":[109],"for":[110,118],"CSP,":[111],"verify":[113],"whether":[114],"caters":[117],"specification":[120],"non-trivial":[123],"properties,":[125],"e.g.":[126],"existence":[127],"fake":[129,138],"path.":[130],"Our":[131],"verification":[132],"result":[133],"naturally":[134],"demonstrates":[135],"that":[136],"attacks":[140],"may":[141],"be":[142],"present":[143],"in":[144],"protocol.":[147]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2097172061","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2024-12-07T09:35:06.894661","created_date":"2016-06-24"}