多方不可否认协议的增广CSP建模与分析

韩志耕; 陈耿; 罗军舟

doi:10.3969/j.issn.1000-436x.2012.z2.026

您当前的位置：

首页 >

文章列表页 >

多方不可否认协议的增广CSP建模与分析

学术论文 | 更新时间：2024-06-05

- 多方不可否认协议的增广CSP建模与分析
- Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach
- “在安全协议领域，专家利用增广CSP方法分析Kremer-Markowitch协议，发现其缺乏时限性，为多方不可否认协议安全性验证提供新方法。”
- 通信学报 2012年33卷第Z2期页码：189-195
- 作者机构：
  
  1. 南京审计学院信息科学学院，江苏南京 211815
  2. 东南大学计算机科学与工程学院，江苏南京 211189
- 作者简介：
  
  [ "韩志耕（1976-），男，江苏东台人，博士，南京审计学院讲师，主要研究方向为网络安全与管理，信息系统安全与审计。" ]
  [ "陈耿（1965-），男，江苏无锡人，博士，南京审计学院教授，主要研究方向为数据挖掘、信息系统安全与审计。" ]
  [ "罗军舟（1960-），男，浙江宁波人，博士，东南大学教授、博士生导师，主要研究方向为下一代网络体系结构、协议工程、网络安全、网格与云计算、无线局域网。" ]
- 基金信息：
  
  国家自然科学基金资助项目(71271117);国家自然科学基金资助项目(70971067);国家自然科学基金资助项目(61272074);江苏省高校自然科学基金资助项目(12KJB520005);江苏省高校自然科学基金资助项目(12KJD410001);江苏省“网络与信息安全”重点实验室基金资助项目(BM2003201);江苏省高校科研成果产业化推进工程基金资助项目(JHB2012-20);江苏省六大人才高峰基金资助项目(07-E-025);南京审计学院人才引进基金资助项目(NSRC10033)
- DOI：10.3969/j.issn.1000-436x.2012.z2.026
  中图分类号： TP393
- 网络出版日期：2012-11，
  
  纸质出版日期：2012-11-25
- 稿件说明：
移动端阅览
韩志耕, 陈耿, 罗军舟. 多方不可否认协议的增广CSP建模与分析[J]. 通信学报, 2012,33(Z2):189-195.

Zhi-geng HAN, Geng CHEN, Jun-zhou LUO. Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach[J]. Journal on communications, 2012, 33(Z2): 189-195.
韩志耕, 陈耿, 罗军舟. 多方不可否认协议的增广CSP建模与分析[J]. 通信学报, 2012,33(Z2):189-195. DOI： 10.3969/j.issn.1000-436x.2012.z2.026.

Zhi-geng HAN, Geng CHEN, Jun-zhou LUO. Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach[J]. Journal on communications, 2012, 33(Z2): 189-195. DOI： 10.3969/j.issn.1000-436x.2012.z2.026.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

不可否认协议分析的增广CSP方法

基于身份认证的BACnet/IP分析与改进

基于CPN的安全协议形式化建模及安全分析方法

基于计算模型的安全协议Swift语言实施安全性分析

对Bellare-Rogaway 3PKD模型安全性定义的修正

多方不可否认协议的增广CSP建模与分析

Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach

DOI：10.3969/j.issn.1000-436x.2012.z2.026