LEADER 01647nam0-22004211i-450- 001 990003986030403321 005 20101117193909.0 010 $a88-464-3868-X 020 $aIT 035 $a000398603 035 $aFED01000398603 035 $a(Aleph)000398603FED01 035 $a000398603 100 $a20100517d2002----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aHabitat agenda, agenda habitat$everso la sostenibilita urbana e territoriale$fUnited nations Human settlements programme (UN-Habitat)$gUniversità degli studi di Napoli Federico 2., Dipartimento di conservazione dei beni architettonici ed ambientali; Formez 210 $aMilano$cFrancoAngeli$d2002 215 $a270 p.$cill$d23 cm 225 1 $aStudi urbani e regionali 300 $aContiene: La dichiarazione di Istanbul e l'Agenda Habitat, Conferenza delle Nazioni unite sugli insediamenti umani (Habitat 2.), Istanbul, 3-14 giugno 1996; La dichiarazione di Istanbul+5, New York, 6-8 giugno 2001 300 $aTrad. di vari 610 0 $aSviluppo sostenibile 610 0 $aGlobalizzazione$aInsediamenti umani 676 $a307.14$v21$zita 710 02$aNazioni Unite$0341045 712 02$aFormez 712 02$aUniversità degli studi di Napoli Federico II.$bDipartimento di conservazione dei beni architettonici ed ambientali 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003986030403321 952 $aURB.LE B 1956$b12769$fFARBC 952 $a044.005.FER$b4510$fDECGE 959 $aFARBC 959 $aDECGE 996 $aHabitat agenda, agenda habitat$9108438 997 $aUNINA LEADER 01627nam--2200469---450- 001 990002468580203316 005 20070119171423.0 010 $a88-430-3282-8 035 $a000246858 035 $aUSA01000246858 035 $a(ALEPH)000246858USA01 035 $a000246858 100 $a20050908-2005----m||y0itay0103----ba 101 0 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $aDizionari italiani$estoria, tipi, struttura$fValeria Della Valle 210 $aRoma$cCarocci$d2005 215 $a110 p.$d20 cm 225 2 $a<> bussole$iStudi linguistico-letterari$v171 410 0$a<> bussole$iStudi linguistico-letterari$v171 606 0 $aLingua italiana$xDizionari$xStoria 676 $a453 700 1$aDELLA VALLE,$bValeria$0163758 801 0$aIT$bsalbc$gISBD$2UNIMARC 912 $a990002468580203316 951 $aVI.3.D. 367(XII B 289)$b182314 L.M.$cXII B$d00182561 951 $aVI.3.D. 367a(XII B 289 BIS)$b179717 L.M.$cXII B$d00127122 951 $aVI.3.D. 367b(XII B 289 A)$b179547 L.M.$cXII B$d00115879 951 $aXII B 289 C$b183885 L.M.$cXII B$d00176662 951 $aXII B 289 D$b183884 L.M.$cXII B$d00176661 951 $aXII B 289 E$b183883 L.M.$cXII B$d00176659 959 $aBK 969 $aUMA 979 $aPAOLA$b90$c20050908$lUSA01$h1343 979 $aPECORARO$b90$c20051003$lUSA01$h0922 979 $aPECORARO$b90$c20051003$lUSA01$h0924 979 $aPECORARO$b90$c20051018$lUSA01$h1153 979 $aRENATO$b90$c20051114$lUSA01$h1547 979 $aCOPAT6$b90$c20070119$lUSA01$h1714 996 $aDizionari italiani$9231433 997 $aUNISA LEADER 05077nam 22007455 450 001 996466075603316 005 20211202124024.0 010 $a3-030-16874-3 024 7 $a10.1007/978-3-030-16874-2 035 $a(CKB)4930000000042095 035 $a(DE-He213)978-3-030-16874-2 035 $a(MiAaPQ)EBC5924441 035 $a(PPN)235231983 035 $a(EXLCZ)994930000000042095 100 $a20190327d2019 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSecurity and Safety Interplay of Intelligent Software Systems$b[electronic resource] $eESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6?7, 2018, Revised Selected Papers /$fedited by Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XII, 173 p. 76 illus., 53 illus. in color.) 225 1 $aSecurity and Cryptology ;$v11552 311 $a3-030-16873-5 320 $aIncludes bibliographical references and index. 327 $aInvited Paper -- Towards safety and security co-engineering. Challenging aspects for a consistent intertwining -- Safety and Security Interplay -- Understanding Common Automotive Security Issues and their Implications -- SysML model transformation for safety and security analysis -- The Challenge of Safety Tactics Synchronization for Cooperative Systems (Short Paper) -- SAM: A Security Abstraction Model for Automotive Software Systems -- Car Security -- CAN-FD-Sec: Improving Security of CAN-FD Protocol -- INCANTA - INtrusion detection in Controller Area Networks with Time-covert Authentication -- Detection of Injection Attacks in Compressed CAN Traffic Logs -- Key Is In The Air: Hacking Remote Keyless Entry Systems (Short Paper) -- Aviation Security -- Surveying Aviation Professionals on the Security of the Air Traffic Control System -- On the Security of MIL-STD-1553 Communication Bus. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Interplay of Security, Safety and System/Software Architecture, CSITS 2018, and the International Workshop on Cyber Security for Intelligent Transportation Systems, ISSA 2018, held in Barcelona, Spain, in September 2018, in conjunction with the 23rd European Symposium on Research in Computer Security, ESORICS 2018. The ISSA 2018 workshop received 10 submissions from which 3 full papers and 1 short paper were accepted. They cover topics such as software security engineering, domain-specific security and privacy architectures, and automative security. In addition, an invited paper on safety and security co-engineering intertwining is included. The CSITS 2018 workshop received 9 submissions from which 5 full papers and 1 short paper were accepted. The selected papers deal with car security and aviation security. . 410 0$aSecurity and Cryptology ;$v11552 606 $aComputer security 606 $aData encryption (Computer science) 606 $aComputer communication systems 606 $aComputers 606 $aSoftware engineering 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aSecurity Services$3https://scigraph.springernature.com/ontologies/product-market-codes/I28030 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aComputing Milieux$3https://scigraph.springernature.com/ontologies/product-market-codes/I24008 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aComputer security. 615 0$aData encryption (Computer science). 615 0$aComputer communication systems. 615 0$aComputers. 615 0$aSoftware engineering. 615 14$aSystems and Data Security. 615 24$aSecurity Services. 615 24$aCryptology. 615 24$aComputer Communication Networks. 615 24$aComputing Milieux. 615 24$aSoftware Engineering. 676 $a005.8 702 $aHamid$b Brahim$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGallina$b Barbara$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aShabtai$b Asaf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aElovici$b Yuval$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGarcia-Alfaro$b Joaquin$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466075603316 996 $aSecurity and Safety Interplay of Intelligent Software Systems$92473540 997 $aUNISA