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

发布时间：2023-02-03 12:53

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

【文章页数】：70 页

【学位级别】：硕士

【文章目录】：
中文提要
Abstract
第一章 绪论
    1.1 CA认证系统概述
    1.2 国内外研究现状
    1.3 本文研究意义
    1.4 论文组织结构
第二章 基于XYZ／E的软件体系结构描述
    2.1 时序逻辑语言XYZ／E简介
    2.2 软件体系结构描述方法概述
    2.3 基于XYZ／E的软件体系结构描述
        2.3.1 组件描述
        2.3.2 连接件描述
        2.3.3 体系结构风格描述
    2.4 本章小结
第三章 基于XYZ／E的CA认证系统体系结构描述
    3.1 CA认证系统设计思路
    3.2 CA认证系统建设目标
    3.3 基于XYZ／E的CA认证系统体系结构描述
    3.4 本章小结
第四章 基于XYZ／E的CA认证系统体系结构求精
    4.1 软件体系结构求精方法概述
    4.2 基于XYZ／E的CA认证系统体系结构求精
        4.2.1 第一层求精
        4.2.2 逐步求精到第二层
        4.2.3 逐步求精到第三层
        4.2.4 逐步求精到第四层
    4.3 本章小结
第五章 结束语
    5.1 本文工作总结
    5.2 相关工作比较和分析
    5.3 下一步工作
参考文献
攻读硕士学位期间参加的科研项目和发表(录用)的论文
致谢


【参考文献】：
期刊论文
[1]高校校园网PKI的设计[J]. 沈士根,殷联甫,汪承焱.  计算机应用. 2004(07)
[2]公开密钥基础设施PKI及其体系结构的研究[J]. 徐庆征.  数据通信. 2004(03)
[3]数字认证服务在校园网上的应用[J]. 胡喜玲.  微计算机应用. 2004(03)
[4]一种安全的可恢复密钥管理机制[J]. 齐竞艳,丁剑,崔伟,黄皓.  计算机应用. 2004(03)
[5]使用时序逻辑检测软件需求阶段的特征干扰[J]. 费丽娟,胡金柱,李敏.  计算机应用. 2004(03)
[6]管道-过滤器模式的软件体系结构及其设计[J]. 李小龙,毛文林.  计算机工程与应用. 2003(35)
[7]基于时序逻辑语言描述的监控系统的软件体系结构求精[J]. 张广泉 ,戎玫 ,晏荣杰.  计算机工程与应用. 2003(31)
[8]认证中心FSCA的设计与实现[J]. 张巍,李涛,徐春林,伍良富,任静,鲜婷,宋渊.  计算机工程. 2003(12)
[9]基于时序逻辑的软件体系结构描述语言XYZ/ADL[J]. 朱雪阳,唐稚松.  软件学报. 2003(04)
[10]XYZ/E面向对象程序语义概述[J]. 郭亮,唐稚松.  软件学报. 2003(03)

硕士论文
[1]CA认证在中南财经政法大学网上办公系统中的应用[D]. 宋艳红.华中师范大学 2002
[2]基于PKI的CA认证中心的组成研究[D]. 董杰.成都理工大学 2002
[3]基于组件的逐步求精程序设计方法[D]. 郑建丹.中国科学院软件研究所 2001
[4]基于XYZ/E的软件体系结构描述及求精实例研究[D]. 舒明.中国科学院软件研究所 2001



本文编号：3734561