书目名称 | 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 |
关键词 | 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 |