| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers | 978-3-642-19750-5 | 2011 | Pierpaolo Degano · Joshua Guttman | |
| Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers | 978-3-642-29419-8 | 2012 | Gilles Barthe · Anupam Datta | |
| Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers | 978-3-540-26655-6 | 2008 | ||
| Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 978-3-540-36635-5 | 2010 | Miroslav Truszczynski | |
| Trust Management: Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New ... in Information and Communication Technology) | 978-0-387-73654-9 | 2007 | Stephen Marsh | |