LEADER 01115nam a22002771i 4500
001 991000423389707536
005 20031229215525.0
008 040204s1988    it |||||||||||||||||ita  
020   $a8822104889
035   $ab12614142-39ule_inst
035   $aARCHE-062134$9ExL
040   $aDip. SSC$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.
082 04$a371.3944
245 00$aInformatica e insegnamento scientifico /$ca cura di Giulio Cortini
260   $aScandicci :$bLa nuova Italia,$c1988
300   $aV, 143 p. ;$c21 cm
440  0$aEducatori antichi e moderni ;$v421
650  4$aElaboratori elettronici$xImpiego didattico
700 1 $aCortini, Giulio
907   $a.b12614142$b02-04-14$c12-02-04
912   $a991000423389707536
945   $aLE022 MP 69 G 29$g1$i2022000053747$lle022$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i13140164$z17-03-04
945   $aLE021 DI1A18$g1$iLE021N-3876$lle021$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i13096643$z12-02-04
996   $aInformatica e insegnamento scientifico$9278138
997   $aUNISALENTO
998   $ale022$ale021$b12-02-04$cm$da  $e-$fita$git $h0$i2

LEADER 03341nam  22007695  450 
001 9910484135103321
005 20251226202527.0
010   $a3-319-14054-X
024 7 $a10.1007/978-3-319-14054-4
035   $a(CKB)3710000000325036
035   $a(SSID)ssj0001408386
035   $a(PQKBManifestationID)11772027
035   $a(PQKBTitleCode)TC0001408386
035   $a(PQKBWorkID)11346668
035   $a(PQKB)11670130
035   $a(DE-He213)978-3-319-14054-4
035   $a(MiAaPQ)EBC5592632
035   $a(PPN)183152409
035   $a(EXLCZ)993710000000325036
100   $a20141210d2014      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSecurity Standardisation Research $eFirst International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings /$fedited by Liqun Chen, Chris Mitchell
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 257 p. 34 illus.)
225 1 $aSecurity and Cryptology,$x2946-1863 ;$v8893
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-14053-1 
327   $aSecurity standardisation research, including cryptographic evaluation -- Standards development -- Analysis with formal methods -- Potential future areas of standardisation.- Improving existing standards.
330   $aThis book constitutes the proceedings of the First International Conference on Security Standardisation Research, SSR 2014, which was held in London, UK, in December 2014. The 14 full papers presented in this volume were carefully reviewed and selected from 22 submissions. The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and improving existing standards.
410  0$aSecurity and Cryptology,$x2946-1863 ;$v8893
606   $aData protection
606   $aCryptography
606   $aData encryption (Computer science)
606   $aComputer networks
606   $aArtificial intelligence$xData processing
606   $aComputer science$xMathematics
606   $aData and Information Security
606   $aCryptology
606   $aComputer Communication Networks
606   $aData Science
606   $aMathematical Applications in Computer Science
615  0$aData protection.
615  0$aCryptography.
615  0$aData encryption (Computer science).
615  0$aComputer networks.
615  0$aArtificial intelligence$xData processing.
615  0$aComputer science$xMathematics.
615 14$aData and Information Security.
615 24$aCryptology.
615 24$aComputer Communication Networks.
615 24$aData Science.
615 24$aMathematical Applications in Computer Science.
676   $a004
702   $aChen$b Liqun$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMitchell$b Chris$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484135103321
996   $aSecurity standardisation research$92065770
997   $aUNINA