IKE与NAT协同工作研究与设计

为解决因特网密钥交换协议(IKE)与网络地址转换(NAT)协同工作问题,通过解析NAT对IKE数据包的改动操作,分析了两者不兼容的表现及原因,采用浮动UDP端口号的方法,对NAT探测载荷内容进行2次HASH运算,并依据上述方法给出了使二者协同工作的详细设计。根据设计中对原有方案的改进,给出了设计的安全性分析。

密码协议验证中的Petri网方法

如何验证密码协议的安全性是一个复杂的问题,只有形式化的验证方法才能证明密码协议的绝对正确。利用Petri网给出了一种用于密码协议验证的形式化方法。在合理假设的基础上,区分合法用户与攻击者在执行协议时的前提条件,列出执行协议后的结果,在此基础上建立了攻击者的Petri网模型。最后,用这种方法对NSPK协议进行了验证,证明了最初的NSPK协议中存在一个安全问题,而改进的NSPK协议则消除了这个问题。证明了这种方法的有效性。

市场经济与政法干警的价值观

当前,我国正处在改革开放和从计划经济向市场经济转轨的重要时期,蓬勃发展的新科技革命浪潮,风云变幻的国际形势和东西方文化的交流与碰撞,无一不深刻影响着人们的思想观念、价值取向、道德准则和生活方式,使之发生着显著的变化。在这样的形势下,如何正确认识人生价值是摆在我们每个人,尤其是每个政法干警面前的严峻课题。