格模型的安全性分析

分析了格模型以及格模型的各种实施机制,指出了该模型的二类实施机制在精确性上存在的问题.同时,提出了局部安全性和整体安全性二个不同概念,指出了该模型在整体安全性上的弱点,最后论证了格模型不具有保护信息完整性的能力.     

过滤器的安全模型框架

采用Ｂｅｌｌ－ＬａＰａｄｕｌａ（ＢＬＰ）模型的风格及其表述方法，讨论了信息过滤器一类系统的安全模型框架。提出的过滤器模型框架扩充了ＢＬＰ模型的适用范围。结果表明，ＢＬＰ模型不仅适用于操作系统的建模，而且还适用于其它的一类系统建模。     

基于完整性的文件保护

分析了病毒对文件完整性的破坏，对此提出了使用公钥密码体制进行数字签名来保护文件完整性的方法。对这种保护机制进行了详细的讨论。用这种方法不仅能够抵御病毒对文件的破坏，而且能够抵御其它各种因素对文件的破坏。所给出的方法为遏制计算机病毒提供了一种手段。     

实时系统中的报表自动生成模型

针对实时系统应用软件的特点,详细讨论了一种报表自动生成模型,并将其应用到某电力生产实时信息显示系统中,结果表明,该模型提高了软件的开发效率和系统的实时性,使系统具有较强的灵活性、可扩充性和实用性     

C／S环境下动态维护Oracle用户品令方法探讨

针对在Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ（Ｃ／Ｓ）模式下,客户端应用程序与服务器端数据库的连接方式给数据库安全带来的问题,分析了Ｏｒａｃｌｅ ＤＢＭＳ所提供的安全机制,在Ｐｏｗｅｒｂｕｉｌｄｅｒ与Ｏｒａｃｌｅ连接方式的基础之上,提出了一种动态维护Ｏｒａｃｌｅ数据库用口令的方法。     

一种面向对象系统安全模型

提出了一种面向对象安全模型．这个模型是一种信息流模型，其主要元素是对象．对象之间通过一个特殊对象——消息，进行信息交流．基于面向对象和通信顺序进程（ＣＳＰ）的概念，给出了一个说明和证明系统安全性的方法     

C/S环境下动态维护Oracle用户口令方法探讨

针对在 Client/Server( C/S)模式下 ,客户端应用程序与服务器端数据库的连接方式给数据库安全带来的问题 ,分析了 Oracle DBMS所提供的安全机制 ,在 Powerbuilder与 Oracle连接方式的基础之上 ,提出了一种动态维护 Oracle数据库用户口令的方法     

网络计划技术中网络图绘制的算法研究

研究了网络计划软件中的网络图的绘制和交互调整等问题;分析了使用传统方法绘制网络图存在的不足;给出了新的结点布局、连线和交互调整算法。在输出方面,给出了箭线图的自动生成算法、网络的布局优化与自动绘制算法。所提出的算法,在研制工程施工网络计划软件中得到了实际应用,收到了良好的效益。     

过滤器的安全模型框架

采用Ｂｅｌｌ－ＬａＰａｄｕｌａ模型的风格及其表述方法，讨论了信息过滤器一类系统的安全模型框架。提出的过滤器模型框架扩充了ＢＬＰ模型的适用范围。结果表明，ＢＬＰ模型不仅适用于操作系统的建模，而且还适用于其它的一类系统建模。     

通用项目管理系统模型研究

深入探讨了通用项目管理系统软件结构模型和工作流程,详细分析了项目控制循环中各阶段内容和计算方法．