基于串空间无线传感器网络安全协议形式化方法研究
61240025
2012
F0204.计算机系统结构与硬件技术
汤鹏志
专项基金项目
教授
华东交通大学
12万元
形式化分析;串空间;传感器网络;安全协议
2013-01-01到2013-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 一种基于双线性配对的代理多重盲签名方案 | 期刊论文 | 汤鹏志|邓俊蕾|李晓雄| |
| 2 | 一种基于双线性对的前向安全代理签名方案 | 期刊论文 | 汤鹏志|邓俊蕾|左黎明| |
| 3 | 基于双线性的前向安全门限部分盲签名方案 | 期刊论文 | 何涛|左黎明|汤鹏志| |
| 4 | 可证安全的智能家居远程代理控制协议 | 期刊论文 | 汤鹏志|文佳俊|左黎明| |
| 5 | A Formal Analysis Method for Optimistic Fair Exchange Protocol | 期刊论文 | 高悦翔|彭代渊|汤鹏志| |
| 6 | Analysis and Improvement of Proxy Blind Multi-Signature Scheme | 会议论文 | 汤鹏志|陈仁群| |
| 7 | 一种适用于移动环境的公平移动支付协议 | 期刊论文 | 高悦翔|彭代渊|汤鹏志| |
查看更多信息请先登录或注册
