论文部分内容阅读
面向用例模型的安全性分析方法是从系统需求文档中提取用例模型,给出其安全性分析规范,并将用例模型集成为合成使用模型。利用umlsec构造型描述安全性,并实现相应的安全性验证工具进行验证,从而避免后期考虑安全性的风险与成本,提高了系统开发的质量和效率。
面向用例安全关键系统开发方法研究
【摘 要】
：
面向用例模型的安全性分析方法是从系统需求文档中提取用例模型,给出其安全性分析规范,并将用例模型集成为合成使用模型。利用umlsec构造型描述安全性,并实现相应的安全性验
【机 构】
：
信息工程大学
【出 处】
：
计算机应用与软件
【发表日期】
：
2013年8期
【基金项目】
：
河南省科技创新杰出青年计划项目(104100510025)
其他文献
在光电效应教学中,对有些问题如爱因斯坦的光电效应方程、遏止电压以及光电效应的微观机制等方面存在有不同程度的甚至是错误的看法。本文针对上述问题谈一点看法,并介绍内光
台湾作家陈启佑的《永远的蝴蝶》是一篇抒情化倾向十分明显的短篇小说。作家以其独具匠心的构思和纯情诗化的语言在虚实之间自如旋转,营造唯美伤感凄凉的环境氛围,讲述一个凄
应用灰色系统理论,综合考虑近海海域水质指标、沉积物指标、生态系统结构指标,在提出近海海洋生态系统健康评价标准的基础上,建立灰色系统法综合评价近海海洋生态系统健康模
研究了隔震支座的适用范围及控制程序,对其施工工艺及操作要点进行了详细论述,并探讨了施工中对材料与机械设备的使用要求,提出了施工质量及安全控制措施,最终通过工程实例证
手机应用商店已成为时下一种热门的移动内容产业经营模式。许多终端厂商、运营商都推出了各自的手机应用商店系统。随着移动互联网的迅猛发展,手机应用软件、内容传播销售成
变革已成为企业21世纪的生存法则。本文以“个人契约”的角度阐述了企业变革中普遍存在着的员工抵制问题,并在分析重塑“个人契约”及“心理契约”在企业变革过程中的关键地
动词配价研究争论的焦点主要集中在介词宾语、时间和处所成分以及工具成分的定性上。相关语义成分与动词隐现的规律表明动词的配价具有动态性,其根本原因在于动词词义具有非
近年来,传送网传输介质由最初的双绞线发展到光纤,接入网也从非对称用户数字环路(ADSL:Asymmetric Digital Subscriber Line)技术发展到先进的无源光接入网络(PON:Passive Op
加快发展服务业、特别是现代服务业,对转变我国经济发展方式、调整经济结构具有战略意义。许多发达国家和新兴经济体政府为促进本国现代服务业发展制定了包括税收政策在内的
大数据时代,知识更新日新月异,成人对教育的需求也随之增加。成人教育作为我国教育体系的一个重要组成部分,对社会经济、文化、教育的发展作出了巨大贡献,其中师范类高校成人