Related Books

Computer Security - ESORICS 96
Language: en
Pages: 390

Computer Security - ESORICS 96

Authors: Elisa Bertino
Categories: Business & Economics
Type: BOOK - Published: 1996-09-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th European Symposium on Research in Computer Security, ESORICS '96, held in Rome, Italy, in September 19
Computer Security - ESORICS 2014
Language: en
Pages: 528

Computer Security - ESORICS 2014

Authors: Miroslaw Kutylowski
Categories: Computers
Type: BOOK - Published: 2014-08-15 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set, LNCS 8712 and LNCS 8713 constitutes the refereed proceedings of the 19th European Symposium on Research in Computer Security, ESORICS 2014,
Blockchains
Language: en
Pages: 621

Blockchains

Authors: Sushmita Ruj
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Principles of Verification: Cycling the Probabilistic Landscape
Language: en
Pages: 462

Principles of Verification: Cycling the Probabilistic Landscape

Authors: Nils Jansen
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Proceedings of 6th International Conference in Software Engineering for Defence Applications
Language: en
Pages: 349

Proceedings of 6th International Conference in Software Engineering for Defence Applications

Authors: Paolo Ciancarini
Categories: Technology & Engineering
Type: BOOK - Published: 2019-03-18 - Publisher: Springer

DOWNLOAD EBOOK

This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of