<電子ブック>
Cryptographic protocol : security analysis based on trusted freshness

責任表示
著者
本文言語
出版者
出版年
出版地
目次 Introduction of cryptographic protocols
Background of cryptographic protocols
Engineering principles for security design of protocols
Informal analysis schemes of cryptographic protocols
Security analysis of real world protocols
Guarantee of cryptographic protocol security
Formalism of protocol security analysis
Design of cryptographic protocols based on trusted freshness
Automated analysis of cryptographic protocols based on trusted freshness.
本文を見る Full text available from Springer Computer Science eBooks 2012 English/International

詳細

レコードID
刊行頻度
主題
SSID
LCCN
NBN
eISBN
登録日 2020.06.27
更新日 2020.06.28