David Basin
Books
- Theorem Proving in Higher Order Logics
- Proceedings of the Second ACM Conference on Wireless Network Security
- Automated Reasoning
- Rippling
- Labelled deduction
- Labelled Deduction
- Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
- Complete Guide to SCION
- Principles of Security and Trust
- Applied Information Security
Author data: Open Library