文献

J-GLOBAL ID：201102266988720747   整理番号：11A1229097

暗号化プロトコルに対するセキュリティー特性の決定 キーサイクルへの応用

Deciding Security Properties for Cryptographic Protocols. Application to Key Cycles

著者 (5件)： COMON-LUNDH Hubert (ENS CACHAN) ,  COMON-LUNDH Hubert (Res. Center For Information Security) ,  CORTIER Veronique (CNRS, Univ. Henri Poincare) ,  CORTIER Veronique (INRIA Project CASSIS) ,  ZALINESCU Eugen (MSR-INRIA Joint Centre, Orsay)
資料名： ACM Transactions on Computational Logic  (ACM Transactions on Computational Logic)
巻： 11  号： 2  ページ： 9,1-42  発行年： 2010年 
JST資料番号： A1264A  ISSN： 1529-3785  資料種別： 逐次刊行物 (A)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： 暗号化 ,  プロトコル ,  セキュリティー ,  キー ,  サイクル ,  応用