Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
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. <br>The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses...
Enregistré dans:
Auteur principal: | |
---|---|
Collectivité auteur: | |
Autres auteurs: | |
Format: | eBook |
Langue: | English |
Publié: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012.
|
Collection: | Lecture Notes in Computer Science
6888 |
Sujets: | |
Accès en ligne: | Click here to view the full text content |
Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
LEADER | 02361nam a22004335i 4500 | ||
---|---|---|---|
001 | vtls000105296 | ||
003 | MY-ArUMP | ||
005 | 20210731152111.0 | ||
007 | cr nn 008mamaa | ||
008 | 121130s2012 gw | s |||| 0|eng d | ||
020 | |a 9783642279010 | ||
039 | 9 | |a 201306201414 |b RAR |c 201306201413 |d RAR |c 201306201413 |d RAR |c 201211302051 |d NY |y 201211141218 |z SMR | |
040 | |a MYPMP |b eng |c MYPMP |e rda | ||
100 | 1 | |a Garcia-Alfaro, Joaquin. |e author | |
245 | 1 | 0 | |a Foundations and Practice of Security |b 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / |c edited by Joaquin Garcia-Alfaro, Pascal Lafourcade. |
264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2012. | |
300 | |a 1 online resource (XIII, 253 pages) |b 58 illustration, digital. | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b nr |c rdacarrier | ||
490 | 1 | |a Lecture Notes in Computer Science |x 0302-9743 |v 6888 | |
520 | |a 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. <br>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. | ||
650 | 0 | |a Computer science. | |
650 | 0 | |a Computer Communication Networks. | |
650 | 0 | |a Software engineering. | |
650 | 0 | |a Data encryption (Computer science). | |
650 | 0 | |a Computer software. | |
650 | 0 | |a Logic design. | |
650 | 0 | |a Information Systems. | |
700 | 1 | |a Lafourcade, Pascal. | |
710 | 2 | |a SpringerLink (Online service) | |
773 | 0 | |t Springer eBooks | |
776 | 0 | 8 | |i Printed edition: |z 9783642279003 |
830 | 0 | |a Lecture Notes in Computer Science |x 0302-9743 |v 6888 | |
856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-642-27901-0 |y Click here to view the full text content |
942 | |2 lcc |c BK-EBOOK | ||
949 | |a VIRTUAITEM |d 10011 |f 1 |x 9 | ||
999 | |c 48619 |d 48619 | ||
952 | |0 0 |1 0 |2 lcc |4 0 |7 0 |9 44267 |a FSGM |b FSGM |d 2021-07-31 |l 0 |r 2021-07-31 |t 1 |w 2021-07-31 |y BK-EBOOK |