相關主題
商品描述
This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal methods focusing on cryptographic protocols.
Handbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a spotlight on new-generation cryptosystems such as post-quantum, and presents a connection between formal analysis and cryptographic schemes. The text offers formal methods to show whether security assumptions are valid and compares the most prominent formalism and tools as they outline common challenges and future research directions.
Graduate students, researchers, and engineers worldwide will find this an exciting read.
商品描述(中文翻譯)
這本《密碼學中的形式分析與驗證手冊》對於安全通信和信息處理非常重要。它向讀者介紹了幾種形式驗證方法和用於分析密碼協議的軟體。各章節提供了有關密碼協議的一般知識和形式方法。
《密碼學中的形式分析與驗證手冊》包括用於密碼學形式驗證的主要形式化方法和工具，特別關注新一代密碼系統，如後量子密碼系統，並展示了形式分析與密碼方案之間的聯繫。該文本提供形式方法來顯示安全假設是否有效，並比較最突出的形式化方法和工具，概述共同挑戰和未來研究方向。
全球的研究生、研究人員和工程師將會發現這是一本令人興奮的讀物。
作者簡介
Sedat Akleylek received the B.Sc. degree in Mathematics majored in Computer Science from Ege University in 2004 in Izmir, Turkey, M.Sc. and Ph.D. degrees in Cryptography from Middle East Technical University in 2008 and 2010, in Ankara, Turkey, respectively. He is currently employed as an associate professor at the Department of Computer Engineering, Ondokuz Mayis University, Samsun, Turkey since 2016. His research interests include in the areas of post-quantum cryptography, algorithms, cryptographic protocols, and architectures for computations in finite fields. He has published more than 20 papers on those topics and presented his work at more than 45 conference papers. He is involved in several nationally and internationally funded research projects on cryptography focusing post-quantum ones.
Besik Dundua is an expert in formal methods. He received his PhD degree from the University of Porto in computer science. Afterwards, he worked as a postdoc and visiting researcher in Brazil (University of Brasilia), Austria (Johannes Kepler University Linz), and Germany (The University of Stuttgart). His work concerns various aspects of verification, computational logic, and formal languages: foundational formalisms, computational mechanisms, and implementation ideas. He has published more than 20 papers on those topics and presented his work at more than 30 conference.
作者簡介(中文翻譯)
Sedat Akleylek 於 2004 年在土耳其伊茲密爾的 Ege University 獲得數學學士學位，主修計算機科學，並於 2008 年和 2010 年在土耳其安卡拉的 Middle East Technical University 獲得密碼學碩士和博士學位。他自 2016 年以來擔任土耳其薩姆松的 Ondokuz Mayis University 計算機工程系副教授。他的研究興趣包括後量子密碼學、算法、密碼協議以及有限域計算的架構。他在這些主題上發表了超過 20 篇論文，並在超過 45 場會議上展示了他的研究成果。他參與了幾個國內和國際資助的密碼學研究項目，專注於後量子密碼學。
Besik Dundua 是形式方法的專家。他在波爾圖大學獲得計算機科學博士學位。之後，他在巴西（巴西利亞大學）、奧地利（約翰尼斯·開普勒大學林茲）和德國（斯圖加特大學）擔任博士後和訪問研究員。他的研究涉及驗證、計算邏輯和形式語言的各個方面：基礎形式、計算機制和實現思路。他在這些主題上發表了超過 20 篇論文，並在超過 30 場會議上展示了他的研究成果。
