| 書目名稱 | Principles of Security and Trust |
| 副標題 | Second International |
| 編輯 | David Basin,John C. Mitchell |
| 視頻video | http://file.papertrans.cn/756/755800/755800.mp4 |
| 概述 | Up-to-date results on the theoretical and foundational aspects of security and trust.Fast-track conference proceedings.State-of-the-art research |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | 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. |
| 出版日期 | Conference proceedings 2013 |
| 關(guān)鍵詞 | encryption; formal verification; intrusion detection; privacy; security protocols |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-36830-1 |
| isbn_softcover | 978-3-642-36829-5 |
| isbn_ebook | 978-3-642-36830-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2013 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 05:08
發(fā)表于 2025-3-21 18:01:24
