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

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

论文摘要

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

论文目录

  • 中文提要
  • 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].手掌静脉认证系统引入中国[J]. 安庆科技 2008(02)
    • [2].基于微服务的信息采集认证系统[J]. 中小企业管理与科技(下旬刊) 2019(12)
    • [3].面向多认证系统的在线用户统一管控平台设计与实现[J]. 微型电脑应用 2020(01)
    • [4].广电宽带认证系统建设规划[J]. 山西科技 2016(06)
    • [5].关于价格认证系统适应新常态发展定位的政策思考[J]. 商 2015(19)
    • [6].电站设备评价认证系统数据库的设计研究[J]. 电站系统工程 2020(01)
    • [7].智利:与美国启动电子植物检疫认证系统[J]. 中国果业信息 2020(07)
    • [8].内蒙古广电网络集团宽带认证系统简介[J]. 数字传媒研究 2016(10)
    • [9].“台湾台中市推动校园阅读线上认证系统”探析[J]. 中小学信息技术教育 2016(06)
    • [10].价格认证系统转型发展探讨[J]. 大众投资指南 2018(16)
    • [11].数字图书馆统一认证系统的研究与设计[J]. 江西图书馆学刊 2012(02)
    • [12].基于校园网认证系统的研究与实现[J]. 新疆职业大学学报 2010(03)
    • [13].WLAN认证系统的安全性研究[J]. 电信工程技术与标准化 2013(12)
    • [14].基于云端的认证系统方案研究[J]. 信息通信 2012(04)
    • [15].指纹识别技术在电子商务认证系统中的应用[J]. 中国高新技术企业 2008(19)
    • [16].云电子身份管理与认证系统中的关键技术优化改进[J]. 现代电子技术 2016(24)
    • [17].电台无线网认证系统建设[J]. 科技传播 2017(08)
    • [18].关于价格认证系统转型发展的政策探讨[J]. 中国物价 2013(06)
    • [19].积极稳妥地开展教育认证系统的建设与应用[J]. 中国教育信息化 2009(09)
    • [20].基于微信平台的图书馆无线认证系统的设计及应用[J]. 图书情报导刊 2019(04)
    • [21].盐城有线宽带接入认证系统的改造研究[J]. 中国有线电视 2017(08)
    • [22].基于多种社交凭证的社交认证系统研究[J]. 中国海洋大学学报(自然科学版) 2016(09)
    • [23].多媒体认证系统加密研究[J]. 网友世界 2014(14)
    • [24].增值税发票抵扣联移动认证系统的研究[J]. 信息安全与技术 2012(05)
    • [25].泰州广电宽带计费认证系统的建设及应用[J]. 泰州职业技术学院学报 2011(06)
    • [26].基于校园网的单点登录认证系统研究[J]. 电子世界 2014(16)
    • [27].全球可重复数字化认证系统的应用[J]. 上海汽车 2012(04)
    • [28].基于云计算的智能手机社交认证系统[J]. 通信学报 2012(S1)
    • [29].印尼制订新的木材认证系统[J]. 国际木业 2009(09)
    • [30].图书馆无线网络统一认证系统的研究与实现[J]. 现代图书情报技术 2012(Z1)

    标签:;  ;  ;  

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

    猜你喜欢