智能卡操作终端面临的安全攻击及其防御

智能卡操作终端的安全性在智能卡应用系统中处于重要地位。本文首先通过分析指出智能卡终端是系统中最易受攻击的部分，然后建立了一个四维空间用于分析描述终端面临的安全攻击．分别阐述了针对不同层次的攻击和威胁，并提出了防御措施。     

Honeypot及其安全增强技术研究

蜜罐(Honeypot)是一种主动防御的网络安全技术,可以吸引入侵者的攻击,保护工作网络免于攻击,而且能监视和跟踪入侵者的行为并以日志形式记录下来进行分析,从而学习入侵者的工具、策略和方法.文中介绍了蜜罐技术的基本理论,分析了蜜罐系统的工作原理,设计了一种基于主机的蜜罐系统,讨论了其基本结构和工作流程,然后着重分析了系统可能面临的安全威胁与防御对策,并在总体上给出了系统的安全增强方案.     

基于扩展通用图灵机的计算机病毒传染模型

在计算机基础理论模型——图灵机模型的基础上,提出了一种扩展的通用图灵机（EUTM）模型,这种模型突出了计算机病毒的传染特性,极大地简化了计算机病毒传染的形式描述,并根据EUTM模型给出了计算机病毒的形式定义,形式化描述了计算机病毒在单机和多机环境下的传染。最后指出了Fred Cohen关于病毒检测不可判定性定量证明的不足,并利用EUTM模型证明了病毒检测不可判定性定理。     

一种基于刘氏密码体制的多媒体数据加解密软件系统

现代信息社会中，随着科技的进步，尤其是计算机技术和网络技术的飞速发展，人们在社会生活的各个领域对信息安全性的要求和呼声也越来越高。研究了刘氏高强度密码体制算法，并且设计一个基于此密码机制的多媒体数据加解密软件系统。     

扫描预探测技术研究

为提高扫描效率和缩短扫描时间,在扫描之前实行了扫描预探测技术。扫描预探测是通过发送不同的数据包获得目标主机各方面一些简单信息,再根据这些信息来制定扫描策略。扫描预探测包括了主机在线探测、网络路径探测、防火墙探测等多项信息的探测。最后给出了扫描预探测关键技术的实现方法。     

基于Petri网的密码协议分析

在Federico提出的一种密码协议进程语言的基础上，建立了便于进行密码协议分析的简化Petri网模型，给出了协议满足秘密性的充要条件，并以NS公钥协议为例，用Petri网模型，结合归纳方法和串空间分析方法从密钥、新鲜数和协议主体三个方面的秘密性分析了该协议的秘密性，简化了协议秘密性的分析。     

检测多态计算机病毒的数学模型

提出了基于特征码的计算机病毒检测数学模型，分别对于常规病毒、变异病毒、多态病毒提山了检测算法并给出了相应的论证，最后提出了一种综合性的病毒检测模型，该模型对于防范变异和多态的计算机病毒有积极的参考意义。     

一种新型探测器在火灾探测中的应用

提出将串联型模糊神经网络应用于火灾探测系统,并且使用多传感器技术。首先将多传感器测得的多个信号模糊化后送入神经网络进行处理,其模糊系统用指派法定义隶属度函数,神经网络采用3层前馈BP网络结构,用BP算法进行网络参数的训练。其后由模糊逻辑判决火灾或非火灾。     

基于综合特征图样的计算机病毒动态检测算法

阐述了一种基于特征图样的计算机病毒动态检测算法，把病毒的结构、功能、特征码等因素结合起来形成综合特征图样，然后根据这种综合特征图样进行计算机病毒的动态检测；该检测方法可以有效地解决计算机病毒的变异问题，是现代计算机病毒检测理论方面的一个有益尝试。     

入侵检测系统攻击描述语言研究与分析

为了更好的利用攻击描述语言描述网络攻击行为并设计出一种较为完善的语言,对几种比较典型的语言进行了研究,分析了它们各自的设计特点,并通过一个具体的网络攻击实例进行对比分析,从中分析其优缺点,最后总结了完善的描述语言应该具备的特点和功能,讨论了描述语言的发展过程和方向。