基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

弹载卫星导航天线混沌加密

传统弹载卫星导航天线信号加密方法存在加密后信号振幅波动较大,且信号加密不够全面,加密后天线受攻击概率仍然较大,提出了弹载卫星导航天线信号混沌加密方法.根据弹载卫星导航天线结构,采集天线通信信号.拟定混沌随机序列发生器,获得粗粒化输出.引人混沌映射迭代法,结合单变量向耦合同步方法,将同步混沌序列与相应的随机序列发生器组合...