节点文献

基于XYZ/E的CA认证系统描述与求精

The Description and Refinement of CA Attestation System Based on XYZ/E

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 刘俭云； 张广泉； 戎玫；

【Author】 LIU Jian-Yun~ 1,2 ZHANG Guang-Quan~ 2,4 RONG Mei~3 (Wuxi Vocational Institute of Commercial Technology, Information Engineering Department, Wuxi 21TP63)~1 (School of Computer Science and Technology, Soochow University, Suzhou 215006)~2 (Shenzhen Tourism College,Jinan University, Shenzhen 518053)~3 (School of Mathematics and Computer Science, Chongqing Normal University, Chongqing TP0047)~4

【机构】 无锡商业职业技术学院信息工程系； 苏州大学计算机科学与技术学院； 暨南大学深圳旅游学院计算机中心 无锡21TP63； 苏州215006； 重庆师范大学数学与计算机科学学院； 重庆TP0047； 深圳518053；

【摘要】 时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型,对CA和RA组件用XYZ/E进行了描述和求精。

【Abstract】 The temporal logic language (TLL) XYZ/E can represent both dynamic semantics and static semantic under a unified logical framework and carry out the smooth transition from the abstract specification to execuable program. This paper builds up the Certification Authority attestation system component refinement model and describes and refine the CA and the RA component using XYZ/E.

【关键词】 XYZ/E； CA； RA； 描述； 求精；
【Key words】 XYZ/E； Certification authority； Registry authority； Describe； Refinement；
【基金】 中国科学院计算机科学国家重点实验室开放课题(SYSKF0303);重庆市教委科学技术研究项目(0TP803);国家自然科学基金(60073020);江苏省高校自然科学研究项目(05KJB520119)
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2006年08期
  • 【分类号】TP393.08
  • 【被引频次】5
  • 【下载频次】50
打印本页
节点文献中：