对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

3GPP系统全系列信息安全及其算法设计与应用

介绍了GSM／GPRS与3GPP系统安全体制的安全功能及其算法；研究了GSM／GPRS中A3／A8、AS／GEA算法的实现技术；给出了3GPP中AKA协议和空中接口安全算法的设计要求及其多种设计方案；并结合我国《商用密码管理条例》的要求，探讨了3GPP中保密性与完整性算法的国内应用的特殊化和国际标准化的问题。     

基于OEM的网站用户访问历史模型

基于适合半结构Web数据分析的OEM模型 ,对用户和网站交互进行了形式化定义 ,在此基础上提出基于OEM模型的网站用户访问历史模型 ,同时给出分析用户访问行为的指标定义 ,为进一步分析用户访问行为模式、优化网站结构以及展开个性化服务提供较强的支持     

网络环境下图书馆的用户教育与参考咨询服务

论述了网络环境下图书馆用户教育的内涵、目标、意义及途径，并阐述了电子信息资源是现代化图书馆参考咨询服务利用的主要文献形式。     

住区商业设施设计理念的更新

从商业设施使用者需求的发展和设计观念的更新入手，着重分析商业购销活动中消费者和经营者的心理需求、行为模式，提出商业设施的设计不能脱离消费行为和经营方式的变化，从购买空间与使用者需求的内在关系出发，才能创造出适应时代要求的商业设施。     

基于角色的访问控制管理模型的分析与比较

RBAC(Role-Based Access Control)是实现访问控制的最有效的技术，它易于管理、方便灵活，越来越引起人们的重视．文章介绍了基于角色的访问控制RBAC策略．对两种管理模型ARBAC97和ARBAC02模型分别进行了重点描述．通过对两者的比较，分析了ARBAC97模型存在的不足之处以及ARBAC02模型所作的相应的改进．然后在ARBAC02模型的基础上给出了一个设计实例，并简要叙述了以后的研究方向．     

CUIT∶ 一个通用界面工具箱的设计

用面向对象的方法，为满足不同窗口环境下界面的通用性，设计了一个通用界面工具箱ＣＵＩＴ     

Novell Netware网中创建用户菜单技术

介绍利用Ｎｅｔｗａｒｅ提供的ＭＥＮＵ实用程序来创建用户自己的菜单的方法，并举例加以说明。     

屏幕显示法律保护的几个方面*

本文叙述了屏幕显示的法律保护问题，并提出用软件保护条例保护屏幕显示的方法。     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。