Design and Analysis of Security Protocol for Communication
- ISBN-10
- 1119555744
- ISBN-13
- 9781119555742
- Category
- Computers
- Pages
- 368
- Language
- English
- Published
- 2020-02-10
- Publisher
- John Wiley & Sons
- Authors
- S. Balamurugan, Dinesh Goyal, Sheng-Lung Peng
Description
The purpose of designing this book is to discuss and analyze security protocols available for communication. Objective is to discuss protocols across all layers of TCP/IP stack and also to discuss protocols independent to the stack. Authors will be aiming to identify the best set of security protocols for the similar applications and will also be identifying the drawbacks of existing protocols. The authors will be also suggesting new protocols if any.
Get the book
Other editions
-
- 2020-03-17
- 372 pages
- Paperback
- John Wiley & Sons
-
- 2020-02-11
- 368 pages
- Ebook
- John Wiley & Sons
Similar books
-
The Modelling and Analysis of Security Protocols: The CSP Approach
By Peter Ryan[17] J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98(2), 1992. [18] M. Burmester and Y. Desmedt. A secure and efficient conference ...
-
Cryptographic Protocol: Security Analysis Based on Trusted Freshness
By Ling Dong, Kefei ChenThe 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 ...
-
Handbook of Information and Communication Security
By Mark Stamp, Peter StavroulakisTe - ternational community responded on at least two fronts; one front being the transfer of reliable information via secure networks and the other being the collection of information about - tential terrorists.
-
Secure Communicating Systems: Design, Analysis, and Implementation
By Michael Huth, Michael R. A. HuthAnother novel feature of the book is the presentation of a formal model-checking tool for specifying and debugging security protocols. The book also includes numerous implementation exercises and programming projects.
-
Computer Networks: 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings
By Piotr Gaj, Andrzej Kwiecień, Piotr SteraEngng. 60, 979–993 (2004) Cohen, A.M.: Numerical Methods for Laplace Transform Inversion. ... Communications of the ACM 13, 47–49 (1970) Talbot, A.: The Accurate Numerical Inversion of Laplace Transforms. J. Inst. Maths. Applics.
-
Security Protocols: 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers
By Michael Roe, Bruce Christianson, Bruno CrispoWe present a model for increasing the effectiveness of the communication between an application and a security protocol. ... 1 Introduction The design and analysis of security protocols has been the mainstay of security research for the ...
-
Principles of Protocol Design
By Robin SharpThis book introduces the reader to the principles used in the construction of a large range of modern data communication protocols.
-
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March...
By Gavin Lowe, Alessandro ArmandoWe are glad that the automated DKS framework of [11] has been extended by Graham Steel so to include our model and analysis. In [12] it is possible to find the result of the performed experiments. First, a device patched to prevent ...
-
Theory and Practice of Cryptography and Network Security Protocols and Technologies
By Jaydip SenThis book presents a collection of research work in the field of cryptography.
-
Foundations of Security Analysis and Design VII: FOSAD 2012 / 2013 Tutorial Lectures
By Javier Lopez, Alessandro Aldini, Fabio MartinelliThe topics covered in this book include model-based security, automatic verification of secure applications, information flow analysis, cryptographic voting systems, encryption in the cloud, and privacy preservation.