作者：赵志远 ; 王建华 ; 朱智强 ; 孙磊

关键词：物联网 ; 隐私保护 ; 数据共享 ; 密文策略属性基加密 ; 隐藏访问结构

年：2019

作者：吴福生 ; 张焕国 ; 倪明涛 ; 王俊

关键词：分析模型 ; 密码协议实现 ; 行为安全 ; 可控性

年：2019

作者：陈超

关键词：改进高斯混合模型 ; 分数阶导数学习率 ; 目标跟踪算法 ; 加权似然跟踪 ; 期望值最大化

年：2019

作者：于金刚 ; 赵治刚

关键词：Needham-Schroeder协议 ; 形式化验证 ; BAN逻辑

年：2018

作者：张焕国 ; 吴福生 ; 王后珍 ; 王张宜

关键词：密码协议 ; 模型 ; 代码 ; 执行 ; 安全验证

年：2018

作者：李学峰 ; 张俊伟 ; 马建峰

关键词：云计算 ; 用户认证 ; 协议组合逻辑 ; 机密性 ; 相互认证

年：2018

作者：易辉凡 ; 万良 ; 黄娜娜 ; 王鹍鹏

关键词：安全协议 ; 形式化方法 ; 网络安全 ; 模型检测 ; 状态空间

年：2018

作者：刘欣倩 ; 肖美华 ; 程道雷 ; 梅映天 ; 李伟

关键词：事件逻辑 ; 改进的Needham-Schroeder协议 ; 形式化方法 ; 强认证性理论

年：2015

作者：李中伟 ; 朱识天 ; 崔秀帅 ; 张宝军 ; 张宏莉 ; 佟为明

关键词：智能变电站 ; 密钥管理 ; NSSK协议 ; 信息安全

年：2017

作者：李娅楠 ; 肖美华 ; 李伟 ; 梅映天 ; 钟小妹

关键词：形式化方法 ; 事件逻辑 ; 无线Mesh网络认证协议 ; 中间人攻击

年：2017