LEADER 00976nam a2200265 i 4500 001 991000813669707536 008 100728s2010 it b 000 0 ita d 020 $a9788877993113 035 $ab13915848-39ule_inst 040 $aDip.to Filologia Class. e Scienze Filosofiche$bita 041 1 $aita$alat$hlat 100 1 $aVergilius Maro, Publius$07260 245 10$aCiris /$bPseudo Virgilio ; a cura di Pierluigi Leone Gatti 260 $a Milano :$bLa Vita Felice,$c2010 300 $a238 p. ;$c17 cm 440 0$aSaturnalia ;$v22 504 $aBibliografia: p. 229-238 546 $aTesto latino a fronte 700 1 $aGatti, Pierluigi Leone 907 $a.b13915848$b20-10-16$c28-07-10 912 $a991000813669707536 945 $aLE007 870.1 Vergilius 2010-01$g1$i2007000199763$lle007$nLE007 2010 Laudizi$op$pE13.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i15162679$z30-08-10 996 $aCiris$9227125 997 $aUNISALENTO 998 $ale007$b28-07-10$cm$da $e-$fita$git $h0$i0 LEADER 04977nam 22008295 450 001 9910484507603321 005 20251225210906.0 010 $a3-319-54876-X 024 7 $a10.1007/978-3-319-54876-0 035 $a(CKB)3710000001127387 035 $a(DE-He213)978-3-319-54876-0 035 $a(MiAaPQ)EBC6296759 035 $a(MiAaPQ)EBC5592039 035 $a(Au-PeEL)EBL5592039 035 $a(OCoLC)974890686 035 $a(PPN)199766754 035 $a(EXLCZ)993710000001127387 100 $a20170301d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRisks and Security of Internet and Systems $e11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers /$fedited by Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (VIII, 239 p. 67 illus.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v10158 311 08$a3-319-54875-1 327 $aProtection of Personal Data -- CLiKC: A privacy-mindful approach when sharing data -- Ransomware and the Legacy Crypto API -- Risk and Security Analysis Methodology -- A Formal Verification of Safe Update Point Detection in Dynamic Software Updating -- Analyzing the Risk of Authenticity Violation Based on the Structural and Functional Sizes of UML Sequence Diagrams -- Towards the weaving of the characteristics of good security requirements -- Methodology for Security -- Towards Empirical Evaluation of Automated Risk Assessment Methods -- An n-sided polygonal model to calculate the impact of cyber security events -- Security and Formal Methods -- SPTool ? equivalence checker for SAND attack trees -- Formal Verification of a Memory Allocation Module of Contiki with Frama-C: a Case Study -- Network Security -- A Proactive Stateful Firewall for Software Defined Networking -- Protocol Reverse Engineering: Challenges and Obfuscation -- Detection and Monitoring.-Detecting anomalous behavior in DBMS logs -- Online link disclosure strategies for social networks -- A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory -- Cryptography -- High-performance Elliptic Curve Cryptography by Using the CIOS Method for Modular Multiplication -- Improving Side-Channel Attacks against Pairing-Based Cryptography -- A First DFA on PRIDE: from Theory to Practice. 330 $aThis book constitutes the revised selected papers from the 11th International Conference on Risk and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016. The 17 full papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover diverse research themes, ranging from classic topics, such as intrusion detection, applied cryptography, formal methods and methodology for risk and security analysis, to emerging issues, such as ransomware and security of software defined networking or virtualization techniques. . 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v10158 606 $aData protection 606 $aSoftware engineering 606 $aCryptography 606 $aData encryption (Computer science) 606 $aComputer engineering 606 $aComputer networks 606 $aComputer science 606 $aApplication software 606 $aData and Information Security 606 $aSoftware Engineering 606 $aCryptology 606 $aComputer Engineering and Networks 606 $aTheory of Computation 606 $aComputer and Information Systems Applications 615 0$aData protection. 615 0$aSoftware engineering. 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 0$aApplication software. 615 14$aData and Information Security. 615 24$aSoftware Engineering. 615 24$aCryptology. 615 24$aComputer Engineering and Networks. 615 24$aTheory of Computation. 615 24$aComputer and Information Systems Applications. 676 $a004.67 702 $aCuppens$b Frédéric$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCuppens$b Nora$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLanet$b Jean-Louis$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLegay$b Axel$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484507603321 996 $aRisks and Security of Internet and Systems$92102247 997 $aUNINA