收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于ESD的动态系统安全性建模与实现

周经伦  郑龙  
【摘要】:事件序列图(ESD)是系统安全性分析时采用的一种较新的手段,能有效地解决传统的安全性建模与分析在动态方面的不足。在对国内外动态系统安全性建模与分析方面的研究基础上,提出了一种扩展的ESD方法。对ESD的定义进行了完善,给出了ESD框架的动态逻辑图元表示形式及其数学描述,为提高其建模功能以及与系统结构关联的能力提出了层次化建模策略,并结合新的ESD算法开发了基于ESD的动态系统可视化建模与分析软件。最后,给出了一个实例以说明其有效性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈够喜;陈俊杰;;批量隐写容量研究[J];计算机应用研究;2011年09期
2 夏晶;;JPEG图像认证水印算法的安全性解析[J];河南科技;2011年13期
3 徐士伟;张焕国;;基于应用π演算的可信平台模块的安全性形式化分析[J];计算机研究与发展;2011年08期
4 刘曙生;邓必栋;;基于秘密共享的高效RFID安全协议[J];西部交通科技;2011年05期
5 李丽琳;刘柱文;;新型三方口令认证密钥协商协议的安全性分析与改进[J];计算机应用;2011年08期
6 周焕军;;支付软件服务安全性分析[J];金融电子化;2011年03期
7 毛敏芹;祝标太;;C语言中的安全性分析[J];计算机与网络;2010年Z1期
8 张青;;基于MD5的迭代散列算法[J];计算机工程;2011年18期
9 吴梦喜;卿龙邦;何蕃民;;利科有限元分析软件开发[J];计算机辅助工程;2011年02期
10 熊宛星;薛开平;洪佩琳;麻常莎;;基于二维区间Hash链的RFID安全协议[J];中国科学技术大学学报;2011年07期
11 袁柯;宋顺林;姜自雷;;基于MDA与UML扩展的安全软件开发方法[J];计算机工程;2011年15期
12 郑继明;高文正;;彩色图像的混沌加密算法[J];计算机工程与设计;2011年09期
13 孙克泉;;分解大整数为两个素因子乘积的析出算法[J];天津职业院校联合学报;2011年08期
14 陆有丽;杜伟章;;N-R签名体制的盲代理多重签名方案的改进[J];计算机工程与应用;2011年19期
15 谢淑翠;彭丽慧;张波;;基于RSA的前向安全的代理签名方案[J];计算机工程与应用;2011年24期
16 杨爱梅;彭维平;;基于身份来自辫群的指定验证人的代理签名[J];微电子学与计算机;2011年09期
17 谷利泽;孙艳宾;卿斯汉;郑世慧;杨义先;;新的基于Shim签名的可验证加密签名方案[J];电子与信息学报;2011年06期
18 任姣霞;王尚平;张亚玲;韩照国;;链接变量循环的Hash函数结构[J];计算机工程与应用;2011年20期
19 孙颖;许春香;吴淮;陈艾东;;对一种代理签名方案的攻击和改进[J];电子科技大学学报;2011年04期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 刘春林;;ACJT方案的安全性分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年
2 黄世中;黎彤亮;;USB安全锁固件设计和安全性分析[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
3 田园;张茹;武嘉;陈恩庆;;一种隐写算法安全性分析[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年
4 高绍武;;Abaqus软件在土木行业的应用[A];首届工程设计高性能计算(HPC)技术应用论坛报告集[C];2007年
5 牛少彰;舒南飞;;数字水印的安全性研究综述[A];第七届全国信息隐藏暨多媒体信息安全学术大会论文集[C];2007年
6 李卷孺;谷大武;陆海宁;;二进制代码隐秘功能的安全性验证[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
7 房其敏;金茂顺;;DPS6 GOOS6 MOD 400操作系统安全性分析和改进设想[A];第二次计算机安全技术交流会论文集[C];1987年
8 柴山;焦学健;王树凤;;CAE技术在汽车产品设计制造中的应用[A];首届中国CAE工程分析技术年会暨2005全国计算机辅助工程(CAE)技术与应用高级研讨会论文集[C];2005年
9 柯鹏;杨春信;;货台空投系统的三维动画仿真[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
10 文晓阳;高能;荆继武;;论坛验证码技术的安全性分析[A];全国计算机安全学术交流会论文集(第二十二卷)[C];2007年
中国博士学位论文全文数据库 前10条
1 傅瑜;数字图像隐写算法安全性与性能优化研究[D];北京邮电大学;2010年
2 颜兆林;系统安全性分析技术研究[D];中国人民解放军国防科学技术大学;2001年
3 和红杰;数字图像安全认证水印算法及其统计检测性能分析[D];西南交通大学;2009年
4 廖鑫;高效隐写算法的设计研究[D];北京邮电大学;2012年
5 陈军;可信平台模块安全性分析与应用[D];中国科学院研究生院(计算技术研究所);2006年
6 向涛;基于数字混沌的加密算法和密钥协商协议的研究[D];重庆大学;2008年
7 刘丽;安全视频水印关键技术与应用研究[D];西南交通大学;2009年
8 樊林波;软件可靠性与安全性的相互关系及其转换规律研究[D];贵州大学;2009年
9 钟军;群数字签名方案的设计与研究[D];西南交通大学;2007年
10 王薇;分组密码CLEFIA与基于四圈AES的消息认证码的安全性分析[D];山东大学;2009年
中国硕士学位论文全文数据库 前10条
1 常逢佳;椭圆曲线加密算法研究及其在即时通讯系统中的应用[D];南京理工大学;2008年
2 李朝君;二进制代码安全性分析[D];中国科学技术大学;2010年
3 詹新生;图像加密置乱性能分析[D];郑州大学;2005年
4 王多智;基于需求分析的安全分析理论研究及实现[D];国防科学技术大学;2005年
5 纪美霞;可分电子现金系统的研究与实现[D];青岛大学;2007年
6 邢巧英;基于混沌系统的图像加密算法研究[D];大连海事大学;2008年
7 海阿静;基于MPEG-4的视频数字水印鲁棒性研究[D];重庆大学;2008年
8 余沧海;几种混沌块加密算法的研究[D];大连理工大学;2009年
9 张恒山;基于NTRU加密系统的RFID认证协议[D];兰州大学;2009年
10 王效杰;基于图像认证的数字完备型水印研究[D];山东大学;2007年
中国重要报纸全文数据库 前1条
1 ;航空工业CAE应用简述[N];中国航空报;2004年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978