论文部分内容阅读
提出了以安全管理中心和密码中心为基础、以用户真实身份认证为核心、以访问权限检验为手段的应用环境隔离安全体系结构。在给出三个系统安全公理的基础上 ,形式地给出应用环境隔离安全系统中访问权限检验的基本安全规则
基于应用协议的应用环境隔离安全系统
【摘 要】
：
提出了以安全管理中心和密码中心为基础、以用户真实身份认证为核心、以访问权限检验为手段的应用环境隔离安全体系结构。在给出三个系统安全公理的基础上 ,形式地给出应用环境隔离安全系统中访问权限检验的基本安全规则
【机 构】
：
海军工程大学,北京交通大学
【出 处】
：
计算机应用
【发表日期】
：
2004年08期
【基金项目】
：
国家重点基础研究发展计划(973计划)，国家高技术研究发展计划(863计划)
其他文献
中国印刷及设备器材工业协会主办的中国（广东）国际印刷技术展览会（PRINTCHlNA）与北京国际印刷技术展览会（CHINA PRINT）南北呼应，相得益彰，已成为全球印刷界瞩目的展览盛事。
文中提出了面向无线视频应用的低带宽视频压缩方案及算法,该方案主要采用了整数小波变换的压缩算法,块匹配运动估计,重叠块运动补偿,小波系数标量量化,自适应算术编码,变长编码。为实现低比特率下的高效率视频压缩,首先建立由量化后的小波系数构成的小波子带,对小波子带结构中的冗余进行压缩。
ERP系统已成为企业信息化工作的平台，但企业ERP的实施周期较长，短则1年，长则3-5年，培训的工作量大，需要解决的问题多。本文探讨了建立用户自适应性学习、培训、释疑的ERP软件系统
主要讨论了基于面向对象Petri网的Web服务合成技术。利用此技术,不仅可以精确描述Web服务与合成运算的形式化语义,还可以建立合成Web服务的控制流模型。研究了Web服务组件与OOPN(面向对象Petri网)元素之间的映射关系,讨论了基于OOPN的Web服务合成的各种运算,并给出了建模步骤。最后结合应用实例进一步验证了本文的工作。