The Locator -- [(subject = "Cryptography")]

1070 records matched your query       


Record 10 | Previous Record | MARC Display | Next Record | Search Results
Title:
Handbook of formal analysis and verification in cryptography / edited by Sedat Akleylek, Besik Dundua.
Publisher:
CRC PressTaylor and Francis Group,
Copyright Date:
2024
Description:
xv, 428 pages : illustrations (black and white) ; 25 cm.
Subject:
Cryptography.
Mathematical analysis.
Computer systems--Verification.
Other Authors:
Akleylek, Sedat, editor.
Dundua, Besik, editor.
Notes:
Includes bibliographical references and index.
Contents:
Development of cryptography since Shannon -- Introduction to formal methods for the analysis and design of cryptographic protocols -- An introduction to tools for formal analysis of cryptographic protocols -- Formal verification of cryptographic protocols with Isabelle/HOL -- Formal modelling and security analysis of security protocols -- Cryptographic Web applications : from security engineering to formal analysis -- Formal methods for quantum algorithms.
Summary:
"Handbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a focus on new generation cryptosystems such as post-quantum. It presents a connection between formal analysis and cryptographic schemes, offers formal methods to show whether security assumptions are valid or not for a cryptographic scheme, compares the most prominent formalism and tools, and outlines common challenges and future research directions"-- Provided by publisher.
Series:
Prospects in pure and applied mathematics
ISBN:
0367546663
9780367546663
0367546655
9780367546656
OCLC:
(OCoLC)1373336639
LCCN:
2023012524
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.