公开(公告)号：CN103440393B

公开(公告)日：2017-01-11

申请号：CN201310431964.7

申请日：2013-09-18

Applicant: 江苏大学

Inventor： 周从华 ,  陆杰 ,  董恒龙 ,  刘志锋 ,  宋香梅 ,  赵俊杰 ,  李晓薇

IPC: G06F17/50

Abstract: 本发明公开了一种面向连续时间马尔科夫链的状态空间约简方法，包括以下步骤：在局部状态空间上配置连续随机逻辑中X，U，R，P，W算子的限界语义；将连续时间马尔科夫链转换为离散时间马尔科夫链，并利用均匀化技术计算局部空间上的瞬态与稳态概率；对于算子X，U，R将时域分成零点到某个时间点，两个时间点之间，某个时间点到无穷大三个时间段，并分别利用瞬态概率计算算子P对应的概率度量；对于稳定算子W，构造一组线性不等式来约束离散时间马尔科夫链中瞬态概率与稳态概率之间的关系，求出该不等式的解作为稳态概率的度量值。本发明只需遍历分析属性所需的局部空间，可有效约简状态空间，可应用于大规模随机系统的性能与可靠性分析。

公开(公告)号：CN105812354A

公开(公告)日：2016-07-27

申请号：CN201610124154.0

申请日：2016-03-07

Applicant: 江苏大学

Inventor： 李婷婷 ,  王良民 ,  陈龙 ,  辛燕 ,  宋香梅 ,  刘芸 ,  陈向益

IPC: H04L29/06 ,  H04L9/32

CPC classification number: H04L63/0421 ,  H04L9/3247 ,  H04L63/1466 ,  H04L2463/121

Abstract: 本发明公开一种LBS背景下车联网中基于抗攻击的位置隐私保护方法，具体包括以下步骤：分组加密，解密；报文内容比对；服务提供商签名；可信第三方筛选结果集；服务内容反馈给申请者五个步骤。本发明将整个通信过程分为两大部分，用户向服务提供商请求服务，服务提供商将服务内容返回，该模型下使用离散对数和Diffie?Hellman问题，支持双向认证，且极大地降低了存储和计算开销，使得隐私保护与服务质量这一对矛盾得到有效权衡，并且能够抵御各种攻击。

公开(公告)号：CN104394000A

公开(公告)日：2015-03-04

申请号：CN201410768572.4

申请日：2014-12-11

Applicant: 江苏大学

Inventor： 陆杰 ,  徐宗保 ,  周从华 ,  王良民 ,  刘志锋 ,  宋香梅 ,  韩牟

IPC: H04L9/32 ,  H04L9/30 ,  H04L29/06

Abstract: 本发明公开了一种车载网中基于假名验证公钥的批量认证方法,涉及车载网络通信安全领域，特别是一种车载网中基于假名验证公钥的批量认证方法，具体包括以下步骤：系统初始化；握手协议；消息签名；消息认证；真实身份的追踪与撤销五个步骤。本发明中路边单元(RSU)可以快速地认证车辆匿名发送的安全消息并广播给车辆，从而大大地提高了交通效率，并且本发明能够很好地抵制合谋攻击，这样发送消息的车辆本身的隐私信息既能得到很好的保护，又可以与其他车辆交流交通状况，本发明适用于节点高速移动、拓扑结构易变和易受攻击的VANET网络。