Inicio > Matemáticas y ciencia > Matemáticas > Cálculo y análisis matemático > Handbook of Formal Analysis and Verification in Cryptography
Handbook of Formal Analysis and Verification in Cryptography

Handbook of Formal Analysis and Verification in Cryptography

 

116,95 €
IVA incluido
Disponible
Editorial:
Taylor & Francis Ltd
Año de edición:
2024
Materia
Cálculo y análisis matemático
ISBN:
9780367546663
116,95 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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.

Artículos relacionados

  • Decision Control, Management, and Support in Adaptive and Complex Systems
    Rumen D. Andreev / Rumen DAndreev / Yuri P. Pavlov / Yuri PPavlov
    In order to ensure the criteria for monitoring and managing the various problems and design for decision control, a mathematical description of exact human knowledge is required for the management of adaptive and complex systems. Decision Control, Management, and Support in Adaptive and Complex Systems: Quantitative Models presents an application and demonstration of a new math...
  • GEOM SPHERIC SPACE FORM (2ND ED)
    GILKEY PETER B / PETER B GILKEY
     This volume focuses on discussing the interplay between the analysis, as exemplified by the eta invariant and other spectral invariants, the number theory, as exemplified by the relevant Dedekind sums and Rademacher reciprocity, the algebraic topology, as exemplified by the equivariant bordism groups, K-theory groups, and connective K-theory groups, and the geometry of spheric...
  • The Mathematics of Signal Processing
    Jr Willard Miller / Steven B. Damelin
    ...
    Disponible

    121,12 €

  • POINT-SET TOPOLOGY WITH TOPICS
    ANDRE ROBERT / Robert André
    This textbook can be used as introduction to a general topology course at undergraduate and graduate level courses. However, many parts of this book present topological concepts that apply directly to functional analysis, which will be of interest to scholars working in those fields.In Part I, readers are eased into the main subject matter of general topology, being presented w...
  • Codaigh agus Córais Dhinimiciúla Réadacha
    Stíofán M. Ó Buachalla
    This book contains an Irish translation of the the second-edition English version (ISBN 9780244879822, https://logicpress.ie/2020-1/index.html) of a one-semester undergraduate course taught through the medium of Irish. I have given this course in Maynooth each year since 2006. The class is typically quite mixed, and the book aims to challenge students familiar with rigorous arg...
    Disponible

    40,64 €

  • Calculus of Variations and Optimal Control Theory
    Daniel Liberzon
    This textbook offers a concise yet rigorous introduction to calculus of variations and optimal control theory, and is a self-contained resource for graduate students in engineering, applied mathematics, and related subjects. Designed specifically for a one-semester course, the book begins with calculus of variations, preparing the ground for optimal control. It then gives a com...