切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于UML顺序图的安全苛求软件安全性分析
基于UML顺序图的安全苛求软件安全性分析
来源 :计算机工程 | 被引量 : 0次 | 上传用户:zhongxuanshiye
【摘 要】
:
安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点
【作 者】
:
黄奕君
徐中伟
【机 构】
:
同济大学电子与信息工程学院
【出 处】
:
计算机工程
【发表日期】
:
2008年22期
【关键词】
:
安全苛求软件
安全性分析
形式化描述
safety-critical software
safety analysis
formalized descrip
【基金项目】
:
国家自然科学基金资助项目(60674004)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足,对顺序图增加了安全性描述方法。通过车载ATP系统的建模应用验证其可行性与有效性。
其他文献
一种改进的树突状细胞算法
针对危险状态识别问题,提出一种改进的树突状细胞算法(IDCA)。在原算法的基础上引入“时间窗”、未成熟DC尽快成熟、衰减因子等概念与策略,提高算法的响应速度和识别精度,解决传统
期刊
免疫算法
危险理论
树突状细胞算法
时间窗
衰减因子
immune algorithm
danger theory
Dendritic Cell Algor
改进的Canny算法及其在图像编码中的应用
分析仅以梯度模值作为依据的Canny边缘检测算法的不足,提出一种以曲率加权梯度模值为判据的改进算法以满足基于边缘信息的图像编码压缩对边缘提取的严格要求。实验结果表明,改进的Canny算法能更有效地抑制对于表征图像对象无重要意义的杂乱边缘,更好地反映图像的结构特征,性能优于现行的Canny算法。
期刊
边缘检测
CANNY算法
图像编码压缩
曲率加权梯度模值
edge detection
Canny algorithm
image coding compr
基于模板的应用层业务行为回放方法
应用层业务行为回放在协议设计、故障诊断、网络监测管理和性能评估等领域有着重要应用。该文分析了具有业务回放功能的网络监控系统所采用的方法和框架,指出了在面对新协议/
期刊
五元组
回放方法
应用层业务行为
模板
5-tuple flow
replay method
application's behavior
template
其他学术论文