مشخصات کتاب

Handbook of Formal Analysis and Verification in Cryptography

ویرایش:  
نویسندگان: Sedat Akleylek. Besik Dundua  
سری: Prospects in Pure and Applied Mathematics 
ISBN (شابک) : 9780367546656, 9781003090052 
ناشر: CRC Press 
سال نشر: 2024 
تعداد صفحات: 446 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 Mb 

در صورت تبدیل فایل کتاب Handbook of Formal Analysis and Verification in Cryptography به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کتابچه راهنمای تحلیل و تایید رسمی در رمزنگاری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب کتابچه راهنمای تحلیل و تایید رسمی در رمزنگاری

این کتابچه راهنمای تجزیه و تحلیل رسمی در رمزنگاری برای ارتباطات امن و پردازش اطلاعات بسیار مهم است. این خوانندگان را با چندین روش تأیید رسمی و نرم افزار مورد استفاده برای تجزیه و تحلیل پروتکل های رمزنگاری آشنا می کند. فصول به خوانندگان دانش عمومی و روش های رسمی با تمرکز بر پروتکل های رمزنگاری می دهد. کتابچه راهنمای تجزیه و تحلیل رسمی و تأیید در رمزنگاری شامل فرمالیسم ها و ابزارهای اصلی مورد استفاده برای تأیید رسمی رمزنگاری است، با توجه به سیستم های رمزنگاری نسل جدید مانند پس کوانتومی، و ارتباط بین تجزیه و تحلیل رسمی و طرح های رمزنگاری را ارائه می دهد. این متن روش‌های رسمی را برای نشان دادن معتبر بودن مفروضات امنیتی ارائه می‌دهد و برجسته‌ترین فرمالیسم و ​​ابزارها را به عنوان طرح‌ریزی چالش‌های رایج و جهت‌گیری‌های تحقیقاتی آینده مقایسه می‌کند. دانشجویان فارغ التحصیل، محققان و مهندسان در سراسر جهان این را خواندنی هیجان انگیز خواهند یافت.

توضیحاتی درمورد کتاب به خارجی

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.

فهرست مطالب

Cover
Half Title
Series Page
Title Page
Copyright Page
Contents
Foreword
Preface
Contributors
Readers
Chapter 1: Development of Cryptography since Shannon
Chapter 2: Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols
Chapter 3: An Introduction to Tools for Formal Analysis of Cryptographic Protocols
Chapter 4: Formal Verification of Cryptographic Protocols with Isabelle/HOL
Chapter 5: Formal Modeling and Security Analysis of Security Protocols
Chapter 6: Cryptographic Web Applications: from Security Engineering to Formal Analysis
Chapter 7: Formal Methods for Quantum Algorithms
Index

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Mental Floss Presents Be Amazing: Glow in the Dark, Control the Weather, Perform Your Own Surgery, Get Out of Jury Duty, Identify a Witch, Colonize a Nation, Impress a Girl, Make a Zombie, Start Your Own Religion

دانلود کتاب Employment Law and Occupational Health: A Practical Handbook, Second Edition

دانلود کتاب Dawn and Evolution of Cardiac Procedures: Research Avenues in Cardiac Surgery and Interventional Cardiology

دانلود کتاب Баjке у слици. Књига 2

دانلود کتاب Spymaster: The Memoirs of Gordon M. Stewart, CIA Station Chief in Cold War Germany