Chris J. Mitchell, Allan Tomlinson Trusted Systems - Germany Springer 2012 ISBN: 978-3-642-35371-0 Subjects--Topical Terms: Computer ScienceTrusted Systems