安全苛求软件需求规格中的安全特性验证方法

来源 :计算机应用 | 被引量 : 4次 | 上传用户:bolun365
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对自然语言描述的安全苛求软件需求规格中安全特性不准确、不一致等问题,提出一种基于UMLsec安全特性验证方法。该方法在UML需求模型类图和顺序图的基础上,为核心类的安全特性自定义构造型、标记和约束,完成UMLsec模型构建;之后,使用设计实现的UMLsec支持工具对安全特性进行自动验证。实验结果表明,该方法能准确描述安全苛求软件需求规格的安全特性,同时可以自动验证安全特性是否满足安全需求。
其他文献
城市作为经济、政治、科技、文化、教育的中心和载体,其经济的繁荣和发达程度直接决定和影响着局部地区与整个国民经济的整体发展。未来20年是中国社会经济发展的战略时期,大
期刊
目的:建立人血浆中伪麻黄碱浓度的液相色谱-质谱测定法,进行人体药动学研究。方法:测定10名健康受试者口服受试制剂后血浆中伪麻黄碱浓度。结果:单剂量口服受试制剂(含伪麻黄碱120
目的:建立小金丸软胶囊中阿魏酸的高效液相色谱含量测定方法。方法:采用Diamonsil^TMC18(4.6mm×250mm,5μm)色谱柱,流动相为甲醇-1%醋酸水溶液(25:75),流速为1.0mL·min^-1,柱温25
2018年8月份以来,随着国际经济环境的剧烈变化,特别是中美贸易关系的持续恶化,经济周期的变化对大宗商品的价格影响愈发明显,国际铜价呈现出更加复杂的价格波动特征。上海期
目的:采用大鼠酒精依赖模型,观察酒精依赖及戒断对大鼠伏隔核、前额叶皮质、杏仁核、海马中神经甾体脱氢表雄酮(DHEA)、脱氢表雄酮硫酸酯(DHEAS)水平的影响。方法:大鼠通过自由饮含6
目前,随着我国社会经济的不断发展,人们的生活水平和质量也在原来的基础上实现了进一步的提升,从而对于空调安装质量提出了更高的要求。因此,在对空调进行安装的过程中,要在
针对常规层次型布图算法在大规模程序中布线混乱的缺点,借鉴Sugiyama层次布局算法,提出了一种随着程序规模动态调整的通道优化布线算法。通过将节点的通道数目与程序规模建立函数关系,以解决现有算法在布图时出现的线路重叠和效率低下的问题;在布图中结合广义张量平衡思想,以减少交叉并实现布图的美观性;并根据调用节点之间的相对位置关系,给出了相应的线路分配和申请策略,实现了布线的有序性。实践证明,该算法能够
文章针对沥青路面施工环节的技术要点进行了较为详细的探析,以期能够有助于路基路面施工项目的顺利进行与完成。
随着我国经济的飞速增长,经济领域的逐步完善,国家财政部门颁发了新企业会计准则,运用比较分析和系统分析的方法对我国会计现状进行全新的规划,更好地引导企业财政正常管理运
本年度我刊将特别关注:大数据、深度学习、移动互联网方面的稿件。主要组稿方向如下:网络与通信Network and communications移动互联网、物联网、移动通信、移动支付、软件定义