David Basin
David Basin
7 books in the database
Books
Principles of Security and TrustDavid Basin
Principles of Security and Trust
David Basin · 2013
Labelled DeductionDavid Basin
Labelled Deduction
David Basin · 2000
Applied Information SecurityDavid Basin
Applied Information Security
David Basin · 2011
Labelled deductionDavid Basin
Labelled deduction
David Basin · 2000
Proceedings of the Second ACM Conference on Wireless Network SecurityDavid Basin
Proceedings of the Second ACM Conference on Wireless Network Security
David Basin · 2009
Automated ReasoningDavid Basin
Automated Reasoning
David Basin · 2004
Theorem Proving in Higher Order LogicsDavid Basin
Theorem Proving in Higher Order Logics
David Basin · 2003
Co-authored books and collections
Books that list David Basin among their authors but not as the lead author: co-written works, collections and compilations.
RipplingAlan Bundy
Rippling
Alan Bundy · 2005
Complete Guide to SCIONLaurent Chuat
Complete Guide to SCION
Laurent Chuat · 2023
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56Alan Bundy
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Alan Bundy · 2005