The Resource Cryptographic protocol : security analysis based on trusted freshness, by Ling Dong, Kefei Chen, (electronic resource)

Cryptographic protocol : security analysis based on trusted freshness, by Ling Dong, Kefei Chen, (electronic resource)

Label
Cryptographic protocol : security analysis based on trusted freshness
Title
Cryptographic protocol
Title remainder
security analysis based on trusted freshness
Statement of responsibility
by Ling Dong, Kefei Chen
Creator
Contributor
Provider
Subject
Genre
Language
eng
Summary
"Cryptographic Protocol: Security Analysis Based on Trusted Freshness" mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness component is presented; this principle is the basis for an efficient and easy method for analyzing the security of cryptographic protocols. The reasoning results of the new approach, when compared with the security conditions, can either establish the correctness of a cryptographic protocol when the protocol is in fact correct, or identify the absence of the security properties, which leads the structure to construct attacks directly. Furthermore, based on the freshness principle, a belief multiset formalism is presented. This formalism’s efficiency, rigorousness, and the possibility of its automation are also presented. The book is intended for researchers, engineers, and graduate students in the fields of communication, computer science and cryptography, and will be especially useful for engineers who need to analyze cryptographic protocols in the real world. Dr. Ling Dong is a senior engineer in the network construction and information security field. Dr. Kefei Chen is a Professor at the Department of Computer Science and Engineering, Shanghai Jiao Tong University
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Dong, Ling
Image bit depth
0
LC call number
QA76.9.A25
LC item number
D66 2012
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1959-
http://library.link/vocab/relatedWorkOrContributorName
  • SpringerLink
  • Chen, Kefei
http://library.link/vocab/subjectName
  • Data encryption (Computer science)
  • Computer network protocols
  • Computer networks
  • COMPUTERS / Security / Cryptography
  • Computer network protocols
  • Computer networks
  • Data encryption (Computer science)
  • Informatique
Label
Cryptographic protocol : security analysis based on trusted freshness, by Ling Dong, Kefei Chen, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
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
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642240737
Level of compression
uncompressed
Other control number
9786613767776
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Stock number
376777
System control number
  • (OCoLC)796988506
  • (OCoLC)ocn796988506
Label
Cryptographic protocol : security analysis based on trusted freshness, by Ling Dong, Kefei Chen, (electronic resource)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
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
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642240737
Level of compression
uncompressed
Other control number
9786613767776
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Stock number
376777
System control number
  • (OCoLC)796988506
  • (OCoLC)ocn796988506

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...