乐胖代购免代理版

{"id":"https://openalex.org/W4230679059","doi":"https://doi.org/10.3233/jcs-2004-12603","title":"The faithfulness of abstract protocol analysis: Message authentication*","display_name":"The faithfulness of abstract protocol analysis: Message authentication*","publication_year":2004,"publication_date":"2004-11-01","ids":{"openalex":"https://openalex.org/W4230679059","doi":"https://doi.org/10.3233/jcs-2004-12603"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2004-12603","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://web.cs.wpi.edu/~guttman/pubs/ccs_faithful.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069090711","display_name":"Joshua D. Guttman","orcid":"https://orcid.org/0000-0002-7189-1758"},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joshua D. Guttman","raw_affiliation_strings":["The MITRE Corporation, Bedford MA, USA. E-mail: guttman@mitre.org, jt@mitre.org"],"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, Bedford MA, USA. E-mail: guttman@mitre.org, jt@mitre.org","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074118684","display_name":"F. Javier Thayer","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"F. Javier Thayer","raw_affiliation_strings":["The MITRE Corporation, Bedford MA, USA. E-mail: guttman@mitre.org, jt@mitre.org"],"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, Bedford MA, USA. E-mail: guttman@mitre.org, jt@mitre.org","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076189272","display_name":"Lenore D. Zuck","orcid":"https://orcid.org/0000-0003-3613-1208"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lenore D. Zuck","raw_affiliation_strings":["New York University, NY, USA. E-mail: zuck@cs.nyu.edu"],"affiliations":[{"raw_affiliation_string":"New York University, NY, USA. E-mail: zuck@cs.nyu.edu","institution_ids":["https://openalex.org/I57206974"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.24,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.813186,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":79,"max":80},"biblio":{"volume":"12","issue":"6","first_page":"865","last_page":"891"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9966,"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.9966,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9927,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9683,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.8369231},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7877897},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.7110758},{"id":"https://openalex.org/C165511393","wikidata":"https://www.wikidata.org/wiki/Q7252276","display_name":"Security of cryptographic hash functions","level":5,"score":0.7032008},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.5972716},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5888889},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.58431494},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5641062},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.5345323},{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.4903555},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.41080984},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.31520587},{"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2004-12603","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.2325","pdf_url":"http://web.cs.wpi.edu/~guttman/pubs/ccs_faithful.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.2325","pdf_url":"http://web.cs.wpi.edu/~guttman/pubs/ccs_faithful.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","score":0.64,"id":"https://metadata.un.org/sdg/16"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W87530933","https://openalex.org/W4285242429","https://openalex.org/W4230679059","https://openalex.org/W4210360768","https://openalex.org/W2904818008","https://openalex.org/W2613366409","https://openalex.org/W2361781577","https://openalex.org/W2349210623","https://openalex.org/W2008685380","https://openalex.org/W1554274402"],"abstract_inverted_index":{"Dolev":[0],"and":[1,54],"Yao":[2],"initiated":[3,51],"an":[4],"approach":[5],"to":[6,20,39,105,137],"studying":[7],"cryptographic":[8,60,108,122],"protocols":[9],"which":[10,106],"abstracts":[11],"from":[12,112],"possible":[13],"problems":[14],"with":[15],"the":[16,23,27,57,71,85,103,113,121],"cryptography":[17],"so":[18],"as":[19],"focus":[21],"on":[22,70,102,126],"structural":[24],"aspects":[25],"of":[26,44,49,73,75,130],"protocol.":[28],"Recent":[29],"work":[30],"in":[31,64],"this":[32,80,118],"framework":[33],"has":[34],"developed":[35],"easily":[36],"applicable":[37],"methods":[38],"determine":[40],"many":[41],"security":[42],"properties":[43],"protocols.":[45,65],"A":[46],"separate":[47],"line":[48],"work,":[50],"by":[52],"Bellare":[53],"Rogaway,":[55],"analyzes":[56],"way":[58],"specific":[59,139],"primitives":[61,109,123],"are":[62,124],"used":[63,90],"It":[66],"gives":[67,98],"asymptotic":[68,145],"bounds":[69,141],"risk":[72],"failures":[74],"secrecy":[76],"or":[77],"authentication.":[78],"In":[79],"paper":[81],"we":[82],"show":[83],"how":[84],"Dolev\u2013Yao":[86],"model":[87],"may":[88,110],"be":[89],"for":[91],"protocol":[92],"analysis,":[93],"while":[94],"a":[95,99],"further":[96],"analysis":[97],"quantitative":[100,140],"bound":[101],"extent":[104],"real":[107],"diverge":[111],"idealized":[114],"model.":[115],"We":[116],"illustrate":[117],"method":[119],"where":[120],"based":[125],"Carter\u2013Wegman":[127],"universal":[128],"classes":[129],"hash":[131],"functions.":[132],"This":[133],"choice":[134],"allows":[135],"us":[136],"give":[138],"rather":[142],"than":[143],"simply":[144],"bounds.":[146]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4230679059","counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-01-15T16:46:28.702399","created_date":"2022-05-11"}