| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| A Demand-Driven Solver for Constraint-Based: Control Flow Analysis | Gebunden | 978-3-9807096-0-6 | 2002 | ||
| Graphical Models for Security: 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers | Taschenbuch | 978-3-030-36536-3 | 2020 | Massimiliano Albanese · Ross Horne | |
| Insider Threats in Cyber Security | Paperback | 978-1-4614-2638-7 | 2012 | Jeffrey Hunker · Matt Bishop · Dieter Gollmann | |
| Insider Threats in Cyber Security | Hardcover | 978-1-4419-7132-6 | 2010 | Jeffrey Hunker · Matt Bishop · Dieter Gollmann | |
| Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays | Taschenbuch | 978-3-319-27809-4 | 2015 | Chris Hankin · René Rydhof Hansen | |
C.P. · C Probst · C. W. · Christian Probst · W.P. · W. Probst