书目名称 | Foundations and Practice of Security |
副标题 | 4th Canada-France MI |
编辑 | Joaquin Garcia-Alfaro,Pascal Lafourcade |
视频video | |
概述 | Up-to-date results.Fast-track conference proceedings.State-of-the-art research |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011. The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and 5 ongoing research reports. The papers were carefully reviewed and selected from 30 submissions. The topics covered are pervasive security and threshold cryptography; encryption, cryptanalysis and automatic verification; and formal methods in network security.. |
出版日期 | Conference proceedings 2012 |
关键词 | asymmetric cryptography; cryptographic hash function; formal verification; identity based encryption; se |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-27901-0 |
isbn_softcover | 978-3-642-27900-3 |
isbn_ebook | 978-3-642-27901-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag GmbH Berlin Heidelberg 2012 |