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

摘要：

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

关键词：XYZ/E、CA、RA、描述、求精

所属期刊栏目：33

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

资助基金：国家重点实验室基金SYSKF0303;重庆市教委资助项目040803;国家自然科学基金60073020;江苏省高校自然科学基金05KJB520119

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

页数：共4页

页码：267-270