Vai al contenuto principale della pagina
| Titolo: |
Foundations and Practice of Security [[electronic resource] ] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / / edited by Joaquin Garcia-Alfaro, Pascal Lafourcade
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Edizione: | 1st ed. 2012. |
| Descrizione fisica: | 1 online resource (XIII, 253 p.) |
| Disciplina: | 005.82 |
| Soggetto topico: | Data encryption (Computer science) |
| Software engineering | |
| Management information systems | |
| Computer science | |
| Computer communication systems | |
| Algorithms | |
| Computer logic | |
| Cryptology | |
| Software Engineering | |
| Management of Computing and Information Systems | |
| Computer Communication Networks | |
| Algorithm Analysis and Problem Complexity | |
| Logics and Meanings of Programs | |
| Soggetto genere / forma: | Kongress2011.Paris |
| Conference proceedings. | |
| Classificazione: | SS 4800 |
| Persona (resp. second.): | Garcia-AlfaroJoaquin |
| LafourcadePascal | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Foundations and practice of security ![]() |
| ISBN: | 3-642-27901-5 |
| Formato: | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465890003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |