论文部分内容阅读
通过引入加密算法强度函数的概念,利用BLP模型的不读上,不写下思想,对加密解密过程进行了形式化描述,并给出了一个使得信息系统总是安全的加密条件,即加密解密是安全的新描述。
加密解密过程的一种新的安全描述
【摘 要】
：
通过引入加密算法强度函数的概念,利用BLP模型的不读上,不写下思想,对加密解密过程进行了形式化描述,并给出了一个使得信息系统总是安全的加密条件,即加密解密是安全的新描述。
【机 构】
：
四川大学信息安全研究所
【出 处】
：
计算机应用
【发表日期】
：
2004年11期
【基金项目】
：
国家重点基础研究发展计划(973计划)，四川省教育厅资助项目
其他文献
提高信贷资产质量的途径黄柱文目前，农业银行向商业银行转轨的最大难题是银行资产负债结构失衡，资产质量低下。其原因：一是信贷管理规章制度不完善，信贷资产风险防范措施不力。二
针对集中式数据管理的网络带宽和运行效率问题,提出了基于同步引擎的分布式文件缓存系统。考虑到分布式部署以及有效同步数据中心和众多分支机构之间频繁更新的文件等因素,系统将文件同步功能拆分到同步引擎、文件传输服务和同步控制台三个关键组件上。两年的实际运行表明,系统能够实现提供可靠和有效的文件同步服务。
随着时代的发展，数字科技在建筑领域的应用更加广泛，数字化建构研究与发展使传统建构方式发生巨大的改变。通过对建筑表皮数字化的分析，探讨建构与设计过程的关系（设计过程主要包
文章对数字电视多媒体消息系统的结构设计进行分析,该系统包括移动通信网络MMS系统、固定通信网络与互联网等,其体系架构由多个功能模块与相互间的接口构成.同时,重点探究了
系统由STC89C51RC单片机、驱动电路、数码管显示电路、红绿灯电路构成,采用通过按键触发产生脉冲信号向STC89C51RC单片机传达相应指令,单片机执行相应的信号灯控制模式,以此
抵押担保贷款手续存在的问题及对策谭鸿星一、有在问题近几年，抵押担保贷款作为预防贷款风险的有效方法已被广泛推广使用，逐步取代了信用放款，这对提高信贷资产质量起到了积极的
复杂环境下,要做到对物体进行准确识别,要求计算机视觉系统具有智能化。文中将D S证据推理与不变矩理论相结合,提出了智能图像识别算法,并应用于飞机图像的识别。首先构造了基本置信指派函数,建立了分类规则,然后针对Dempster组合规则只适用于高置信度、低冲突性的情况,应用可解决证据冲突的加权分配冲突法及吸收法,完成了计算机飞机图像识别的仿真,比较了三种组合规则的识别效果,结果表明吸收法识别率最高。
文中探讨了运用专家系统工具CLIPS开发工程制图专家系统的一种新方法.利用ObjectARX开发应用程序及专家知识库,并通过调用CLIPS动态链接库,实现了整个系统的智能化.
通过对目前面向问题求解的决策支持系统中数据访问机制的研究 ,设计了一种数据访问语言 (DAL)及其解释模型 ,从而通过在数据需求和数据存储之间添加数据语义层 ,提供了统一的数据访问接口 ,提高了决策问题求解的有效性和EUD模式的可行性。