LEADER 03936nam 22008175 450 001 996465890003316 005 20210106080101.0 010 $a3-642-27901-5 024 7 $a10.1007/978-3-642-27901-0 035 $a(CKB)3400000000025767 035 $a(SSID)ssj0000609748 035 $a(PQKBManifestationID)11412061 035 $a(PQKBTitleCode)TC0000609748 035 $a(PQKBWorkID)10636163 035 $a(PQKB)10314041 035 $a(DE-He213)978-3-642-27901-0 035 $a(MiAaPQ)EBC3071021 035 $a(PPN)159087171 035 $a(EXLCZ)993400000000025767 100 $a20120117d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations and Practice of Security$b[electronic resource] $e4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /$fedited by Joaquin Garcia-Alfaro, Pascal Lafourcade 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XIII, 253 p.) 225 1 $aSecurity and Cryptology ;$v6888 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-27900-7 330 $aThis 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. 410 0$aSecurity and Cryptology ;$v6888 606 $aData encryption (Computer science) 606 $aSoftware engineering 606 $aManagement information systems 606 $aComputer science 606 $aComputer communication systems 606 $aAlgorithms 606 $aComputer logic 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 608 $aKongress$zParis$y2011. 608 $aConference proceedings.$2fast 615 0$aData encryption (Computer science). 615 0$aSoftware engineering. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aComputer communication systems. 615 0$aAlgorithms. 615 0$aComputer logic. 615 14$aCryptology. 615 24$aSoftware Engineering. 615 24$aManagement of Computing and Information Systems. 615 24$aComputer Communication Networks. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 676 $a005.82 686 $aSS 4800$2rvk 702 $aGarcia-Alfaro$b Joaquin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLafourcade$b Pascal$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFPS 2011 906 $aBOOK 912 $a996465890003316 996 $aFoundations and practice of security$91904968 997 $aUNISA LEADER 01625nam0 22003373i 450 001 RAV0043116 005 20231121125626.0 100 $a19961213d1970 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aCatalogo delle mostre bibliografiche 1958-1968$fBiblioteca Statale, Lucca$ga cura di Marta Friggeri 210 $aLucca$cMaria Pacini Fazzi$dstampa 1970 215 $aXIII, 437 p., 45 p. di tav.$cill.$d25 cm. 606 $aLucca$xBiblioteche$xBiblioteca statale$xCataloghi$2FIR$3LO1C157970$9I 606 $aLibri rari, antichi e di pregio$xEsposizioni$x1958-1968$2FIR$3LO1C157985$9I 702 1$aFriggeri$b, Marta$3RAVV023378 710 02$aBiblioteca statale di Lucca$3CFIV049660$4070$01442383 801 3$aIT$bIT-01$c19961213 850 $aIT-RM028 $aIT-RM0263 $aIT-RM0313 $aIT-RM1163 $aIT-FR0017 899 $aBiblioteca Universitaria Alessandrina$bRM028 899 $aBIBLIOTECA MEDICA STATALE$bRM0263 $eN 899 $aBIBLIOTECA CASANATENSE$bRM0313 899 $aIstituto Centrale Restauro Conservazione Patrimonio Archivistico Librario$bRM1163 $4S 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 912 $aRAV0043116 950 0$aBiblioteca umanistica Giorgio Aprea$d 52CIS 11/1699$e 52VM 0000725605 VM barcode:00063541. - Inventario:8703 MAGVM$fA $h20080118$i20121204 977 $a 01$a 05$a 07$a 36$a 52 996 $aCatalogo delle mostre bibliografiche 1958-1968$93615190 997 $aUNICAS LEADER 00803nac# 22001811i 450 001 UON00401226 005 20231205104657.225 100 $a20111125f |0itac50 ba 102 $aDE 105 $a|||| ||||| 110 $ab|||||||||| 200 1 $aAkademie der Wissenschaften und der Literature$eAbhandlungen Geistes- und Sozialwissenschaftlichen Klasse 210 $aWiesbaden$cSteiner 463 1$1001UON00401225$12001 $aˆDer ‰persönliche Agens beim Pasiv im Altbulgarischen$eEine syntaktische Untersuchung$fvon Herbert Bräuer$1210 $aMainz$cAkademie der Wissenschaften und der Literatur ; Wiesbaden$cFranz Steiner$d1952$1215 $a95 p.$d25 cm.$v1952, 3 801 $aIT$bSOL$c20240220$gRICA 912 $aUON00401226 996 $aAKADEMIE der Wissenschaften und der Literature$9643811 997 $aUNIOR