一个非否认协议ZG的形式化分析

被引：8

作者：

范红

冯登国

机构：

[1] 中科院研究生院信息安全国家重点实验室

来源：

基金：

国家杰出青年科学基金;

关键词：

非否认协议; 形式化分析; SVO逻辑;

D O I：

暂无

中图分类号：

TP393.08 [];

学科分类号：

0839 ; 1402 ;

摘要：

非否认性是电子商务协议的一个重要性质 ,其形式化分析问题引起了人们的密切关注 .本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析 ,并对协议的缺陷进行了改进 .

引用

页码：171 / 173

页数：3

共 5 条

[1]

Afairnon repudiationprotocol. JZhen,DGollmann. IEEEComputerSocietySymposiumonResearchinSecurityandPrivacy . 1996

[2]

VerifyingAuthenticationProtocolswithCSP. SchneiderS. ProceedingsoftheIEEEComoputerSecurityFoundationsWorkshopX . 1997

[3]

AUnifiedCryptographicProtocolLog ics. PFSyverson,PCvanOorschot. Proceedingsofthe1994 . 1994

[4]

Gradualandveri fiablereleaseofasecret. EFBrickell,DChaum,IBDamgard,JvandeGraaf. Ad vancesinCryptology:ProceedingsofCrypto’’87 . 1987

[5]

A calculus for Cryptographic protocols: The spi calculus. M Abadi,A Gordon. Information and Computation . 1998