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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Garcia-Alfaro, Joaquin (Auteur)
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Lafourcade, Pascal
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