论文部分内容阅读
文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。
安全协议的形式化说明、设计及验证
【摘 要】
：
文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。
【机 构】
：
中国人民解放军信息工程大学电子技术学院
【出 处】
：
计算机应用
【发表日期】
：
2003年10期
其他文献
文中分析了一般入侵检测系统在可配置性、可伸缩性和效率等方面的弱点,描述了自主代理技术在入侵检测的数据采集和数据分析方面的优势,介绍了一种基于自主代理的入侵检测方法及其实现部件,并提出了其存在的不足和几点改进意见
介绍了在网络上基于X3D规范新特点和应用,分析了构建在线虚拟室内漫游系统的关键技术,提出基于X3D技术的虚拟室内漫游场景建模和应用。利用X3D技术设计了在线虚拟室内主场景,通过结合ASP技术实现了一个在Internet上表现的,能和用户交互的,可由用户设计的,可扩展的平台,让用户能够按照自己的意愿漫游的虚拟室内漫游系统。
提出一种新的方法,通过动态配置对基于组件的分布式软件的容错提供支持。此方法采用面向图的GOP编程模型,将整个分布式软件的体系结构用一张逻辑图来描述,系统的动态配置可以通过执行图上预定义的一组操作来完成。检测到故障或异常的时候实施这种动态配置能够支持系统的容错。文中描述了此方法的基本模型、系统结构和基于CORBA的原型实现。
给出了基于Web服务集成信息系统的运作模式,分析了Web服务的授权、认证以及通信安全。局域网是相对安全的环境,非同一台服务器上的Web服务调用需要中等的通信安全,因此用对称加密思路详细构建了局域网内基于Web服务的信息系统安全机制,并以编程试验验证。
通过对Pal-K ing边缘检测算法的分析,提出了一种新的模糊边缘检测快速算法。首先对图像进行模糊增强,然后依据当前像素及其8-邻域像素的灰度,设计了一个分类器,通过计算相对于该分类器的模糊隶属度函数值,对像素进行边缘分类;最后锐化所得的边缘像素,剔除噪声。算法抛弃了Pal-K ing方法中复杂的迭代运算,同时也克服了Pal-K ing算法中对图像低灰度值边缘信息的丢失,还可以通过设置不同的参数来
提出了一种加权模糊推理网络的结构模型和学习算法,该网络的基本信息处理单元为模糊推理神经元,融合了模糊逻辑能够较完整的表达领域规则和先验知识以及神经网络自适应环境的优点。根据模糊推理规则的量化表示形式和微分方程数值解的动力学思想推导出网络一种新的学习算法。该算法具有稳定,收敛速度快,且能较好避免网络学习陷入局部极值点。以油田生产复杂水淹层识别问题为例,验证了模型和算法的有效性。