株式会社極東書店トップ ＞ 商品一覧 ＞ Juggling Formal Methods and Security: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday.
商品詳細
Juggling Formal Methods and Security: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday.
・ISBN 978-3-032-20683-1 paper EUR 97.99
￥26,192.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Fila, Barbara / Jonker, Hugo / Radomirovic, Sasa (eds.), |
|---|---|
| シリーズ | (Lecture Notes in Computer Science) |
| 出版社 | (Springer Nature Switzerland AG, SZ) |
| 出版年月 | 2026 |
| ページ数 | 253 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-57659＞ |
解説
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.