Art
J-GLOBAL ID：200902165149398105   Reference number：02A0401989

Reconciling Two Views of Cryptography. The Computational Soundness of Formal Encryption.

暗号に関する2つの視点の調停 (形式的暗号化の計算理論上の健全性)
Author (2)：
ABADI M

About ABADI M

(Univ. California at Santa Cruz, CA, USA)

About Univ. California at Santa Cruz, CA, USA

, 
ROGAWAY P

About ROGAWAY P

(Univ. California at Davis, CA, USA)

About Univ. California at Davis, CA, USA


Material：
Journal of Cryptology

About Journal of Cryptology


Volume： 15  Issue： 2  Page： 103-127  Publication year： 2002 
JST Material Number： T0627A  ISSN： 0933-2790  CODEN： JOCREQ  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*cryptology

About cryptology

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
証明可能安全性

About 証明可能安全性

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=02A0401989&from=J-GLOBAL&jstjournalNo=T0627A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Code theory 
(ND02030R)

About Code theory

Terms in the title (6)：
Terms in the title
Keywords automatically extracted from the title.
暗号

About 暗号

, 
視点

About 視点

, 
調停

About 調停

, 
暗号化

About 暗号化

, 
計算理論

About 計算理論

, 
健全性

About 健全性


Return to Previous Page

TOP

BOTTOM