密碼協定之邏輯分析與驗證研究;A Study of Logical Analysis and Verification of Cryptographic Protocols

NCUIR > School of Management at National Central University > Department of Information Management > Research Project > Item 987654321/57691

Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/57691

Title:	密碼協定之邏輯分析與驗證研究;A Study of Logical Analysis and Verification of Cryptographic Protocols
Authors:	陳奕明
Contributors:	中央大學資訊管理學系
Keywords:	資訊工程--硬體工程;密碼協定;協定驗證;協定分析;資訊安全;Cryptographic protocol;Protocol verification;Protocol analysis;Information security
Date:	1998-09-01
Issue Date:	2012-10-01 15:41:13 (UTC+8)
Publisher:	行政院國家科學委員會
Abstract:	研究期間 8608 ~ 8707
Relation:	財團法人國家實驗研究院科技政策研究與資訊中心
Appears in Collections:	[Department of Information Management] Research Project

Files in This Item:

File	Description	Size	Format
index.html		0Kb	HTML	365	View/Open

社群 sharing