论文部分内容阅读
本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析,指出这种语言控制流的缺陷,在语法和语义方面给出CPAL语言的完善方案,并从信息安全中的协议的广泛性方面说明其必要性.
通用安全协议分析语言CPAL的研究
【摘 要】
：
本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析,指出这种语言控制流的缺陷,在语法和语义方面给出CPAL语言的完善方案,并从信息安全中的协议的广泛性方
【机 构】
：
中国科学院研究生院
【出 处】
：
微电子学与计算机
【发表日期】
：
2005年11期
其他文献
这是一家拥有32年历史的设计科研企业,这是一家拥有高知群体的人才型企业,30余年培养了350余位获得中高级职称的员工,比例超过88%;市“131”人才工程第一层次和第三层次培养
在现有产品的基础上提出了在高速实时数据采集系统中采用'数字信号处理芯片+嵌入式中央处理器'的设计思路,即将高速实时数据采集系统分成基于三星公司的S3C2410精简
Visual C++一直被认为是目前最好的软件开发工具之一,其在界面开发、执行速度、代码的移植性方面都有很强的优势.但Visual C++在数据处理方面较MATLAB弱,MATLAB有强大的科学
建城[2017]251号各省、自治区住房城乡建设厅,北京市园林绿化局,天津市市容和园林管理委员会,上海市绿化和市容管理局,重庆市城市管理委员会,海南省规划委员会,新疆生产建设
文章介绍了基于Qt/Embedded应用程序的集成桌面在一个嵌入式设备中的设计与实现,给出了整个系统的构架,突出了X Server层的实现关键,描述了应用程序的窗口管理,以及应用程序