文献

J-GLOBAL ID：201202237845636432   整理番号：12A0741778

セキュリティ・プロトコルにおける知識の二つの概念に関する決定可能性と組合せ効果

Decidability and Combination Results for Two Notions of Knowledge in Security Protocols

著者 (2件)： CORTIER Veronique (LORIA, CNRS, Nancy, FRA) ,  DELAUNE Stephanie (LSV, ENS de Cachan & CNRS & INRIA, 61 avenue du President Wilson, 94235, Cachan Cedex, FRA)
資料名： Journal of Automated Reasoning  (Journal of Automated Reasoning)
巻： 48  号： 4  ページ： 441-487  発行年： 2012年04月 
JST資料番号： D0269E  ISSN： 0168-7433  CODEN： JAREEW  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： セキュリティ ,  プロトコル ,  知識 ,  概念 ,  決定可能性 ,  組合せ