Prof. Dr. David Basin is the Chair of Information Security at ETH Zürich; his research focuses on information security, in particular methods and tools for modeling, building, and validating secure and reliable systems. Dr. Patrick Schaller is a lecturer at ETH Zürich, his research is concerned with the formalization and analysis of security protocols. Michael Schläpfer is a graduate student of ETH Zürich.
7 Ebooks por David Basin
David Basin & Patrick Schaller: Applied Information Security
This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiments hig …
PDF
Inglês
DRM
€29.74
David Basin & Alan Bundy: Rippling: Meta-Level Guidance for Mathematical Reasoning
…
PDF
Inglês
DRM
€141.08
David Basin & Michael Rusinowitch: Automated Reasoning
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition establis …
PDF
Inglês
DRM
€115.20
David Basin & Burkhart Wolff: Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy. TPHOLs covers all aspects …
PDF
Inglês
DRM
€57.71
David Basin & John C. Mitchell: Principles of Security and Trust
This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Pract …
PDF
Inglês
DRM
€57.36
David Basin & M. D’Agostino: Labelled Deduction
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a …
PDF
Inglês
DRM
€115.20
Laurent Chuat & Markus Legner: The Complete Guide to SCION
When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publica …
PDF
Inglês
€96.29
