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

基于时序逻辑语言XYZ/E的CA认证系统描述与求精

刘俭云  
【摘要】:随着计算机网络和信息技术的日益发展和融合,Internet已经渗入到我们社会生活的各个方面。由于Internet本身的开放性,使网上交易面临着种种危险。如何保证客户之间在网上传递信息的机密性、完整性、不可抵赖性和安全性,在互联网中建立并维持一种令人信任的环境和机制正成为网络安全研究方面的热点。CA(Certification Authority)认证系统是目前普遍采用的解决方案。 本文介绍了CA认证系统的基本内容及其国内外的发展现状;阐述了基于时序逻辑语言XYZ/E的软件体系结构描述方法;提出了CA认证系统的设计思路和建设目标;建立了CA认证系统的软件体系结构模型:使用时序逻辑语言XYZ/E,描述了CA认证系统体系结构;采用基于组件的软件体系结构求精方法,实现了CA认证系统从整体的抽象描述到具体的可执行程序之间的求精过程。 本文的研究结果说明:利用时序逻辑语言XYZ/E可以很好地将CA认证系统从高层的抽象描述逐步求精到低层的具体实现,为CA认证系统验证和分析提供了新的思路和方法。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 聂丽;;分布式认证系统浅析[J];电脑知识与技术(学术交流);2007年09期
2 咸立亭;;积极稳妥地开展教育认证系统的建设与应用[J];中国教育信息化;2009年09期
3 张轶;;基于指纹仪认证系统实现对营业员身份的管控[J];江苏通信;2012年05期
4 郑波;拨号加密认证系统的研究[J];计算机安全;2002年03期
5 姜增良;王晋东;郑学军;;一种动态多因子认证系统的设计与实现[J];微计算机信息;2007年06期
6 韩银锋;;一种开放式的认证系统模型及其可靠性研究[J];科技资讯;2008年09期
7 锁永永;黄月江;;移动IPv6环境下接入认证系统的设计[J];信息安全与通信保密;2008年08期
8 陈俊;张冬;严威;;终端双重准入认证系统的结合实现[J];中国传媒科技;2010年12期
9 陈树根;;大学生素质拓展认证系统的设计与实现[J];软件导刊;2011年02期
10 ;技术人员升职加薪的捷径——怎样成为微软认证系统工程师[J];计算机与网络;2000年18期
11 ;信产部开通电信设备进网/认证系统[J];中国数据通信;2001年11期
12 张红,肖迪;网络化制造认证系统的研究和实现[J];计算机工程与应用;2004年17期
13 金晓辉,戴昆,栗鑫;天津通信财务安全认证系统[J];天津通信技术;2004年03期
14 于承斌;尚年;杨慧慧;崔萌;;基于802.1x协议的认证系统的研究与改进[J];计算机工程;2008年17期
15 马德荣;;增值税发票抵扣联移动认证系统的研究[J];信息安全与技术;2012年05期
16 汤迪斌;李挺屹;;嵌入式终端的认证系统设计方案研究及实现[J];微计算机应用;2007年09期
17 郭全花;底素卫;郭春花;王月亭;;危险品运输领域网络化指纹认证系统[J];微计算机信息;2007年03期
18 梅挺;张仕斌;;认证系统与纠错码的应用研究[J];微计算机信息;2007年36期
19 耶健;李丹;闫晓弟;李娟;魏青山;韩萌;肖小勃;;图书馆无线网络统一认证系统的研究与实现[J];现代图书情报技术;2012年Z1期
20 杨晓元,张泽增,韩益亮,张敏情,何涛;认证系统中的消息数字证书方案[J];计算机工程与应用;2002年10期
中国重要会议论文全文数据库 前10条
1 汪伦伟;廖湘科;王怀民;;认证系统中可信度推理模型研究[A];第十九次全国计算机安全学术交流会论文集[C];2004年
2 李红;卿昱;;结合生物特征与密码的认证系统研究[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
3 刘益成;王文清;;数字图书馆环境中联合认证系统的权限委托方法[A];第二十四届中国数据库学术会议论文集(技术报告篇)[C];2007年
4 刘欢;赵霞;何亚波;俞沁璐;;基于资源优化下FPGA加密认证系统设计与实现[A];2013年中国信息通信研究新进展论文集[C];2014年
5 周云;;网络安全认证系统在战区信息网上的组织应用[A];四川省通信学会2008年学术年会论文集[C];2008年
6 简婧玮;郑康锋;;一种S/KEY认证系统的改进方案[A];2011年全国通信安全学术会议论文集[C];2011年
7 王道华;蔡辰晨;;网络安全认证系统在计算机网络上的应用研究[A];2014第二届中国指挥控制大会论文集(下)[C];2014年
8 卢志刚;刘宝旭;;基于BIOS的UKEY强认证系统的研究[A];第十三届全国核电子学与核探测技术学术年会论文集(下册)[C];2006年
9 黄璐;李学明;;Windows强认证系统的设计与实现[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
10 刘欢;赵霞;何亚波;俞沁璐;;基于资源优化下FPGA加密认证系统设计与实现[A];四川省通信学会2013年学术年会论文集[C];2013年
中国博士学位论文全文数据库 前2条
1 杜庆灵;多信源认证系统与构造[D];中国人民解放军信息工程大学;2002年
2 刘端阳;基于信任基的分布式认证系统及企业安全交互[D];浙江大学;2003年
中国硕士学位论文全文数据库 前10条
1 冯广杰;电信行业统一认证系统研究[D];华南理工大学;2011年
2 牛建涛;支持多认证协议的统一认证系统研究[D];西北大学;2008年
3 杨殷;基于安全断言标记语言的统一认证系统[D];华南理工大学;2011年
4 王红;江西移动综合信息接入认证系统规划[D];北京邮电大学;2010年
5 王化丰;多因素认证系统的设计与实现[D];大连理工大学;2005年
6 王隽;基于802.1x协议的银行安全认证系统的设计与实现[D];上海交通大学;2011年
7 王琼;企业人力资源认证系统的设计与实现[D];上海交通大学;2013年
8 任国军;统一认证系统及技术研究[D];兰州大学;2007年
9 潘启明;辽河油田宽带认证系统的设计与实现[D];电子科技大学;2009年
10 郭璇;企业信息门户中统一认证系统的研究与实现[D];北京邮电大学;2008年
中国重要报纸全文数据库 前10条
1 杨志民;福建出口食品建追溯认证系统[N];中国食品质量报;2010年
2 记者 赖利华 通讯员 万华平;储蓄智能令牌认证系统在江西推广[N];中国邮政报;2003年
3 严辛;数码打假 维权有道[N];人民邮电;2006年
4 本报记者 赵晓涛;安全是平的[N];网络世界;2006年
5 记者 麻彦权 张伟 李艳红;中澳文化教育合作项目国际执业资格(护理)认证系统中国辽源认证中心揭牌[N];辽源日报;2005年
6 本报记者 汤莉;日立安全保障业务升级[N];国际商报;2005年
7 尹一捷;富士通力推手掌静脉认证[N];计算机世界;2008年
8 ;CPK引领中国安全产业自主创新[N];中国计算机报;2010年
9 陈友梅;Macromedia启动“认证系统”[N];中国计算机报;2002年
10 李海容;美国的广告数字认证系统[N];中华新闻报;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978