Logics for reasoning about cryptographic constructions

被引：11

作者：

Impagliazzo, R

Kapron, BM ^{[1
]}

机构：

[1] Univ Victoria, Comp Sci Dept, Victoria, BC V8W 3P6, Canada

[2] Univ Calif San Diego, Dept Comp Sci & Engn, La Jolla, CA 92093 USA

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 2006年 / 72卷 / 02期

基金：

美国国家科学基金会; 加拿大自然科学与工程研究理事会;

关键词：

security protocols; cryptographically sound proofs; nonstandard arithmetics;

D O I：

10.1016/j.jcss.2005.06.008

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We present two logical systems for reasoning about cryptographic constructions which are sound with respect to standard cryptographic definitions of security. Soundness of the first system is proved using techniques from non-standard models of arithmetic. Soundness of the second system is proved by an interpretation into the first system. We also present examples of how these systems may be used to formally prove the correctness of some elementary cryptographic constructions. (c) 2005 Elsevier Inc. All rights reserved.

引用

页码：286 / 320

页数：35

共 50 条

[1] Logics for reasoning about cryptographic constructions
Impagliazzo, R
Kapron, BM
[J]. 44TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2003, : 372 - 383
[2] NONMONOTONIC REASONING, NONMONOTONIC LOGICS AND REASONING ABOUT CHANGE
BELL, J
[J]. ARTIFICIAL INTELLIGENCE REVIEW, 1990, 4 (02) : 79 - 108
[3] Logics for reasoning about degrees of confirmation
Dautovic, Sejla
Doder, Dragan
Ognjanovic, Zoran
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (08) : 2189 - 2217
[4] Reasoning about cryptographic protocols in observational theories
Zaabar, Imen
Berregeb, Narjes
[J]. ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 539 - +
[5] Reasoning about cryptographic protocols in the spi calculus
Abadi, M
Gordon, AD
[J]. CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 59 - 73
[6] Reasoning about Typicality in Preferential Description Logics
Giordano, Laura
Gliozzi, Valentina
Olivetti, Nicola
Pozzato, Gian Luca
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 192 - +
[7] PROPOSITIONAL LOGICS FOR THE REASONING ABOUT KNOWLEDGE INTEGRATIONS
Bab, Sebastian
[J]. ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2012, : 36 - 45
[8] Probability Logics for Reasoning About Quantum Observations
Angelina Ilić Stepić
Zoran Ognjanović
Aleksandar Perović
[J]. Logica Universalis, 2023, 17 : 175 - 219
[9] Reasoning about XML with Temporal Logics and Automata
Libkin, Leonid
Sirangelo, Cristina
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2008, 5330 : 97 - 112
[10] Probability Logics for Reasoning About Quantum Observations
Stepic, Angelina Ilic
Ognjanovic, Zoran
Perovic, Aleksandar
[J]. LOGICA UNIVERSALIS, 2023, 17 (02) : 175 - 219

← 1 2 3 4 5 →