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
会议日期	September
会议地点	Shanghai, China
关键词	Genetic algorithms Heuristic methods Logic programming Network protocols
页码	2318-2321
英文摘要	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
收录类别	EI
会议主办者	IEEE Communication Society; IEEE Engineering Management Society; Shanghai Jiaotong University, China; Wuhan University, China
会议录	2007 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2007
会议录出版地	United States
ISBN号	1424413125
内容类型	会议论文
源URL	[http://124.16.136.157/handle/311060/10994]
专题	软件研究所_基础软件国家工程研究中心_会议论文
推荐引用方式 GB/T 7714	Xue Haifeng,Zhang Huanguo,Qing Sihan,et al. automated design of non-repudiation security protocols[C]. 见:2007 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2007. Shanghai, China. September.