公开(公告)号：CN102195771B

公开(公告)日：2013-08-14

申请号：CN201010116185.4

申请日：2010-03-03

申请人： 中国人民解放军信息工程大学

发明人： 刘楠 ,  祝跃飞 ,  颜学雄 ,  康绯 ,  陈晨 ,  马亚南

IPC分类号： H04L9/00 ,  H04K1/00

摘要： 本申请公开了一种安全协议分析方法及装置，其中，安全协议分析方法主要包括：对安全协议进行初始化，应用后继产生算法，产生后继状态，并判断该后继状态是否为不安全状态，如果是不安全状态，则给出从初始状态到该状态的路径；如果否，则结束流程。其中，后继产生算法调用了引入特殊代数性质的攻击者知识分析算法进行攻击者推演问题。本申请中的安全协议分析方法中增加了密码操作符所具有的代数性质的处理，增强了DY攻击者的消息处理能力，因此能够检测到由代数性质引起的攻击，适用于当前大部分使用具有特殊代数性质的密码原语的安全协议分析。大大提高成功分析的几率。

公开(公告)号：CN102195771A

公开(公告)日：2011-09-21

申请号：CN201010116185.4

申请日：2010-03-03

申请人： 中国人民解放军信息工程大学

发明人： 刘楠 ,  祝跃飞 ,  颜学雄 ,  康绯 ,  陈晨 ,  马亚南

IPC分类号： H04L9/00 ,  H04K1/00

摘要： 本发明公开了一种安全协议分析方法及装置，其中，安全协议分析方法主要包括：对安全协议进行初始化，应用后继产生算法，产生后继状态，并判断该后继状态是否为不安全状态，如果是不安全状态，则给出从初始状态到该状态的路径；如果否，则结束流程。其中，后继产生算法调用了引入特殊代数性质的攻击者知识分析算法进行攻击者推演问题。本发明中的安全协议分析方法中增加了密码操作符所具有的代数性质的处理，增强了DY攻击者的消息处理能力，因此能够检测到由代数性质引起的攻击，适用于当前大部分使用具有特殊代数性质的密码原语的安全协议分析。大大提高成功分析的几率。

公开(公告)号：CN207249718U

公开(公告)日：2018-04-17

申请号：CN201721302461.X

申请日：2017-09-30

申请人： 中国人民解放军信息工程大学

发明人： 桂智杰 ,  颜学雄

IPC分类号： G06K19/077 ,  G06F21/78 ,  G06F11/14 ,  H04L29/08

摘要： 本实用新型公开了一种提供数据云备份的多密码算法安全U盘，包括USB插头和U盘主体，所述USB插头布设在U盘主体的一侧，所述U盘主体内部布设有存储模块、控制模块、加密模块、开关选择模块和联网传输模块，所述主控制器通过CDC控制总线与开关选择模块、加密器、序列检测器和储存器连接；所述开关选择模块分别与三个加密器连接；所述三个加密器与序列检测器连接，所述序列检测器的位线和字线与储存器对应连接；本实用新型实现与移动互联网交互及云备份，同时提供多密码算法的加密功能。