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 条

[21] Probabilistic Deontic Logics for Reasoning about Uncertain Norms
De Wit, Vincent
Doder, Dragan
Meyer, John Jules
[J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2023, 10 (02): : 193 - 220
[22] Probabilistic Deontic Logics for Reasoning about Uncertain Norms
de Wit, Vincent
Doder, Dragan
Meyer, John Jules
[J]. Journal of Applied Logics, 2023, 10 (02): : 193 - 220
[23] On tolerant cryptographic constructions
Herzberg, A
[J]. TOPICS IN CRYPTOLOGY - CT-RSA 2005, PROCEEDINGS, 2005, 3376 : 172 - 190
[24] A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Chang, Liang
Shi, Zhongzhi
Gu, Tianlong
Zhao, Lingzhong
[J]. JOURNAL OF AUTOMATED REASONING, 2012, 49 (01) : 1 - 52
[25] A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Liang Chang
Zhongzhi Shi
Tianlong Gu
Lingzhong Zhao
[J]. Journal of Automated Reasoning, 2012, 49 : 1 - 52
[26] Reasoning about actions using description logics with general TBoxes
Liu, Hongkai
Lutz, Carsten
Milicic, Maja
Wolter, Frank
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 266 - 279
[27] Reasoning about Changes of Observational Power in Logics of Knowledge and Time
Barriere, Aurele
Maubert, Bastien
Murano, Aniello
Rubin, Sasha
[J]. AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 971 - 979
[28] On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences
Vidal, Amanda
Esteva, Francesc
Godo, Lluis
[J]. ADVANCES IN FUZZY LOGIC AND TECHNOLOGY 2017, VOL 3, 2018, 643 : 505 - 517
[29] Reasoning about possibilities: Modal logics, possible worlds, and mental models
Johnson-Laird, P. N.
Ragni, Marco
[J]. PSYCHONOMIC BULLETIN & REVIEW, 2024,
[30] Reciprocal logic: Logics for specifying, verifying, and reasoning about reciprocal relationships
Cheng, JD
[J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2005, 3682 : 437 - 445

← 1 2 3 4 5 →