David Basin

Principles of Security and Trust
David Basin · 2013
על הספר
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 Practice of Software, ETAPS 2013, in Rome, Italy, in March 2013. The 14 papers included in this volume were carefully reviewed and selected from 59 submissions. They deal with the theoretical and foundational aspects of security and trust such as new theoretical results, practical applications of existing foundational ideas, and innovative theoretical approaches stimulated by pressing practical problems.
פרטי הספר
- שנה
- 2013
- שפה
- English
- סדרה
- Lecture Notes in Computer Science -- 7796
- הוצאה
- Springer Berlin Heidelberg
- מהדורות
- 2
- עמודים
- 287
- ISBN
- 9783642368301
מקור הנתונים: Wikidata
עוד של David Basin
David Basin

Labelled Deduction
David Basin · 2000
David Basin

Applied Information Security
David Basin · 2011
David Basin

Labelled deduction
David Basin · 2000
David Basin
Proceedings of the Second ACM Conference on Wireless Network Security
David Basin · 2009
David Basin
Automated Reasoning
David Basin · 2004
David Basin
Theorem Proving in Higher Order Logics
David Basin · 2003