LEADER 00962nam0-22003251i-450- 001 990007908280403321 005 20040721120649.0 010 $a0-88295-402-4 035 $a000790828 035 $aFED01000790828 035 $a(Aleph)000790828FED01 035 $a000790828 100 $a20040721d1976----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa-------001yy 200 1 $aCurrent issues in monetary theory and policy$fedited by Thomas M. Havrilesky, John T. Boorman 210 $aArlington Heights [Ill.]$cAHM publishing Corporation$dc1976 215 $aX, 613 p.$d24 cm 610 0 $aMoneta$aTeoria 610 0 $aPolitica monetaria 702 1$aHavrilesky,$bThomas M. 702 1$aBoorman,$bJohn T. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007908280403321 952 $aJ/1.1 CUR$b9233/I$fSES 959 $aSES 996 $aCurrent issues in monetary theory and policy$9670194 997 $aUNINA LEADER 01391nam0 22002891i 450 001 UON00389095 005 20231205104603.236 100 $a20110301d1921 |0itac50 ba 101 $afre$aFRO 102 $aFR 105 $a|||| ||||| 200 1 $aGrammaire de l'ancien provençal ou ancienne langue d'oc$ephonétique & morphologie$fJoseph Anglade 210 $a Paris$cC. Klincksieck$d1921 215 $aXXXVII, 448 p.$d18 cm. 316 $aDono Prof. Alberto Varvaro.$5IT-UONSI F. Varvaro4322 410 1$1001UON00087759$12001 $aNouvelle Collection a l'usage des classes$v7 606 $aLINGUA PROVENZALE$xGrammatica$3UONC070122$2FI 620 $aFR$dParis$3UONL002984 676 $a449.5$cLingua provenzale. Sistema strutturale (Grammatica)$v21 700 1$aANGLADE$bJoseph$3UONV148727$0321538 712 $aLibrairie C. Klincksieck$3UONV268094$4650 801 $aIT$bSOL$c20240220$gRICA 912 $aUON00389095 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI F. Varvaro4322 $eSI 35599 7 Dono Prof. Alberto Varvaro. 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI Ling 22 0022 $eSI GL 1781 5 0022 996 $aGrammaire de l'ancien provençal ou ancienne langue d'Oc$977766 997 $aUNIOR LEADER 04941nam 22006735 450 001 9910770247303321 005 20240312132852.0 010 $a9783031422126 010 $a3031422120 024 7 $a10.1007/978-3-031-42212-6 035 $a(MiAaPQ)EBC31021849 035 $a(Au-PeEL)EBL31021849 035 $a(DE-He213)978-3-031-42212-6 035 $a(CKB)29403468400041 035 $a(OCoLC)1415807592 035 $a(EXLCZ)9929403468400041 100 $a20231215d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCyberSecurity in a DevOps Environment $eFrom Requirements to Monitoring /$fedited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (329 pages) 311 08$aPrint version: Sadovykh, Andrey CyberSecurity in a DevOps Environment Cham : Springer,c2024 9783031422119 327 $aPart I: Security Requirements Engineering -- 1. A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs -- 2. Natural Language Processing with Machine Learning for Security Requirements Analysis - Practical Approaches -- 3. Security Requirements Formalisation with RQCODE -- Part II: Prevention at Development Time -- 4. Vulnerability Detection and Response: Current Status and New Approaches -- 5. Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems -- 6. Interactive Application Security Testing with Hybrid Fuzzing and Statistical Estimators -- Part III: Protection at Operations -- 7. CTAM: a tool for Continuous Threat Analysis and Management -- 8. EARLY - a tool for real-time security attack detection -- 9. A Stream-Based Approach to Intrusion Detection -- 10. Towards Anomaly Detection using Explainable AI. . 330 $aThis book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale industrial systems and explains novel methods that enable a faster feedback loop for verifying security-related activities, which rely on techniques such as automated testing, model checking, static analysis, runtime monitoring, and formal methods. The book consists of three parts, each covering a different aspect of security engineering in the DevOps context. The first part, "Security Requirements", explains how to specify and analyse security issues in a formal way. The second part, "Prevention at Development Time", offers a practical and industrial perspective on how to design, develop and verify secure applications. The third part, "Protection at Operations", eventually introducestools for continuous monitoring of security events and incidents. Overall, it covers several advanced topics related to security verification, such as optimizing security verification activities, automatically creating verifiable specifications from security requirements and vulnerabilities, and using these security specifications to verify security properties against design specifications and generate artifacts such as tests or monitors that can be used later in the DevOps process. The book aims at computer engineers in general and does not require specific knowledge. In particular, it is intended for software architects, developers, testers, security professionals, and tool providers, who want to define, build, test, and verify secure applications, Web services, and industrial systems. 606 $aSoftware engineering 606 $aData protection 606 $aComputer programs$xTesting 606 $aCooperating objects (Computer systems) 606 $aSoftware Engineering 606 $aData and Information Security 606 $aSoftware Testing 606 $aCyber-Physical Systems 615 0$aSoftware engineering. 615 0$aData protection. 615 0$aComputer programs$xTesting. 615 0$aCooperating objects (Computer systems) 615 14$aSoftware Engineering. 615 24$aData and Information Security. 615 24$aSoftware Testing. 615 24$aCyber-Physical Systems. 676 $a005.10289 700 $aSadovykh$b Andrey$01460300 701 $aTruscan$b Dragos$01460301 701 $aMallouli$b Wissam$01460302 701 $aCavalli$b Ana Rosa$0867218 701 $aSeceleanu$b Cristina$01378505 701 $aBagnato$b Alessandra$01460303 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910770247303321 996 $aCyberSecurity in a DevOps Environment$93660163 997 $aUNINA