Barbara Fila – författare
Visar alla böcker från författaren Barbara Fila. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 11086 - Lecture Notes in Computer Science
Graphical Models for Security
5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Häftad, Engelska, 2019
551 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018. The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions.
Juggling Formal Methods and Security
Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday
Häftad, Engelska, 2026
1 073 kr
Skickas inom 10-15 vardagar
This Festschrift is dedicated to Professor Sjouke Mauw on the occasion of his 65th birthday. Prof. Mauw obtained his PhD from the University of Amsterdam and subsequently held faculty and research positions at Eindhoven University of Technology and at Centrum Wiskunde & Informatica (CWI) in Amsterdam. He has collaborated closely with researchers around the world, including colleagues in Australia, Norway, Singapore, and many other countries. Since 2007, he has served as a full professor at the University of Luxembourg, where he leads the Security and Trust of Software Systems group.A passionate advocate of rigorous formalization, Prof. Mauw specializes in formal methods for information security. He laid the mathematical foundations for attack trees, a practical and widely used security assessment framework, and he contributed extensively to the development of theory and tools for the specification and automated verification of security protocols.Many members of Sjouke Mauw's scientific family have contributed to this volume to honor a distinguished advisor, exceptional mentor, and outstanding educator.