{“id”：“https://openalex.org/W2155418675“，”doi“：”https://doi.org/10.1016/j.jss.2011.01.064“，”title“：”过程安全分析：方法论方法“，”display_name“：”程序安全分析：一种方法论方法”，”publication_year“：2011，”publitation_date“：”2011-02-11“，”ids“：{”openalex“：”https://openalex.org/W2155418675“，”doi“：”https://doi.org/10.1016/j.jss.2011.01.064“，”mag“：”2155418675“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.jss.2011.01.064“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S37879656“，”display_name“：”Journal of Systems and Software“，”issn_l“：”0164-1212“，”isn“：[”0164212“，”1873-1228“]，”is_oa“：false，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5102959158“，”display_name“：”Komminist Weldemariam“，”orcid“：”https://orcid.org/0000-0001-9100-0193}，“机构”：[{“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“：true，”raw_author_name“：”Komminist Weldemariam“，”raw _affiliation_strings“：[“科学技术研究中心，Bruno Kessler，via Sommarive 18，Trento 38123，Italy”]，”affiliations“：[{”raw _affiliation_string“：”科学技术研究中心，布鲁诺·凯斯勒基金会，via Sommarive 18，Trento 38123，Italy“，”institution_ids“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5086483871“，”display_name“：”Adolfo Villafiorita“，”orcid“：”https://orcid.org/0000-0002-2357-2146}，“机构”：[{“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 _affiliation_strings“：[“科学技术研究中心，Bruno Kessler基金会，via Sommarive 18，Trento 38123，Italy”]，”affiliations“：[{”raw _affiliation_string“：”科学技术研究中心，布鲁诺·凯斯勒基金会，via Sommarive 18，Trento 38123，Italy“，”institution_ids“：[”https://openalex.org/I2277624104“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5102959158“]，”对应的机构ID“：[”https://openalex.org/I2277624104“]，”apc_list“：{”value“：3560，”currency“：”USD“，”value_USD“：3550，”provenance“：”doaj“}，”apc _pay“：null，”fwci“：7.401，”has_fulltext“：false，”cited_by_count“：12，”citation_normalized_percentile“：{”value 86，“max”：87}，“biblio”：{“volume”：“84”，“issue”：“7”，“first_page“：”1114“，”last_page“：”1129“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10734“，”“display_name”：“信息安全策略合规性和意识”，“score”：0.9995，“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/T10734“，”“display_name”：“信息安全策略合规性和意识”，“score”：0.9995，“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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9975，”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/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：0.9975，”subfield“：{”id“：”https://openalex.org/subfields/1711“，”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/keywords/electronic-voting网站“，”display_name“：”电子投票“，”score“：0.6301069}，{”id“：”https://openalex.org/keywords/security-analysis（https://openalex.org/keywords/security-analysis）“，”display_name“：”安全分析“，”score“：0.592922}，{”id“：”https://openalex.org/keywords/security-policys网站“，”display_name“：”安全策略“，”score“：0.514669}，{”id“：”https://openalex.org/keywords/behavior分析“，”display_name“：”Behavioral Analysis“，”score“：0.507784｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.75266683}，{”id“：”https://openalex.org/C76178495，“wikidata”：https://www.wikidata.org/wiki/Q4808784“，”display_name“：”资产（计算机安全）“，”级别“：2，”分数“：0.6370857}，{”id“：”https://openalex.org/C2780612046，“wikidata”：https://www.wikidata.org/wiki/Q926161“，”display_name“：”电子投票“，”level“：4，”score“：0.6301069}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.53671795}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.49759105}，{”id“：”https://openalex.org/C112930515，“wikidata”：https://www.wikidata.org/wiki/Q4389547“，”display_name“：”风险分析（工程）“，”level“：1，”score“：0.46809697}，{”id“：”https://openalex.org/C121822524，“wikidata”：https://www.wikidata.org/wiki/Q5157582“，”display_name“：”计算机安全模型“，”level“：2，”score“：0.43694487｝，｛”id“：”https://openalex.org/C520049643，“wikidata”：https://www.wikidata.org/wiki/Q189760“，”display_name“：”Voting“，”level“：3，”score“：0.429757}，{”id“：”https://openalex.org/C38369872，“wikidata”：https://www.wikidata.org/wiki/Q7445009“，”display_name“：”安全分析“，”level“：2，”score“：0.42870304}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.41425008}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：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“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.jss.2011.01.064“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S37879656“，”display_name“：”Journal of Systems and Software“，”issn_l“：”0164-1212“，”isn“：[”0164212“，”1873-1228“]，”is_oa“：false，”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”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“score”：0.74，“display_name”：“和平、正义和强大的制度”，“id”：“https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：64，”referrenced_works“：【”https://openalex.org/W1489391022","https://openalex.org/W1511214424","https://openalex.org/W1520212520","https://openalex.org/W1526654465","https://openalex.org/W1559155956","https://openalex.org/W1561070426","https://openalex.org/W1571378841","https://openalex.org/W1598515570","https://openalex.org/W1607696288","https://openalex.org/W170425430","https://openalex.org/W175551733","https://openalex.org/W1867089059","https://openalex.org/W188145618","https://openalex.org/W1916934041","https://openalex.org/W2011804594","https://openalex.org/W2017645430","https://openalex.org/W2023808162","https://openalex.org/W2027060223","https://openalex.org/W2035029962","https://openalex.org/W2042568186","https://openalex.org/W2055856629","https://openalex.org/W2062205093","https://openalex.org/W2063953383","https://openalex.org/W2070406344","https://openalex.org/W2093955118","https://openalex.org/W2096197688","https://openalex.org/W2097525549","https://openalex.org/W2103616547","https://openalex.org/W2108079590","https://openalex.org/W2110731322","https://openalex.org/W2113404383","https://openalex.org/W2115565535","https://openalex.org/W2117798266","https://openalex.org/W2120450154","https://openalex.org/W2121908619","https://openalex.org/W2123510989","https://openalex.org/W2123956338","https://openalex.org/W2136404450","https://openalex.org/W2141248983","https://openalex.org/W2141448268","https://openalex.org/W2148893609","https://openalex.org/W2153843218","https://openalex.org/W2154702004","https://openalex.org/W2157470906","https://openalex.org/W2163133050","https://openalex.org/W2164015376","https://openalex.org/W2164222678","https://openalex.org/W2169412797","https://openalex.org/W2169592938","https://openalex.org/W2543579919","https://openalex.org/W2911568666","https://openalex.org/W2917707777","https://openalex.org/W4242725984","https://openalex.org/W4246703724","https://openalex.org/W4251404147","https://openalex.org/W4253314756","https://openalex.org/W4285719527","https://openalex.org/W4299355055","https://openalex.org/W4353004773","https://openalex.org/W580907100","https://openalex.org/W65342078","https://openalex.org/W86307085","https://openalex.org/W9168213","https://openalex.org/W985281171“]，”related_works“：[”https://openalex.org/W4321843854","https://openalex.org/W4311463983","https://openalex.org/W4297573717","https://openalex.org/W4283692793","https://openalex.org/W3108317354","https://openalex.org/W3037285711","https://openalex.org/W2152415989","https://openalex.org/W1596100069","https://openalex.org/W157440325","https://openalex.org/W1535364928“]，”abstract_inverted_index“：{”This“：[0,86]，”article“：[1]，”introduces“：[2]，”what“：[3]，”we“：[4]，”call“：[5]，”procedural“：/6]，”security“：[7,16]，”analysis“：[8,44]，”an“：[9103]，”approach“：[10,22]，”that“：[11,55114167]，”allows“：[12,87]，”for“：[13,83]，”a“：[14,95]116127182187]，“系统”：[15]，“评估”：[17]，“的”：[18,49,58102109119151177189]，“（业务）”：[19]，“流程”：[20]，“The”：[21]，“is”：[23,32]，“based”：[24]，“on”：[25,28200]，“explicit”：[26]，“reasoning”：[27]，“asset”：[29,78]，“flows”：[30]，“and”：[31,52140162199]，“implemented”：[33]，“by”：[34,45,53]，“building”：[35]，“formal”：[36,84]，“models”：[37]，“至”：[38,75,89,94126134147163185191204]，“描述”：[39]，“用法：[40,71,77,92100106111124136149152165178196201]，“标称”：[41]，“过程”：[42137154]，“根据”：[43157]，“注入”：[46]，“可能”：[47,62]，“线程操作”：[48]，“这样”：[50,67]，“模型”：[51]，“假设”：[54]，“任意”：[56]，“组合”：[57]，“威胁”：[59]，“可以”：[60168180]，“be”：[61181192]，“in”：[63]，“all”：[64]，“steps”：[65]，“into”：[66]，“模型”：[68]，“我们”：[69121]，“使用”：[70]，“NuSMV”：[72]，“输入”：[73]，“语言”：[74]，“编码”：[76]，“流”：[79]，“其中”：[80158]，“是”：[81145160]，“可接受的”：[82]，“分析。”：[85]，“us”：[88]，“理解”：[90]，“如何”：[91]，“切换”：[93]，“新”：[96]112]，“技术”：[97]，“解决方案”：[98]，“更改”：[99]，“要求”：[101]，“组织”：[104]，“with”：[105]，“终极”：[107]，“目标”：[108]，“定义”：[110]，“过程”：[113]，“确保”：[115]，“足够”：[117]，“级别”：[11898]，“安全性”：[120]，“有”：[122]，“应用”：[123193]，“技术”：[125]，“真实世界”：[128]，“电子”：[129172]，“投票”：[130]，“系统”：[131]，“命名”：[132]，“ProVoteE”：[133]，“分析”：[135]，“使用”：[138]，“期间”：[139]，“之后”：[141]，“选举”：[142173]，“这样”：[143]，“分析”：[144179]，“基本”：[146]，“识别”：[148164]，“限制”：[150]，“当前”：[153]，“（即”：[155]，“条件”：[156]，“攻击”：[159]，“无法检测”：[161]，“假设”：[166]，“保证”：[169]，“合理”：[170]，“安全”：[171]，“此外”：[174]，“结果”：[176]，“步骤”：[183]，“前进”：[184]，“设计”：[186]，“设置”：[188]，“要求”，：[190]，“两者”：[194]，“在”：[195]，“组织”：[197]，“（软件）”：[202]，“系统”：[203]，“制造”：[205]，“它们”：[206]，“更多”：[207]，“安全。”：[208]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2155418675“，”counts_by_year“：[{“年份”：2022，”cited_by_count“：1}，{“年度”：2018，”ciped_by_cunt“：1}，”{“年”：2017，“cited_by_count”：3}，“年份”:2014，”cited_by_count？：2}，}“年份“：2012，”citecd_by_count“:3}]，”updated_date“：”2024-09-19T15:01:12.340141“，”created_date:“2016-06-24”}