| No. |
Title |
Author |
Year |
| 1 |
Socio-Technical Security Metrics (Dagstuhl Seminar 14491) |
Gollmann, Dieter et al. |
2015 |
| 2 |
Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study |
Ma, Xintao et al. |
2014 |
| 3 |
Organizational Processes for Supporting Sustainable Security (Dagstuhl Seminar 12501) |
Coles-Kemp, Lizzie et al. |
2013 |
| 4 |
10341 Abstracts Collection -- Insider Threats: Strategies for Prevention, Mitigation, and Response |
Bishop, Matt et al. |
2010 |
| 5 |
10341 Report -- Insider Threats: Strategies for Prevention, Mitigation, and Response |
Bishop, Matt et al. |
2010 |
| 6 |
08302 Abstracts Collection -- Countering Insider Threats |
Bishop, Matt et al. |
2008 |
| 7 |
08302 Summary -- Countering Insider Threats |
Probst, Christian W. et al. |
2008 |
