Text

Cryptographic protocol: security analysis based on trusted freshness

---

Contents:

- Introduction of Cryptographic Protocol.
- Informal Analysis.
- Informal Analysis of Cryptographic Protocols.
- Formal Approaches to Security Definition.
- Formal Approaches to Security Establishment of Authentication Protocols.
- Belief Multisets to Security Establishment of Authentication Protocols.
- Automation Approaches to Security Establishment of Authentication Protocols.
- Formal Approaches to Design of Authentication Protocols.

---

Availability

Detail Information

Series Title

Information Security

Call Number

005.82 LIN c

Publisher

Beijing : Higher Education Press., 2011

Collation

xi, 373 hlm.; 24 cm.

Language

English

ISBN/ISSN

9787040313314

Classification

005.82

Content Type

-

Media Type

-

Carrier Type

-

Edition

-

Subject(s)

Computer networks--Security measures
Data Encryption (Computer Science)
Computer network protocols

Specific Detail Info

-

Statement of Responsibility

Ling Dong dan Kefei Chen

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment