Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
Found 4 from your keywords: author=Maurer, Ueli
cover
Formal correctness of security protocols
Comment Share
Maurer, UeliBella, Giampaolo

Contents: 1.Introduction 1.1 Motivation 1.2 Contribution 1.3 Notation 1.4 Contents Outline 2. The Analysis of Security Protocols 2.1 Formal Approaches 2.2 Interpreting the Findings 3. The Inductive Method 3.1 Isabelle 3.2 Theory Hierarchy 3.3 Agents 3.4 Cryptographic Keys 3.5 Compromised Agents 3.6 Messages 3.7 Events 3.8 Traces 3.9 Threat Model 3.10 Operators…

Edition
--
ISBN/ISSN
9783540681342
Collation
xviii, 274 hlm.; 24 cm.
Series Title
--
Call Number
005.8 BEL f
cover
Introduction to cryptography: principles and applications
Comment Share
Delfs, HansKnebl, HelmutMaurer, Ueli

Termasuk bibliografi dan indeks. Guide to elliptic curve cryptography / Darrel Hankerson, Scott Vanstone, Alfred J. Menezes. Computer security. Public key cryptography. ContentsList of Algorithms List of Tables List of Figures Acronyms CONTENTS: 1. Introduction 1.1 Encryption and Secrecy 1.2 The Objectives of Cryptography 1.3 Attacks 1.4 Cryptographic Protocols 1.5 P…

Edition
Second Edition
ISBN/ISSN
9783540492436
Collation
xvi, 367 hlm.; ilus.; 24 cm.
Series Title
--
Call Number
005.82 DEL i
cover
Sistem manajemen mutu laboratorium
Comment Share
Anwar HadiDelfs, HansKnebl, HelmutMaurer, Ueli

Termasuk bibliografi dan indeks.

Edition
null
ISBN/ISSN
9796552035
Collation
xv, 230 hlm.; ilus.; 20 cm.
Series Title
null
Call Number
658.4013 ANW s
cover
Introduction to cryptography
Comment Share
Delfs, HansKnebl, HelmutMaurer, Ueli

Anak judul: principles and applications. Termasuk bibliografi dan indeks. Guide to elliptic curve cryptography / Darrel Hankerson, Scott Vanstone, Alfred J. Menezes. Computer security. Public key cryptography. ContentsList of Algorithms List of Tables List of Figures Acronyms CONTENTS: 1. Introduction
< >1.1 Encryption and Secrecy
< >1.2 The Objectives of Cryptograph…

Edition
Second Edition
ISBN/ISSN
9783540492436
Collation
xvi, 367 hlm.; ilus.; 24 cm.
Series Title
null
Call Number
005.82 DEL i