基于UMLsec的软件安全需求建模方法研究

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:liutongyang123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础。针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法。在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求描述集成到功能需求模型中,构建安全需求模型,并对模型进行了验证。科研信息系统实例表明了该方法的有效性。
其他文献
创新创业教育可以培养大学生的创新精神和创业意识,提高创新能力和就业能力。高等院校需要根据学生个人特点与发展规划进行创新创业体系构建,合理搭建校企合作平台,为创新创
首次研究高价银氧化物Ag3O4(可看作为由Ag(Ⅲ)和Ag(Ⅱ)^*组成)在碱性水溶液中的电化学性质和反应机理.循环伏安和XRD测试表明,Ag3O4在碱性溶液中的电化学还原过程比较复杂:在较慢的放电
目的观察运动冲量心率(TRIMP)区法和RPE法对青少年排球训练负荷量化评价的一致性。进而探讨两种评价方法的评价效果,以求证RPE法是否可以无创、简便地监控排球运动训练负荷。
介绍Z8640双工位四开模热芯盒射芯机常规继电器线路控制系统整改为可编程序控制器(PLC)控制系统的目的、应用和技巧。通过整改,设备生产效率得以提高,产品质量得以改善。
对光面爆破参数的设计、从理论和实际进行了分析,提出了炮眼分阶段设计的设想。
盐生草(Halogeton glomeratus)是我国西北旱区具有极强抗旱耐盐性的一种盐生植物。本研究首次对盐生草籽营养成分进行了全面分析与评价,结果表明盐生草籽粗蛋白含量高达50.20
目的分析乳腺癌根治术后患者采用逆向调强放疗技术(IMRT)和旋转容积调强技术(VMAT)放疗的剂量学分布特征。方法选取我院胸部放疗科2018年1月至2018年6月接受乳腺癌根治术后辅
运用"状态-压力-响应"预警模型,建立了扬州市水环境生态安全评价指标体系,评价结果显示,2000~2008年间扬州市水环境总体生态安全有所好转,社会经济发展以及自然水环境条件的下降
营销是一个企业的重中之重,决定着一个企业的生存与发展。武汉市矿粉市场情况复杂多变,给武新公司初期的矿粉营销带来很大困难。为了打开市场、扩大市场占有率、降低风险、提
通过实验教学可以很好的提高学生对理论知识的理解,增强学生的实践操作能力和应用能力.将粗糙集理论与关联规则挖掘结合起来进行数据挖掘的方法,开发了实验教学质量评价系统,用户