XYZ/E在CA认证系统的一个初步应用

• 作者: 刘俭云 张广泉 戎玫
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: XYZ/E CA 软件体系结构 组件 连接件
• 年，卷（期）: 2005,（26）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 133-135
• 页数: 3页
• 分类号: TP31
• 字数: 2098字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.26.039

摘要

时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡.该文建立了CA认证系统组件模型,采用基于组件的逐步求精方法,用XYZ/E描述了CA认证系统的体系结构.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
3	戎玫	暨南大学深圳旅游学院计算机中心	48	418	12.0	18.0
4	刘俭云	苏州大学计算机科学与技术学院	21	31	3.0	5.0