%0 Journal Article
%T 基于XYZ／E的CA认证系统描述与求精
%A 刘俭云
%A 张广泉
%A 戎玫
%J 计算机科学
%D 2006
%I 
%X 时序逻辑语言XYZ／E在统一的逻辑框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型，对CA和RA组件用XYZ／E进行了描述和求精。
%K 描述
%K 求精
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E0AF66E9660E9C3A&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=5D311CA918CA9A03&sid=866F8A6B640835A7&eid=B7BFA4B351E4C682&journal_id=1002-137X&journal_name=计算机科学&referenced_num=3&reference_num=6