Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science / Security and Cryptology)
by
ISBN 13: 9783642034589
Format: Paperback (223 pages) Publisher: Springer Published: 03 Sep 2009
Save for later
Labelled Deduction: 17 (Applied Logic Series)
by David Basin,M. D'Agostino,Dov M. Gabbay,Seán Matthews,Luca Viganò
ISBN 13: 9780792362371
Format: Illustrated (284 pages) Publisher: Springer Published: 30 Apr 2000
Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of ... 9635 (Lecture Notes in Computer Science)
by Frank Piessens,Luca Viganò
ISBN 13: 9783662496343
Format: Paperback (288 pages) Publisher: Springer Published: 16 Apr 2016
Socio-Technical Aspects in Security and Trust: 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers: 12812 (Lecture Notes in Computer Science, 12812)
by Thomas Groß,Luca Viganò
ISBN 13: 9783030793173
Format: Paperback (219 pages) Publisher: Springer Published: 22 Jun 2021