通用安全协议分析语言CPAL的研究

本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析，指出这种语言控制流的缺陷，在语法和语义方面给出CPAL语言的完善方案，并从信息安全中的协议的广泛性方面说明其必要性。     

RFID生猪管理解决方案

提出了一种牲畜管理的自动化解决方案,它将现代化养殖技术和先进的科学技术手段结合在一起,为生猪的养殖和管理提供了新的管理方法,以提高生产效率.     

Spring Acegi的安全应用与扩展

Spring框架作为一个优秀的多层J2EE系统框架,本身没有提供对系统的安全性支持。Acegi是基于Spring基于IoC（Inversion of Control）和AOP（Aspect Oriented Programming）机制实现的一个安全框架。主要说明了如何在Spring Acegi框架下对资源进行认证和授权,进一步通过对Acegi的扩展,实现了直接从数据库读取权限,增强控制资源的灵活性。     

一种基于有色Petri网的安全协议分析方法研究

利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。     

一种信息安全系统中序列随机性检验方法

把Fourier分析理论用于信息安全系统中序列随机性的检验中，提出了，一种新的随机性枪验方法，该方法可以用随机序列发生器产生序列的随机性检测，也可以用十检验密码算法的安全性。     

Fourier分析在信息安全随机序列发生器中的应用

目前信息安全技术常用的随机序列发生器存在的主要问题是输出速度低、质量差。文章提出把Fourier分析理论用于随机序列发生器研制中，改变原来的输入，设计一种新的高速随机序列发生器，以满足快速发展的信息安全系统的要求。     

谈C＋＋编程常遇到的问题

C＋＋语言是目前应用最广泛的程序设计语言，它所提供的各种特点有助于写出简单明了、有效且易于维护的程序。但C＋＋语言的编译环境有一些不完善的地方，常常出现一些意想不到的错误，给编程者带来很大不便。本文谈谈笔者在C＋十下编程时经常遇到的关于整数乘、除法运算和数组越界方面遇到的错误及解决办法。一、C＋十语言不能自动进行长整数转换笔者在用C＋十编程时，用整数作乘、除法运算时，运算结果经常出现一些随机数，和实际运算结果相差很远，后来发现：两个整数相乘时，若乘积为长整数，编译程序不能自动转换为长整数，需在乘积…     

信息安全系统中一种高速随机序列发生器的设计与实现

对原来的真随机序列发生器进行研究和分析，指出存在的主要问题是：序列的输出速度较慢，把小波分析理论用于真随机序列发生器，改变原来的输出方式，设计一种新的高速随机序列发生器，以满足快速发展的信息安全系统的要求．     

小波分析在信息安全之真随机数发生器中的应用

1.引言密码技术对随机数的要求较高,它要求的真正的随机数序列应具有如下三个特点: (1)看起来是随机的:能通过频数检验、跟随特性检验、游程检验、扑克检验等基本的统计特性检验。 (2)不可预测:即使给出产生序列的硬件和所有以前产生的序列的全部知识,也不可能预测下一个随机位是什么。 (3)不能重复产生:在完全相同的条件下,将得到两个不相关的随机序列。真随机数在密码技术中是非常重要的,比如密钥管理、众多的密码学协议、数字签名和身份认证等都要用到真随机数。     

用PC机ISA总线实现0、1随机序列的读取

利用PC机ISA总线设计接口卡实现外部非同步0、1随机序列的读取,其适应多种速率的0、1序列的要求。此外,采用查询方式或者中断方式,利用标志位和校验位可实现可靠读入。