Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
1 829 kr
AvDavid Basin,Patrick Schaller,Michael Schläpfer,Michael Schlapfer
649 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
"This book is a good way for newcomers to the security field, or those who want an overview of a goodly sampling of security issues, to start understanding both the issues and possible defenses. It is very much a workbook, with numerous in-line problems to work on and a nice set of questions and exercises for each chapter; answers appear in an appendix. Many of the exercises involve using specific software to look at events as they occur. ... It is very readable and well organized, and the questions and exercises are generally very good. It is an excellent introduction to the subject and would make a good upper-level undergraduate text. It would also be quite useful as a self-study text for someone new to the field." (Jeffrey Putnam, ACM Computing Reviews, August 2012) "My students and I are big fans of this book. I have been using it regularly, since its publication, in the course "Network Security" that I teach in the Master of Science Program "Engineering and Computer Science" at the University of Verona, Italy. The course is structured in a number of theory lectures, covering the main aspects of network security, accompanied by a lab in which I have adopted [this] book. [It] delivers successfully and elegantly what it promises: it complements in an interesting and unique way the theory lectures. It allows students to carry out exercises and experiments on the topics that have been discussed in the lectures and, thanks to the accompanying software, they can choose to do this in the university lab or at home (or both). The assignment project proposed at the end of the book challenges the students in a very proficient way and, indeed, the ratings of the course by students have risen considerably since I adopted the book." (Luca Vigano, Universita di Verona, Italy) "[F]or those looking for an intense but brief and concentrated introduction to some of the fundamentals of information security, to supplement other more comprehensive references, [this] is an excellent book." (Ben Rothke)
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
1 829 kr
Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò, Dov M Gabbay
1 389 kr
Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig, Peter Muller
1 859 kr
Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig, Peter Muller
1 289 kr
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
789 kr
David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò, Marcello D'Agostino
1 389 kr
Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig, Peter Muller
1 859 kr
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
1 829 kr
Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò, Dov M Gabbay
1 389 kr
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
789 kr
Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig, Peter Muller
1 289 kr
David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò, Marcello D'Agostino
1 389 kr