Udvidet returret til d. 31. januar 2025

Bøger i Foundations and Trends (R) in Privacy and Security serien

Filter
Filter
Sorter efterSorter Serie rækkefølge
  • af Bruno Blanchet
    926,95 kr.

    Focuses on the verification of specifications of protocols in the symbolic model. ProVerif is an automatic symbolic protocol verifier. This survey presents an overview of the research on ProVerif and is the most comprehensive text available on the topic.

  • af David Evans
    1.078,95 kr.

    Provides an introduction to multi-party computation for practitioners interested in building privacy-preserving applications and researchers who want to work in the area. The goal is to enable readers to understand what is possible today, and what may be possible in the future.

  • - Concepts and Mechanisms
    af Joan Feigenbaum
    1.063,95 kr.

    Provides the reader with a broad overview of the concept of accountability in computing. In doing so, the authors introduce the topic and place it in context of the social and systematic factors which help to define the term.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.