{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,9]]，“日期-时间”：“2024-07-09T11:19:36Z”，“时间戳”：1720523976193}，“引用-计数”：29，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{:“日期-零件”：[[2020,8,1]]，”日期-时间“：”2020-08-01T00:00:00 0:00Z“，”时间戳“：1596240000000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}]，“资助者”：[{“DOI”：“10.13039\/501100001809”，“名称”：“国家自然科学基金”，“DOI-asserted-by”：“publisher”，“奖项”：[“61602289”]}，“doi-asserted-by”：“crossref”，“award”：[“GK201803081”，“GK201 801004”]}，{“name”：“中国陕西省自然科学基础研究计划”，“adward”：【“2016JQ6056”】}：“国家自然科学基金”，“doi-asserted-by”：“publisher”，“adward”：[“11372167”，”6134003“，”61402273“]}，{“doi”：“10.13039\/50110000403”，“name”：“陕西师范大学研究生教育改革项目”，“doi-asserted-by”:“publishers”，“award”：[”GERP-15-12“]}.，{”name“：“111大学学科引智计划”，“奖项”：[“B16031”]}]，“内容域”：{“域”：[”elsevier.com“，”sciencedirect.com“]，“交叉标记限制”：true}，“short-container-title“：[”Future Generation Computer Systems“]，”published-print“：{”date-parts“：[2020,8]}，”DOI“：”10.1016\/j.Future.2018.04.090“，”type“”：“journal-article”，“created”：{“date-parts”：[[2018,5,30]]，“date-time”：“2018-05-30T16:34:32Z”，“timestamp”：1527698072000}，“page”：“611-620”，“update-policy”：”http://\/dx.doi.org\/10.10016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：16，“special_numbering”：“C”，“title”：[“基于Petri网的电子商务业务流程结构安全分析方法”]，“前缀”：“10.1016”，“卷”：“109”，“作者”：[{“给定”：“汪洋”，“家族”：“余”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“志军”，“家庭”：“丁”，“顺序”：“附加”，“隶属关系”：[]}，“affiliation”：[]}，{“given”：“Xiaoming”，“family”：“Wang”，“sequence”：“additional”，“affaliation”（附加）：[]}8.04.090_b1“，”非结构化“：“CNNIC，中国互联网发展统计报告，中国互联网信息中心，中国北京，2017年1月。”}，{“key”：“10.1016\/j.future.2018.04.090_b2”，“unstructured”：“iResearch:2016年第三季度电子商务市场核心数据。2016。可用信息：http://\/report.iresearch.cn\/content\/2016\/11\/265616.shtml#a1.“}，{“key”：“10.1016\/j.future.2018.04.090_53”，“doi-asserted-by”：“crossref”，“unstructured”：“R.Wang，S.Chen，X.F.Wang和S.Qadeer，《如何免费在线购物——基于收银员即服务的网络商店的安全分析》，收录于：Proc.32nd IEEE Symp.Security Privacy（S&P），加州伯克利，2011年，第465\u2013480页。“，”DOI“：”10.1109\/SP.2011.26“}，{“key”：“10.1016\/j.future.2018.04.090_b4”，“unstructured”：“D.Hirschberger，et al.，学士论文cashier-as-a-service-based webshops overview and steps to security testing，2016。”}，“key“：”1016\/j.future.2018年4月90_b5“，”DOI-asserted-by“：”crossref“，”unstructure“：”K。Bhargavan等人，《通过键入对安全协议代码进行模块化验证》，载于：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，美国纽约州纽约市，2010年，第445\u2013456页。“，”DOI“：”10.1145\/1706299.1706350“}，{“key”：“10.1016\/j.future.2018.04.090_b6”，“DOI-asserted-by”：“crossref”，“unstructured”：“A。Sudhodanan等，多方web应用程序黑盒安全测试的攻击模式，收录于：NDSS，2016.“，”DOI“：”10.14722\/NDSS.2016.23286“}，{“key”：“10.1016\/j.future.2018.04.090_b7”，“unstructured”：“淘宝网一元门事件[在线].2012年2月21日。可用网址：http://\/baike.baidu.com/view\/6419081.htm。“｝，｛”key“：”10.1016\/j.future。2018.04.090_b8“，”doi asserted by“：”crossref“，”首页“：”106“，”doi“：”10.1007\/s11633-010-51-x“，”文章标题“：”Lom:在基于mongodb的web应用程序中发现逻辑缺陷“，”卷“：”14“，”作者“：”Wen“，”年份“：”2017“，”期刊标题“：”Int.j.Autom.Comput.“｝，｛”key“：”10.1016\/j.future。2018.04.090_b 9英寸，“doi-asserted-by“：”crossref“，”unstructured“：”A.D.Brucker，I.Hang，《业务流程驱动系统的安全和兼容实现》，收录于：business process Management Workshops，爱沙尼亚塔林，2013年，第662\u2013674页。“，”doi“：”10.1007\/978-3642-36285-9_66“}，{“key”：“10.1016\/j.future.2018.04.090_b10”，“doi-assert-by”：“crossreff”，“”非结构化“：”A.Lehmann、N.Lohmann，机密业务流程建模向导，收录于：business Process Management Workshops，Tallinn，Estonia，2013，第675\u2013688页。“，”DOI“：”10.1007\/978-3642-36285-9_67“}，{“key”：“10.1016\/j.future.2018.04.090_b11”，“DOI-asserted-by”：“crossref”，“非结构化”：“D。Knuplesch等人，《实现跨组织流程及其变更的合规性》，载于：《业务流程管理研讨会》，爱沙尼亚塔林，2013年，第649\u2013661页。“，”DOI“：”10.1007\/978-3642-36285-9_65“}，{“key”：“10.1016\/j.future.2018.04.090_b12”，“DOI-asserted-by”：“crossref”，“unstructured”：“B。Depaire等，《流程偏差分析框架》，爱沙尼亚塔林商业流程管理研讨会，2013年，第701\u2013706页使用跟踪对齐进行流程诊断：机遇、问题和挑战”，“卷”：“37”，“作者”：“Bose”，“年份”：“2012年”，“日志标题”：“信息系统”。“}，{”key“：”10.1016\/j.future.2018.04.090_b14“，”doi-asserted-by“：”crossref“，”first page“：“574”，“doi”：“10.1016\/j.is.2011.08.004”，“article-title”：“通过伙伴合成确保过程配置的正确性”，“volume”：“37”，“author”：“van\u00a0der Aalst”，“year”：“2012”，“journal-title“：”Inf.Syst.“}j.future.2018.04.090_b15“，”doi断言者：“crossref”，“first page”：“4104”，“doi”：“10.1109\/ACCESS.2016.2597061”，“文章标题”：“一种基于分支过程的方法来检查工作流系统的可靠性”，“volume”：“4”，“author”：“Liu”，“year”：“2016”，“journal title”：“IEEE ACCESS”}，｛“key”：“10.1016\/j.future.2018.04.090_b16”，“doi断言者：”crossref“，first page”：“1”，“doi”：“10.1007\/s11432-015-5461-0“，“文章标题”：“基于网络结构的条件决定一类组织间工作流网络的兼容性和弱兼容性”，“卷”：“58”，“作者”：“刘”，“年份”：“2015”，“期刊标题”：《科学》。中国信息科学。“}，{”key“：”10.1016\/j.future.2018.04.090_b17“，”doi-asserted-by“：”crossref“，”first page“：“995”，“doi”：“10.1016\/j.ins.2008.11.025”，“article-title”：“电子商务工作流的建模和监控”，“volume”：“179”，“author”：“Du”，”year“：”2009“，”journal-title“：”Inform.Sci.“}”，{“key”：_b18“，”doi-asserted-by“：”crossref“，”第一页“：”93“，”DOI“：”10.1109\/TSMCC.2007.896995“，”article-title“：”基于Petri网的互联网股票交易系统正确性分析“，”volume“：”38“，”author“：”Du“，”year“：”2008“，”journal-title”：“IEEE Trans。系统。人类网络。C“}，{”key“：”10.1016\/j.future.2018.04.090_b19“，”doi-asserted-by“：”crossref“，”first page“：“299”，“doi”：“10.1109\/TSMCA.2008.2010751”，“article-title”：“用于验证合作系统中的义务和责任的基于Petri网的模型”，“volume”：“39”，“author”：“Du”，“year”：“2009”，“journal-title“：”IEEE Trans.Syst.Man Cybern.A“}”，{“key”：“”10.1016\/j.future.2018.04.090_b20“，”doi-asserted-by“：”crossref“，”first page“：”429“，”doi“：”10.1109\/TASE.2012.2188511“，”article-title“：”Petri网方法用于网络服务的中介辅助组合“，”volume“：“9”，”author“：”Du“，“year”：“2012”，“journal-title”：“IEEE Trans。自动。科学。Eng.“}，{”key“：”10.1016\/j.future.2018.04.090_b21“，”doi-asserted-by“：”crossref“，”first page“：“686”，“doi”：“10.1109\/TASE.2009.2034016”，“article-title”：“企业SOA解决方案中的数据驱动服务组合：Petri网方法”，“volume”：“7”，“author”：“Tan”，“year”：“2010”，“journal-title“：”IEEE Trans.Autom.Sci.Eng10.1016\/j.future.2018.04.090_b22“，”doi-asserted-by“：”crossref“，”first page“：”38:1“，“doi”：“10.1145\/2811264”，“article-title”：“机器对机器通信网络中高级服务发现的社会生态学模型”，“volume”：“15”，“author”：“Liu”，“year”：“2016”，“journal-title“：”ACM Trans。嵌入式计算。系统。“}，{”key“：”10.1016\/j.future.2018.04.090_b23“，”doi-asserted-by“：”crossref“，”first page“：“2447”，”doi“：”101109\/TC.2014.2378273“，”article-title“：”灾难服务发现的自适应多级索引方法“，”volume“：_b24“，”doi-asserted-by“：”crossref“，”first page“：”20“，”doi“：”10.1109\/TSC.2010.33“，”article-title“：”基于SOA的跨领域业务流程的动态身份验证“，”volume“：“5”，”author“：”Xu“，”year“：”2012“，”journal-title”：“IEEE Trans。服务。计算。“｝，｛”key“：”10.1016\/j.future.2018.04.090_b25“，”doi断言“：”crossref“，”首页“：”327“，”doi“：”10.1109\/TSMC.2013.2248358“，”文章标题“：”基于petri网的电子商务业务流程建模与验证“，”卷“：”44“，”作者“：”余“，”年份“：”2014“，”期刊标题“：”IEEE Trans.Syst.Man Cybern.Syst.“｝，｛”key“：”10.1016\/j.future.2018.04.090_b26“，”doi-asserted-by“：”crossref“，”first page“：”130“，”doi“：”10.1109\/TSMC.2016.2598287“，”article-title“：”通过关联矩阵和约简分析电子商务业务流程网“，”volume“：“48”，”author“：”Yu“，”year“：”2018“，”journal-title”：“IEEE Trans。系统。人类网络。系统。“}，{”key“：”10.1016\/j.future.2018.04.090_b27“，”series-title“：”Petri网简介“，”author“：”Wu“，”year“：”2006“}”，{“key”：“10.1016\/j.future.2018.“，”series-title“：”柔性制造系统的建模、仿真和控制：Petri网方法”，“作者”：“周”，“年份”：“1999”}]，“容器-时间”：[“未来一代计算机系统”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X17323671？httpAccept=text\/xml”，“内容类型”：“text\/.xml”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0167739X17323671？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2020,5,27]]，“date-time”：”2020-05-27T05:27 11:57Z“，”timestamp“：1590556317000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0167739X17323671“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2020,8]]}，《references-count》：29，“alternative-id”：[“S0167739 X1732367”]，“URL”：“http://\/dx”.doi.org\/10.1016\/j.future.2018.04.090“，”关系“：{}，”ISSN“：[”0167-739X“]，”issn-type“：[{”value“：”0167-739“X”，“type”：“print”}]，“subject”：[]，“published”：{“date-parts”：[[2020,8]]}，“assertion”：[{'value“:”Elsevier“，”name“：”publisher“，”label“：”本文由“}维护，{”value“：”基于Petri网的方法，用于分析电子商务业务流程中的结构安全”，“name”：“articletite”，“label”：“”文章标题“}，{“value”：“Future Generation Computer Systems”，“name”：“journalttle”，“label”：“Journal Title”}，“value“：”https:\/\/doi.org\/101016\/j.Future.2018.04.090“，”name“：”articlelink“，”label“：”CrossRef doi link to publisher maintained version“}”，{\u00a9 2018 Elsevier B.V.保留所有权利。“，”name“：”copyright“，”label“：”copyright”}]}}