A Probabilistic Hoare-style logic for game-based cryptographic proofs

被引：0

作者：

Gorin, Ricardo

den Hartog, Jerry

机构：

来源：

AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2 | 2006年 / 4052卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We extend a Probabilistic Hoare-style logic to formalize game-based cryptographic proofs. Our approach provides a systematic and rigorous framework, thus preventing errors from being introduced. We illustrate our technique by proving semantic security of ElGamal.

引用

页码：252 / 263

页数：12

共 31 条

[21] The Effects of Background Music on Game-Based Learning: A Cognitive Style Approach
Yang, Tzu-Chi
Chen, Meng Chang
Chen, Sherry Y.
ASIA-PACIFIC EDUCATION RESEARCHER, 2019, 28 (06): : 495 - 508
[22] The Effects of Background Music on Game-Based Learning: A Cognitive Style Approach
Tzu-Chi Yang
Meng Chang Chen
Sherry Y. Chen
The Asia-Pacific Education Researcher, 2019, 28 : 495 - 508
[23] Incorporating customization and personalization into game-based learning: A cognitive style perspective
Ku, Oskar
Hou, Chi-Chen
Chen, Sherry Y.
COMPUTERS IN HUMAN BEHAVIOR, 2016, 65 : 359 - 368
[24] PLMan: A Game-Based Learning Activity for Teaching Logic Thinking and Programming
Gallego-Duran, Francisco J.
Villagra-Arnedo, Carlos
Llorens-Largo, Faraon
Molina-Carmona, Rafael
INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 2017, 33 (02) : 807 - 815
[25] Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking
Deshpande, Tushar
Katsaros, Panagiotis
Smolka, Scott A.
Stoller, Scott D.
2014 TENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC), 2014, : 226 - 237
[26] Evaluating English Teaching Quality in Colleges Using Fuzzy Logic and Online Game-Based Learning
Wu H.
Luo X.
Computer-Aided Design and Applications, 2024, 21 (s5): : 237 - 251
[27] An investigation of learning style differences and attitudes toward digital game-based learning among mobile users
Chao, Ching-Chiu
FOURTH IEEE INTERNATIONAL WORKSHOP ON WIRELESS, MOBILE AND UBIQUITOUS TECHNOLOGY IN EDUCATION, PROCEEDINGS, 2006, : 29 - 31
[28] Matrix game-based approach for MADM with probabilistic triangular intuitionistic hesitant fuzzy information and its application
Yang, Jie
Xu, Zeshui
COMPUTERS & INDUSTRIAL ENGINEERING, 2022, 163
[29] Interactive effects of scaffolding digital game-based learning and cognitive style on adult learners' emotion, cognitive load and learning performance
Chang, Chi-Cheng
Yang, Szu-Ting
INTERNATIONAL JOURNAL OF EDUCATIONAL TECHNOLOGY IN HIGHER EDUCATION, 2023, 20 (01)
[30] Interactive effects of scaffolding digital game-based learning and cognitive style on adult learners’ emotion, cognitive load and learning performance
Chi-Cheng Chang
Szu-Ting Yang
International Journal of Educational Technology in Higher Education, 20

← 1 2 3 4 →