Related Books

The Science of Quantitative Information Flow
Language: en
Pages: 478
Authors: Mário S. Alvim
Categories: Computers
Type: BOOK - Published: 2020-09-23 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing p
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Language: en
Pages: 485
Authors: Mário S. Alvim
Categories: Computers
Type: BOOK - Published: 2019-11-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the
Quantitative Evaluation of Systems
Language: en
Pages: 406
Authors: Erika Ábrahám
Categories: Computers
Type: BOOK - Published: 2022-09-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2
Foundations of Software Science and Computational Structures
Language: en
Pages: 484
Authors: Luca De Alfaro
Categories: Computers
Type: BOOK - Published: 2009-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 200
Information Security Practice and Experience
Language: en
Pages: 628
Authors: Weizhi Meng
Categories: Computers
Type: BOOK - Published: 2023-12-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Information Security Practice and Experience, ISPEC 2023, held in Copenha