extending the strand space method to verify kerberos v

	extending the strand space method to verify kerberos v
	Li Yongjian; Pang Jun
	2007
会议名称	8th International Conference on Parallel and Distributed Computing, Applications and Technologies
会议录名称	Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings
页码	437-444
会议日期	DEC 03-06,
会议地点	Adelaide, AUSTRALIA
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS
ISBN	978-0-7695-3049-9
部门归属	Li, Yongjian Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing, Peoples R China.
摘要	In this paper we present two extensions of the strand space method to model Kerberos V First, we include time and timestamps to model security protocols with timestamps: we relate a key to a crack time and combine it with timestamps in order t
关键词	Authentication
主办者	IEEE S Australian Chapter, Univ Adelaide, SAPAC
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10956
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Li Yongjian,Pang Jun. extending the strand space method to verify kerberos v[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS,2007:437-444.