Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science, Band 6561)

von: Pierpaolo Degano · Sandro Etalle · Joshua Guttman Taschenbuch Details (Deutschland) ISBN: 978-3-642-19750-5 ISBN-10: 3-642-19750-7 Springer · 2011