论文部分内容阅读
基于Spin的安全协议形式化验证技术
【出 处】
：
计算机应用
【发表日期】
：
2014年z2期
其他文献
近年来，农村剩余劳动力向城市迁移呈现出举家迁移趋势。随迁子女这一特殊群体的道德教育问题引发社会关注，随迁子女家庭道德教育现状堪忧。为深刻揭示随迁子女家庭道德教育的深
近日,全球领先的3D打印机制造与设计厂商三纬立体打印有限公司(以下简称“三纬”)在北京召开了主题为“谋定”的品牌战略发布会,既展现了三纬在3D打印机领域的工艺实力,更突
介绍了一种新的更有效的解析技术StAX,在与其它两种较常用的解析技术DOM、SAX进行比较的基础上,通过实例展示了如何用StAX更有效地解析XML文档.
WWDC 2014苹果开发者大会召开在即，除了主角iOS 8以及传闻中的新硬件和服务，另一个最有可能出现的则是OS X 10.10系统。作为除了Windows之外最受欢迎的桌面系统， OS X已经发展了
目的:建立免疫亲和柱超高效液相色谱法测定食品中黄曲霉毒素B1,B2,G1和G2含量的方法。方法:试样经过甲醇-水提取、稀释后经过免疫亲和柱层析净化,应用超高液相色谱法检测。结
针对混沌图像加密算法中实现混沌信号混沌退化和明文相关度差两个缺陷,提出一种新的图像分组加密算法。算法将Logistic混沌信号和前一明文子块组成干扰项,对超混沌Hénon映射的迭代过程进行控制,从而将Logic混沌信息和明文信息与超混沌Hénon映射充分耦合。不仅有效增强了混沌映射的复杂性,克服了混沌序列退化,而且使算法安全强度依赖明文。仿真实验表明,算法具有加密速度快、密钥空间大和敏感性高等优点