A new method of formalizing anonymity based on protocol composition logic

doi:10.1002/sec.1068

	A new method of formalizing anonymity based on protocol composition logic
	Feng, Tao; Han, Shining; Guo, Xian; Ma, Donglin
刊名	SECURITY AND COMMUNICATION NETWORKS
	2015-04
卷号	8 期号:6 页码:1132-1140
关键词	PCL anonymity equivalent messages equivalent traces DAA
ISSN号	1939-0114
DOI	10.1002/sec.1068
英文摘要	In order to make protocol composition logic (PCL) model satisfy the special needs of anonymous analysis, based on observational equivalence theory, this paper extended PCL to be anonymity PCL (APCL). In anonymity PCL, equivalent messages and equivalent traces were proposed. On the basis of equivalent traces, three kinds of anonymity were defined: sender anonymity, recipient anonymity, and relation anonymity. Finally, taking direct anonymous attestation (DAA) as an example, we formalized the anonymity of DAA by the new framework, the result of which demonstrates that DAA satisfies anonymity and verifies the correctness and feasibility of the new framework. Copyright (C) 2014 John Wiley & Sons, Ltd.
WOS研究方向	Computer Science ; Telecommunications
语种	英语
出版者	WILEY-HINDAWI
WOS记录号	WOS:000351877000019
状态	已发表
内容类型	期刊论文
源URL	[http://119.78.100.223/handle/2XXMBERH/34078]
专题	计算机与通信学院党委学生工作部（学生处、易班、武装部）
通讯作者	Feng, Tao
作者单位	Lanzhou Univ Technol, Sch Comp & Commun, Lanzhou 730050, Gansu, Peoples R China
推荐引用方式 GB/T 7714	Feng, Tao,Han, Shining,Guo, Xian,et al. A new method of formalizing anonymity based on protocol composition logic[J]. SECURITY AND COMMUNICATION NETWORKS,2015,8(6):1132-1140.
APA	Feng, Tao,Han, Shining,Guo, Xian,&Ma, Donglin.(2015).A new method of formalizing anonymity based on protocol composition logic.SECURITY AND COMMUNICATION NETWORKS,8(6),1132-1140.
MLA	Feng, Tao,et al."A new method of formalizing anonymity based on protocol composition logic".SECURITY AND COMMUNICATION NETWORKS 8.6(2015):1132-1140.