RBAC模型的形式化研究

论文下载 176.RBAC模型的形式化研究      The Research of Formal RBAC Model   作为一种以数学逻辑为基础的方法，形式化方法以其严密性越来越受到众多领域的重视，尤其是在安全性和可靠性作为关键问题的系统，如协议安全性分析、操作系统安全模型、软件开发等方面得到了较为广泛的应用。在操作 177.多播安全中密钥管理问题的研究      Research on Issues of Key Management in Multicast Security   随着互联网的发展和宽带网络的普及,多播通信由于其高效、快捷的数据传输技术而得到越来越广泛的应用。多播是一种群体间进行通信的方式,介于单播和广播之间。相对于单播和广播来说,多播具有节省带宽、减轻网络负 178.Linux补丁管理系统的研究与实现      Design and Implementation of Patch Management System   补丁分发管理系统的设计与开发是网络安全与应急响应体系建立中的关键研究内容之一,也是及时地修补计算机的漏洞是实现网络安全的重要手段之一。因此,补丁软件的分发管理在系统安全中是重要的一环。 本文对Lin 179.广义互缩序列的研究   高军涛   Study of Generalized Shrinking Sequence   伪随机序列在实际应用中有广泛的用途，因此序列生成器的研究一直是非常重要的一个课题。本文基于互缩序列提出了一种新的设计—广义互缩序列，并研究了该序列的伪随机性质。研究表明广义互缩序列具有比较好的伪随机 180.英汉机器翻译系统关键技术研究      Research on Key Technologies of English-Chinese Machine Translation System   机器翻译是自然语言处理的一个重要研究领域，在当今信息社会及军事部门有着广泛的应用前景。本文以英汉机器翻译系统为目标，对翻译机制、源语言分析、实例模式匹配、结构转换与目标生成等几个方面的关键技术和方法 181.计算机通信网安全协议形式化分析研究   刘秀英   Research on Formal Analysis of Security Protocol of Computer Communication Network   密码协议安全性分析对于保障计算机网络的安全通信具有重要意义。本文主要研究运用形式化技术分析密码协议的理论与技术。研究成果如下： 系统地介绍了密码协议的一些基本概念和密码协议安全性分析的重要意义 182.密码算法测试平台—算法实现技术研究      The Testing Platform of Cryptographic Algorithm-Research of the Implementation of the Algorithm   目前随着密码算法和密码设备的广泛使用,密码算法的更新速度日益加快,对密码算法的测试工作提出了新的要求——急需一套完善的、功能比较齐全的密码算法测试平台。 该密码算法测试平台可以对密码算法实现的正确性 183.CNGI移动终端MAC层协议设计与实现      Design and Implementation of MAC Layer Protocol of Mobile Terminal in CNGI   随着CNGI(中国下一代互联网)骨干网建设全面完成,围绕CNGI无线局域网的技术研究和产品开发逐步成为热点。论文在IEEE802.11g标准的基础上,依据CNGI示范工程有关技术参考要求,提出CNG 184.基于智能卡的认证与隐私保护协议研究      Research of Smartcard Authentication and Privacy Protection Protocols   智能卡是一种含有存储介质和集成电路的微型电子设备。由于其成本低，携带方便，且能够通过密码运算提高安全性，已被广泛应用于通讯、银行、交通、门禁等领域。根据欧洲智能卡供应商联盟Eurosmart估算，2 185.伪随机序列特性分析及其通用分析软件包实现   马新友   Application of Knowledge-based Artificial Neural Network to Electromagnetic Engineering   具有优良伪随机特性和较大线性复杂度的伪随机序列广泛应用于CDMA扩频通信和密码学中。本文主要致力于伪随机序列的随机特性和安全特性分析及其通用分析软件包的设计和实现。 本文讨论了序列的周期相关函 186.SXD/Linux通信编码仿真平台的设计与实现   杨少鹏   The Design and Implementation of SXD/Linux Simulation Platform for Communication Coding   Linux操作系统凭借自身独特的优势,在近几年得到了空前的发展,尤其是在通信领域,越来越多的专业人士使用Linux系统作为底层工作站进行各种通信分析与仿真任务。另一方面,由于通信编码的重要性,在通信 187.网络安全协议形式化分析技术研究      Research on Model Checking of Security Protocol of Network   安全协议的安全性是网络安全的重要基础,运用形式化方法分析安全协议已成为目前研究的主要热点。本文主要研究运用形式化方法分析安全协议的理论与技术,对基于模型检测技术的运行模式分析法进行深入的研究,并把其 188.网络入侵检测系统检测方法的分析、比较与改进   程文   The Analysis, Compare and Improvement of Detection Method of Network Intrusion Detection System   随着计算机及网络的飞速发展，当越来越多的公司及个人成为Internet用户后，计算机网络安全作为一个无法回避的问题呈现在人们面前。用户传统上采用防火墙作为安全第一道防线，而随着攻击者知识的日趋成熟， 189.泛广义自缩减生成器的设计与分析      Design and Analysis of Extensive Generalized Self-shrinking Generator   利用不规则钟控方法设计密钥流生成器是目前流行的设计趋势之一。本文在分析自缩减生成器和广义自缩减生成器优点的基础上,结合一些攻击的具体思想首次给出了一种泛广义自缩减生成器的模型。然后综合利用概率论、随 190.中国现实地缘战略研究      A Study of the Realistic Geo-strategy of China   中国地缘战略的制定向来是一个重大的现实国际问题。中国希望自己在本世纪崛起为世界强国。然而，冷战后，中国所面临的国际环境比以往更为复杂。中国能否真正崛起为世界强国，取决于中国能否制定和实施正确的地缘战 191.协议安全性理论若干问题研究      Research on Some Problems of the Theory of Security Protocols   安全协议的模块化设计一直以来是协议设计领域的一个重要研究方向，Canetti提出的任意组合安全理论为协议模块化设计提供了一个可行的途径。然而目前任意组合安全理论中还存在一些没有解决的问题。例如，很多 192.无线Ad hoc网络中的Landmark路由协议研究      Research on Landmark Routing Protocol in Ad hoc Wireless Network   Ad hoc网络的发展为新一代军事通信系统的发展注入了新的生命力。由于它不需要固定基础设施支持,能够快速、简单组网,而且能够自组织、自修复,所以在军事领域有了广泛的应用前景。 在分析军事通信特点的基 193.连续语音识别的稳健性技术研究      Research on Robust Algorithms in Continuous Speech Recognition   说话人差异，信道失真和背景噪声导致训练环境和测试环境不匹配，严重影响了非特定人连续语音识别系统的性能。为提高中文连续语音识别系统的稳健性和自适应能力，本文从信号空间、特征空间和模型空间三个方面对说话 194.对几类钟控停走生成器的相关性分析      Correlation Analysis on Several Stop-and-Go Clocked Keystream Generators   不规则钟控是一项消除线性移位寄存器中固有的线性特性、以得到具有长周期和高线性复杂度的序列的重要技术。其中,停走式钟控在高速应用场合更受关注。相关性分析和相关攻击作为对采用了这些钟控方式的生成器的最为 195.USB加密卡的硬件架构研究与设计      Research and Design of Hardware Structure for USB Cipher Card   加密卡是基于计算机总线接口的、提供密码服务功能的硬件模块。加密卡可以为个人计算机系统、网络安全设备提供密码服务，以实现数据的安全存储和网络信息的保密通信。 随着USB技术的飞速发展，尤其是在U 196.基于概率模型的特征补偿算法在语音识别中的应用      The Application of Feature Compensation Method Based on Probability Model in Speech Recognition   随着语音识别技术日益成熟，语音识别系统开始步入实用，但是在实际应用中，由于噪声和信道的影响导致了训练和测试环境的不匹配，使系统的识别性能显著下降。为克服这些不利因素的影响，本文在特征参数提取、特征补 197.有限域上线性分组码的构造      Research on the Construction of Linear Block Codes over Finite Fields   本文利用有限域中的正规元和循环排列，给出了一类有限域上具有优的参数的线性分组码的构造方法；在处理适用于二维信号的线性分组码时，在类数为1的有理数域二次扩域的代数整数环上，利用范数为p或p~2的不可约 198.函数域上Witt扩张的Zeta函数计算   姚春宇   Isozyme"s Comparison, Purification and Natrai Study of Peroxidases from the Endangered Species Cyathcaceae   本篇文章主要研究了函数域上一类特殊的Witt扩张的Zeta函数计算问题。其中的Witt扩张塔定义为：设F_p为p个元素的有限域，p为一固定素数，x为F_p上的超越元，X=(x，0，…，0)是Witt 199.移动Ad Hoc网络信任模型研究      The Research of Mobile Ad Hoc Networks Trust Model   移动Ad Hoc网络是由一组带有无线收发装置的移动终端组成的多跳临时性自治系统。它具有无中心、自组织等许多不同于传统无线网络的特点，这使其在军事及民用领域中的应用前景非常广阔；但同时也使其比传统网络 200.面向安全网关的Linux实时性改进及数据加密模块的设计与实现      Design and Realization of Linux Real-time Improvement and Data Encryption Module for Security Gateway   在研究安全网关技术的基础上,本文实现了一种基于X86平台的安全网关。该安全网关对Linux操作系统进行了实时性改进,并在Linux内核中集成了数据包加密及认证模块。 本文针对安全网关的实时性需求,阐