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

Zhi-geng HAN; Geng CHEN; Jun-zhou LUO

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

您当前的位置：

首页 >

文章列表页 >

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

Papers | 更新时间：2024-06-05

- Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach
- Journal on Communications Vol. 33, Issue Z2, Pages: 189-195(2012)
- 作者机构：
  
  1. 南京审计学院信息科学学院，江苏南京 211815
  2. 东南大学计算机科学与工程学院，江苏南京 211189
- 作者简介：
- 基金信息：
  
  The National Natural Science Foundation of China(71271117);The National Natural Science Foundation of China(70971067);The National Natural Science Fundation of China(61272074);The Natural Science Foundation of Jiangsu Educational Committee(12KJB520005);The Natural Science Foundation of Jiangsu Educational Committee(12KJD410001);The Program of Jiangsu Province Key Laboratory of Network and Infermation Security(BM2003201);The Scientific Research Promotion Industrialization Project of Jiangsu Educational Committee(JHB2012-20);The Jiangsu Provincial Six Talents Peak Project(07-E-025);Nanjing Audit University Talent Introduction Projec(NSRC10033)
- DOI：10.3969/j.issn.1000-436x.2012.z2.026
  CLC： TP393
- Online First：2012-11，
  
  Published：25 November 2012
- 稿件说明：
移动端阅览
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：

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.

Views

634

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Extended-CSP based analysis of non-repudiation protocols

Analysis and improvement of the BACnet/IP based on identity authentication

Formal modeling and security analysis method of security protocol based on CPN

Security analysis of security protocol Swift implementations based on computational model

Correcting the security definition of the Bellare-Rogaway 3PKD model

Related Author

WANG Liang-min

LUO Jun-zhou

HAN Zhi-geng

Jiafeng ZHU

Yongping KANG

Tao FENG

Wei LI

Yuxiang RAN

Related Institution

School of Computer Science and Engineering, Southeast University

School of Computer and Communications, Lanzhou University of Technology

School of Mechanical and Electrical Engineering, Lanzhou University of Technology

School of Computer and Communication, Lanzhou University of Technology

College of Computer Science,South Central University For Nationalities

AI导读

AI问答

⁰

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

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