Related Books

Operational Semantics and Verification of Security Protocols
Language: en
Pages: 176
Authors: Cas Cremers
Categories: Computers
Type: BOOK - Published: 2012-10-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptogr
Proceedings of the NIELIT's International Conference on Communication, Electronics and Digital Technology
Language: en
Pages: 724
Authors: Sri Niwas Singh
Categories: Technology & Engineering
Type: BOOK - Published: 2023-06-26 - Publisher: Springer Nature

DOWNLOAD EBOOK

The book presents selected papers from NIELIT's International Conference on Communication, Electronics and Digital Technology (NICE-DT 2023) held during Februar
NASA Formal Methods
Language: en
Pages: 477
Authors: Alwyn Goodloe
Categories: Computers
Type: BOOK - Published: 2012-03-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012.
Advanced Information Networking and Applications
Language: en
Pages: 728
Authors: Leonard Barolli
Categories: Computers
Type: BOOK - Published: 2022-03-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book covers the theory, design and applications of computer networks, distributed computing and information systems. Networks of today are going through a
Security Standardisation Research
Language: en
Pages: 283
Authors: Lidong Chen
Categories: Computers
Type: BOOK - Published: 2016-11-25 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Security Standardisation Research, SSR 2016, held in Gaithersburg, MD, U