｛“id”：“https://openalex.org/W2153843218“，”doi“：”https://doi.org/10.109/crisis.2009.5411982“，”title“：”电子投票系统攻击的正式分析“，”display_name“：”电子投票系统攻击的正式分析“，”publication_year“：2009，”publication_date“：”2009-10-01“，”ids“：｛”openalex“：”https://openalex.org/W2153843218“，”doi“：”https://doi.org/10.109/crisis.2009.5411982“，”mag“：”2153843218“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/crisis.2009.5411982“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5040195857“，”display_name“：”Komminist Weldemariam“，”orcid“：”https://orcid.org/0000-0001-9100-0193}，“机构”：[{“id”：https://openalex.org/I193223587“，”display_name“：”特伦托大学“，”ror“：”https://ror.org/05trd4x28“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I193223587“]}，{”id“：”https://openalex.org/I2277624104“，”display_name“：”布鲁诺·凯斯勒基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Komminist Weldemariam“，”raw _ affiliation_strings“：[“民主团体，Fondazione Bruno Kessler（FBK），意大利特伦托”，“意大利特伦多大学工程与计算机科学系”]，”afliations“：[{”raw _affiliation_string“：”意大利特伦托大学工程与计算机科学系“，“institution_ids”：[“https://openalex.org/I193223587“]}，{”raw_affiliation_string“：”民主团体，布鲁诺·凯斯勒基金会（FBK），意大利特伦托“，”institution_ids“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5045603537“，”display_name“：”Richard A.Kemmer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I154570441“，”display_name“：”加州大学圣巴巴拉分校“，”ror“：”https://ror.org/02t274463“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I154570441“]]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Richard A.Kemmerer“，”raw_affiation_strings“：[”美国加州大学圣巴巴拉分校计算机科学系“]，”附属机构“：[｛”raw_affiation_string“：”美国加州大学圣巴巴拉分校计算机科学系“，”institution_ids“：[”https://openalex.org/I154570441“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5086483871“，”display_name“：”Adolfo Villafiorita“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Adolfo Villafiorita“，”raw _ afiliation_strings“：[“民主集团，Fondazione Bruno Kessler（FBK），Trento，Italy”]，”afliations“：[{”raw _affiliation_string“：”民主集团，Fundazione-Bruno Kassler（FFK），意大利Trento“，”，“institution_ids”：[“https://openalex.org/I2277624104“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payed“：null、”fwci“：1.43，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：4“cited_by_percentile_year”：{“min”：80，“max”：81}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10927“，”display_name“：”在线环境中的信任和声誉系统“，”score“：0.998，”subfield“：{”id“：”https://openalex.org/subfields/3312“，”display_name“：”社会学与政治学“}，”field“：{”id“：”https://openalex.org/fields/33“，”display_name“：”社会科学“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}，”主题“：[{”id“：”https://openalex.org/T10927“，”display_name“：”在线环境中的信任和声誉系统“，”score“：0.998，”subfield“：{”id“：”https://openalex.org/subfields/3312“，”display_name“：”社会学与政治学“}，”field“：{”id“：”https://openalex.org/fields/33“，”display_name“：”社会科学“}，”域“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T11598“，”“display_name”：“互联网流量分类的机器学习”，“score”：0.9967，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T13999“，”“display_name”：“数字版权管理体系结构和技术”，“score”：0.9966，“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“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/e投票“，”display_name“：”电子投票“，”score“：0.537495｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8261827}，{”id“：”https://openalex.org/C2780612046，“wikidata”：https://www.wikidata.org/wiki/Q926161“，”display_name“：”电子投票“，”level“：4，”score“：0.767468}，{”id“：”https://openalex.org/C520049643，“wikidata”：https://www.wikidata.org/wiki/Q189760“，”display_name“：”Voting“，”level“：3，”score“：0.7094754}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.6640686}，{”id“：”https://openalex.org/C178005623，“wikidata”：https://www.wikidata.org/wiki/Q308859“，”display_name“：”匿名“，”level“：2，”score“：0.60266715}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.57512337}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.5389735}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.5287036}，{”id“：”https://openalex.org/C84651959，“wikidata”：https://www.wikidata.org/wiki/Q17052506“，”display_name“：”系统需求规范“，”level“：2，”score“：0.49749044}，{”id“：”https://openalex.org/C201677973，“wikidata”：https://www.wikidata.org/wiki/Q1209840“，”“display_name”“：”规范语言“，”级别“：2，”分数“：0.4636252}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.27321404}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.26625758}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”Politics“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748（网址：https://www.wikidata.org/wiki/Q7748）“，”display_name“：”Law“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/crisis.2009.5411982“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：nuld，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.72，”display_name“：”Peace，justice，and strong institutions“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：16，”referrenced_works“：[”https://openalex.org/W1489391022","https://openalex.org/W1525766382","https://openalex.org/W1558989242","https://openalex.org/W1571378841","https://openalex.org/W181538956","https://openalex.org/W2018507204","https://openalex.org/W2035264634","https://openalex.org/W2039292268","https://openalex.org/W2086779443","https://openalex.org/W2110601905","https://openalex.org/W2126585575","https://openalex.org/W2136404450","https://openalex.org/W2152398460","https://openalex.org/W2157470906","https://openalex.org/W2167963827","https://openalex.org/W46632943“]，”related_works“：[”https://openalex.org/W2558572842","https://openalex.org/W239966521","https://openalex.org/W2238880588","https://openalex.org/W2204176978","https://openalex.org/W2158159493","https://openalex.org/W2136463869","https://openalex.org/W2049993111","https://openalex.org/W2047524021","https://openalex.org/W2034589735","https://openalex.org/W1588292955“]，”ngrams_url“：”https://api.openalex.org/works/W2153843218/ngrams网站“，”abstract_inverted_index“：{“最近，”：[0]，“the”：[1,41,49,67,87101125144153157160165]，“use”：[2]，“of”：[3,11,32,86]，“formal”：[4,84]，“methods”：[5]，“to”：[6,38,65,76,98118137]，“specify”：[7]，“and”：[8,22,30,47,52159]，“verify”：/9]，“properties”：[10]，“electronic”：[12]，“voting”：[13,89]，“（电子投票）”：[14]，“系统”，：[15]，“带有”：[16]，“special“：[17]，”interest“：[18]，”in“：[19]，”security“：[20]，”verificability“：[21]，”anonyment“，”：[23]，”is“：[24109162]，”getting“：[25]，”much“：[26]，”attention“。“：[27]，”正式“：[28]，”规范“：[29,85126]，”验证“：[31161]，”这样“：[33107]，”系统“：[34,60]，”可以“：[35]，”大大“：[36]，”帮助“：[37]，”更好“：[39]，”理解“：[40]，”体系“：[42,69,90145]，”要求“：[43123]，”通过“：[44,91]，”彻底“：[45]，”指定“：[46,92]，”分析“：[48]，“基础”：[50]，“假设”：[51128]，“security“：[53,70]，”specific“：[54]，”属性。“：[55]，”不幸，“：[56]，”偶数“：[57]，”虽然“：[58]，”这些“：[59]，”已经“：[61,95]，”被“：[62,96]，”正式“：[63]，”已验证“：[64]，”满足“：[66]，”期望“：[68]，”要求，“：%71]，”它们“：[72]，”是“：[73]，”仍然“：[74]，”易受攻击“：[75]。“：[77]，”In“：[78]，”this“：[79]，”paper“：[80]，”we“：[81]，”extend“：[82]，”a“：[83]，”ES&S“：[88]，”attack“：[93]，”that“：[94105129]，”show“：[97]，”successfully“：[99]，”折中“：[100]，”system。“：[102]，“我们”：[103151]，“相信”：[104]，“执行”：[106]，“分析”：[108]，“重要”：[110]，“对于”：[1111124156]，“两个”：[112]，“原因：”：[113]，“第一，”：[114]，“它”：[1151149]，“允许”：[116135]，“我”：[117136]，“发现”：[119]，“一些”：[120]，“缺失”：[121]，“关键”：[122]，“和/或”：[127]，“were”：[130]，“not”：[131]，“met”：[132]，“Second”，“：[133]，”派生“：[138]，”缓解“：[139]，”或“：[140]，”对抗措施“：[141]，”策略“：[142]，”当“：[143]，”行为“：[146]，”不同“：[147]，”比“：[148]，”应该。“：[150]，”已使用“：[152]，”ASTRAL“：[154]，”语言“：[155]，”规范“：[158]，”执行“：[163]，”使用“：-164]，”PVS“：[166]，”工具。“：[167]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2153843218“，”counts_by_year“：[{“年份”：2015，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：2}]，”updated_date“：”2024-06-27T03:08:30.751949“，”created_date:“2016-06-24”}