网络安全认证协议形式化分析

形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。安全协议的形式化分析正成为国际上的研究热点。用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力。我们运用一种基于算法知识概念的逻辑分析安全协议,入侵者假定使用算法来计算其知识,入侵者的能力也通过对其所使用的算法作适当的限制来获得。运用模型检测器SPIN对TMN协议进行分析,实验结果证明了此方法的有效性,可方便地用于其他网络安全协议验证。     

MS Windows程序设计环境

本文从窗口系统的发展过程，窗口系统的定义，组成特征及其分类入手，着重分析了ＭＳ Ｗｉｎｄｏｗｓ窗口系统应用程序基本概念，详细说明了Ｗｉｎｄｏｗｓ窗口系统应用程序的组成，以及与ＭＳ ＤＯＳ应用程序之间的差别，同时，比较全面地介绍了几种Ｗｉｎｄｏｗｓ窗口系统程序设计环境和程序设计工具，对利用窗口系统进行开发应用起到了一定的促进作用。     

图形用户接口中图标（Icon）的设计

功能强、具有吸引力的图形用户接口成功因素之一在于使用了图标，屏幕设计过程中图标的使用已经成为用户接口范围内最热门的话题之一。本文在目前流行的窗口管理程序用户接口的表现属性基础上，分析了一般图形用户接口中图标的特征和特点。并且结合Ｘ环境下程序设计的特点，给出了图标设计的四项原则和具体的实现步骤。     

图形用户接口中图标（ICON）的设计

功能强、具有吸引力的图形用户接口成功因素之一在于使用了图标,屏幕设计过程中图标的使用已经成为用户接口范围内最热门的话题之一。本文在目前流行的窗口管理程序用户接口的表现属性基础上,分析了一般图形用户接口中图标的特征和特点。并且结合X环境下程序设计的特点,给出了图标设计的四项原则和具体的实现步骤。     

MS Windows窗口环境下字库动态管理

ＭＳＷｉｎｄｏｗｓ窗口系统是九十年代操作系统发展的主要方向之一，它具有丰富的系统功能，操作灵活方便的用户界面，可配置多种格式的系统字库，使得其对于计算机用户和应用设计人员具有很大的吸引力。本文详细介绍了ＭＳＷｉｎｄｏｗｓ环境下字库动态管理的特点及其关键技术，为在窗口环境下提高字符的处理质量和处理效率具有很好的借鉴作用。     

MS Windows程序设计环境（续一）

ＭＳ　Ｗｉｎｄｏｗｓ程序设计环境（续一）葛伟华，马小薏（江西省军区司令部作训处，南昌，３３０００６）（江西省军区指挥自动化工作站，南昌，３３００１３）（上接９５年第２期）２．２Ｗｉｎｄｏｗｓ应用程序的组成Ｗｉｎｄｏｗｓ的应用程序主要是由以下几大部分组...     

人─计算机界面（HCI）设计的管理方法

在当今计算机应用系统中，用户界面的重要性不断地提高，引起了广大设计者和用户的重视。本文从设计原则入手，通过实例详细分析了用户界面设计的各个阶段，并且给出了界面设计的两种方法，对于设计的管理工作起到了一定的促进作用。