江苏省博士后科研资助计划项目(1002002B)
- 作品数：3 被引量：5H指数：1
- 相关作者：顾翔邱建林俞波陈建平更多>>
- 相关机构：南通大学南京邮电大学更多>>
- 发文基金：江苏省博士后科研资助计划项目南通市应用研究计划项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种新的无线传感器网络节点信誉评测模型AEMP被引量：1
- 2011年
- 研究了一种新的信誉评测模型,模型采用"加法奖励、乘法惩罚"的方法。该模型与现有模型相比,运算简单,资源消耗少,适合于无线传感器网络节点资源受限的特点。仿真实验表明,该模型可以快速降低实施不良通信行为节点的信任值,从原理上减少误判。该模型为无线传感器网络路由协议设计提供了新的选路依据。
- 顾翔邱建林
- 关键词：无线传感器网络安全路由协议
- 一种基于数字签名的实用电子投票系统被引量：4
- 2012年
- 电子投票系统的研究与设计正逐渐成为信息安全领域的研究热点。本文通过研究三种典型电子投票模型,针对选票碰撞、中途退出和作弊现象等关键问题,提出一种新的电子投票系统,系统设计基于RSA、盲签名、比特承诺等技术,采用数字签名和临时id方案。研究表明,该系统可以较好地解决电子投票系统中的若干关键问题,是一种实用和安全的电子投票系统。
- 俞波陈建平顾翔
- 关键词：电子投票数字签名盲签名比特承诺
- 基于时态逻辑的协议RSL形式化描述
- 2011年
- 研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而证明该描述模型有利于协议验证和协议测试用例生成的自动实现。
- 顾翔邱建林
- 关键词：时态逻辑RAISE规范语言形式化描述
