基于UML顺序图的安全苛求软件安全性分析

来源 :计算机工程 | 被引量 : 0次 | 上传用户:zhongxuanshiye
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足,对顺序图增加了安全性描述方法。通过车载ATP系统的建模应用验证其可行性与有效性。
其他文献
针对危险状态识别问题,提出一种改进的树突状细胞算法(IDCA)。在原算法的基础上引入“时间窗”、未成熟DC尽快成熟、衰减因子等概念与策略,提高算法的响应速度和识别精度,解决传统
分析仅以梯度模值作为依据的Canny边缘检测算法的不足,提出一种以曲率加权梯度模值为判据的改进算法以满足基于边缘信息的图像编码压缩对边缘提取的严格要求。实验结果表明,改进的Canny算法能更有效地抑制对于表征图像对象无重要意义的杂乱边缘,更好地反映图像的结构特征,性能优于现行的Canny算法。
应用层业务行为回放在协议设计、故障诊断、网络监测管理和性能评估等领域有着重要应用。该文分析了具有业务回放功能的网络监控系统所采用的方法和框架,指出了在面对新协议/