文献
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)