Formal aspects in security and trust : third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, revised selected papers. ISBN 9783540326281. Published by Springer in 2006. Publication and catalogue information, links to buy online and reader comments.