基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

公安院校《有机物检验技术》课程研发探究

目前公安院校刑事技术相关课程体系还存在诸多问题,课程科目重合、基础知识单薄、教学内容滞后,远远不能满足一线公安的实战要求.根据教学实践,针对公安院校刑事技术专业学生,进行了《有机物检验技术》课程的研发,精选教学内容,保持其系统性、实战性和前沿性.有效地增强警校学生的基础知识,培养其动手能力,提升其办案水平,保证了教学质量和学科的健康发展.     

FortiGate防火墙在图书馆网络安全中的应用

论述了图书馆使用防火墙的必要性，介绍了防火墙的发展过程，指出了传统防火墙的局限性，描述了FortiGate防火墙的性能及其工作模式。     

基于教育城域网信息管理系统的设计与实现

给出了一种基于教育城域网环境下信息管理系统的设计和实现方法,同时给出了一种基于角色安全访问的控制策略.     

基于ASP+SQL的远程MIS系统安全特性分析与研究

为构建基于ASP+SQL体系结构的铁路电务管理信息系统,结合网络安全模型和基于角色的访问控制(RBAC)模型分别设计了实际的网络系统和应用系统,并对其安全特性进行了分析.     

改善20CrMnTiH淬透性的研究

莱钢特钢厂20CrMnTiH钢材成分波动较大,淬透性带HRC8～10,范围较大,制约了齿轮钢质量的进一步提高.通过研究,发现铸坯中心偏析尤其是碳偏析为主要问题.通过工艺优化采取各项措施,尤其增加电磁搅拌后,中心碳偏析得到明显改善;C控制在0.19%～0.20%的炉次达到了95.6%;淬透性带控制在HRC6内的达到了92.1%;在HRC4内的达到了86.2%;提高了产品质量,满足了用户需求.     

快冷Fe_(71)Al_(29)合金中的两个内耗峰

用一个计算机控制的倒扭摆研究了快冷Fe71 Al2 9合金中的两个内耗峰 .在快冷的Fe71 Al2 9样品中分别在 180℃(P1 ) ,340℃ (P2 )和 5 10℃ (P3)出现了内耗峰 ,而在慢冷的Fe71 Al2 9样品中只发现了P3峰 .快冷样品中的P1 和P2峰在从 6 5 0℃冷却下来的测量过程中或在 35 0℃经过较长时间的时效后消失 ,其峰高随时效时间的增加而下降 ,直至消失 .P1 和P2 峰都有弛豫特征 ,它们的激活能分别为 :H1 =1.0 3± 0 .0 8eV(P1 峰 ) ;H2 =1.6 4± 0 .0 5eV(P2 峰 ) .P1 峰被认为是无序合金中Al原子在四面体点阵内的最近邻运动所引起 ,P2 峰则是无序合金中Al原子在四面体点阵内的次近邻运动所引起     

梯形水平折梁的内力分析

本文对梯形水平折梁（０≤α＜∏２）和矩形水平折架（α＝∏２）用最小余能原理进行了内力分析，并导出了相应的计算公式，可在工程结构设计中采用     

Security Analysis of Discrete Logarithm Based Cryptosystems

0 IntroductionNowthere are many well known cryptosystems based ondiscrete logarithms , such as the ElGamal cryptosys-tem[1]and the digital signature algorithm(DSA)[2]. Discretelogarithms have many advantages . Breaking the discrete log-arithm modulo pri mepappears to be somewhat harder thanfactoringintegern,and elliptic curve cryptosystems may usemuchsmaller keysizesthan RSA-basedcryptosystems of com-parable security.The discrete logarithmproblemover a group can be bro-ken down into a numb…     

Compact, reliable asymmetric optical configuration for cost-effective fabrication of multiplex dot matrix hologram in anti-counterfeiting applications

This study presents a compact optical configuration that can generate a multiplex dot-matrix hologram with complex interlaced images for anti-counterfeiting applications on valuable paper. Varying the orientation of the interference plane can enable the multiplex hologram to be recorded without changing the interference angle of two laser beams. With its simple asymmetric optical setup, a multiplex hologram with many interlaced images can be efficiently fabricated, increasing the cost of imitation. Experimental details of the asymmetric optical setup are also described.