论文部分内容阅读
~~
计算机信息系统安全专用产品检测执行标准规范目录
【摘 要】
：
~~
【出 处】
：
信息网络安全
【发表日期】
：
2009年10期
其他文献
时至今日，通威回归饲料主业的意图已经非常明晰。随着国内经济的持续发展，居民收入水平不断提高，肉类和水产品消费量还将有较大的增长空间，对养殖饲料的需求也将进一步增大。从行
以亚洲百合系品种布鲁拉诺与我国原产野生种渥丹百合种间杂交后代群体5个株系和亲本为试材,研究了4℃,-2℃,-8℃,-14℃,-20℃低温胁迫下百合鳞片组织电导率、SOD活性、MDA含
建筑装饰装修工程在建筑工程中占有极其重要的地位,合理完善的建筑装饰装修工程不仅能有效地保护建筑物,还能够改善基本建筑构件的功能.但是,因装饰装修工程需要经过复杂的工
生态环境设计必须要以生态意识为基本,在此基础之上用生态学的方法有效将生态问题环境问题相结合,实现居住环境的可持续发展,所以环境艺术设计教学,应将生态教育放在主位,本
通过对从吉林省公主岭市屠宰场、部队造纸厂下水污泥、机场泡子和大榆树稻田土中分离的4株光合细菌的生物学特性的鉴定,明确了光合细菌在光照条件下分别显现桔红、桔黄、紫和
论文基于系统的API平台提出安全协议的一种CSP开发框架,将形式化方法与高级语言有机结合起来,实现了协议由形式化说明转换为可执行代码处理过程的自动化,有利于快捷准确地将已完成CSP验证的安全协议翻译为可执行代码,避免了在将CSP描述转换为可执行代码预处理过程中引入安全隐患的可能性。
随着社会经济的发展以及科学技术的进步,多媒体技术被广泛应用在高等教育的教学活动中,促进了教育信息化的快速发展.就目前而言,多媒体计算机辅助教学作为现代教育中的重要教
模型驱动架构（MDA）是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.本文从MOF元模型的角度首先对OCL进行动态特