automated design of non-repudiation security protocols

	automated design of non-repudiation security protocols
	Xue Haifeng; Zhang Huanguo; Qing Sihan; Yu Rongwei
	2007
会议名称	2007 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2007
会议录名称	2007 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2007
页码	2318-2321
会议日期	September
会议地点	Shanghai, China
收录类别	EI
出版地	United States
ISBN	1424413125
部门归属	(1) School of Computer, Wuhan University, Wuhan 430072, Hubei, China; (2) State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, Hubei, China; (3) Institute of Software, Chinese Academy of Sciences, Beijing 100080, China
摘要	This paper proposes an approach of automated design of non-repudiation security protocols from the abstract level that uses logic-based rules. The search strategy adopts the genetic algorithm which is a meta-heuristic search method. During the searching p
关键词	Genetic Algorithms Heuristic Methods Logic Programming Network Protocols
主办者	IEEE Communication Society; IEEE Engineering Management Society; Shanghai Jiaotong University, China; Wuhan University, China
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10994
专题	基础软件国家工程研究中心
推荐引用方式 GB/T 7714	Xue Haifeng,Zhang Huanguo,Qing Sihan,et al. automated design of non-repudiation security protocols[C]. United States,2007:2318-2321.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
04340353.pdf（178KB）			开放获取	--	请求全文