转型时期高校图书馆数据监管服务研究

图书馆要建立数据监管的组织机构,协同学校、科研管理部门,共同制定数据监管政策,数据长期保存规划等。文章探讨了数据监管原则,数据的遴选标准以及如何开展嵌入式数据监管服务的问题。     

一个基于模态逻辑的安全协议度量方法

为将量化分析方法引入安全协议分析中,以模态逻辑方法为基础定义了协议度量方法,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法,同时在此基础上,进一步地给出了对安全协议冗余进行度量及化简的方法。应用该方法对实例协议进行分析,直接描述各协议内容的贡献度,显示冗余内容对目标实现的无效作用,从而可以安全化简。量化分析在安全协议形式化分析中的应用是本方法的主要特点,它具有模态逻辑方法的优点及缺陷。     

用设计模式表示面向对象软件体系的结构

针对当前软件体系结构描述语言和工具普遍存在的通用性较差，对软件系统运行时的动态特性描述能力不足的缺陷，提出使用设计模式来表示软件系统的体系结构，并提出了体系结构模式和风格概念，通过实际例子验证了设计模式表示体系结构的可行性。讨论了使用设计模式表示体系结构的一些原则。