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

摘要：

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

关键词：XYZ/E、CA、软件体系结构、组件、连接件

所属期刊栏目：41

分类号：TP31(计算技术、计算机技术)

资助基金：国家自然科学基金60073020;国家重点实验室基金SYSKF0303;重庆市教委资助项目040803

在线出版日期：2005-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：133-135