Art

J-GLOBAL ID：202002289661093595   Reference number：20A0777630

Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability

識別不能性に基づく計算完全記号攻撃者のための検証法【JST・京大機械翻訳】

Author (4)： Bana Gergei (University of Missouri, USA and University of Luxembourg, Luxembourg) ,  Chadha Rohit (University of Missouri, USA) ,  Eeralla Ajay Kumar (University of Missouri, USA) ,  Okada Mitsuhiro (Keio University, Tokyo, Japan)
Material： ACM Transactions on Computational Logic  (ACM Trans Comput Log)
Volume： 21  Issue： 1  Page： 1-44  Publication year： 2019 
JST Material Number： A1264A  ISSN： 1529-3785  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Abstract/Point： In recent years, a new approac...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0777630&from=J-GLOBAL&jstjournalNo=A1264A") }}

Thesaurus term： computation model ,  *axiom ,  soundness ,  theorem proving ,  simplification ,  authentication ,  equivalency ,  formulation ,  security ,  multiplex ,  digital signature ,  axiomatization ,  security protocol ,  modification
Semi thesaurus term： *攻撃者 , 【Automatic Indexing@JST】

Author keywords (6)： Authentication ,  Dolev-Yao model ,  computational model ,  computational soundness ,  first-order logic ,  secrecy

JST classification (3)： Code theory  (ND02030R) ,  Data protection  (JD01020V) ,  Computer networks  (JC03000K)

Terms in the title (5)： 識別 ,  計算 ,  記号 ,  攻撃者 ,  検証