| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465890003316 |
|
|
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 253 p.) |
|
|
|
|
|
|
Collana |
|
Security and Cryptology ; ; 6888 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
Kongress2011.Paris |
Conference proceedings. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
2. |
Record Nr. |
UNIORUON00401226 |
|
|
Titolo |
Akademie der Wissenschaften und der Literature : Abhandlungen Geistes- und Sozialwissenschaftlichen Klasse |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Collezione |
|
|
|
|
| |