LEADER 03844 am 22007453u 450 001 996328044903316 005 20220210001139.0 010 $a1-61811-670-3 010 $a1-61811-124-8 024 7 $a10.1515/9781618116703 035 $a(CKB)2550000001041932 035 $a(EBL)3110499 035 $a(SSID)ssj0000886915 035 $a(PQKBManifestationID)11547229 035 $a(PQKBTitleCode)TC0000886915 035 $a(PQKBWorkID)10834665 035 $a(PQKB)10394855 035 $a(DE-B1597)541143 035 $a(OCoLC)1135571408 035 $a(DE-B1597)9781618116703 035 $a(Au-PeEL)EBL3110499 035 $a(CaPaEBR)ebr10666339 035 $a(CaONFJC)MIL546273 035 $a(OCoLC)829905943 035 $a(ScCtBLL)4ad0d781-af5b-4fe3-bed9-f0e41cbdb01f 035 $a(MiAaPQ)EBC3110499 035 $a(EXLCZ)992550000001041932 100 $a20110801d2012 uy e 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$a"Tsar and God" and other essays in Russian cultural semiotics$b[electronic resource] /$fBoris Uspenskij and Victor Zhivov ; translated from Russian by Marcus C. Levitt, David Budgen, and Liv Bliss 210 $aBoston $cAcademic Studies Press$d2012 215 $a1 online resource (300 p.) 225 1 $aArs Rossika 300 $aDescription based upon print version of record. 311 $a1-936235-49-8 320 $aIncludes bibliographical references and index. 327 $tFrontmatter --$tTable of Contents --$tTSAR AND GOD: SEMIOTIC ASPECTS OF THE SACRALIZATION OF THE MONARCH IN RUSSIA /$rUspenskij, B. A. / Zhivov, V. M. --$tTSAR AND PRETENDER: SAMOZVANCHESTVO OR ROYAL IMPOSTURE IN RUSSIA AS A CULTURAL-HISTORICAL PHENOMENON /$rUspenskij, B. A. --$tEUROPE AS METAPHOR AND METONYMY (IN RELATION TO THE HISTORY OF RUSSIA) /$rUspenskij, B. A. --$tCULTURAL REFORMS IN PETER I'S SYSTEM OF TRANSFORMATIONS /$rZhivov, V. M. --$tTHE MYTH OF THE STATE IN THE AGE OF ENLIGHTENMENT AND ITS DESTRUCTION IN LATE EIGHTEENTH-CENTURY RUSSIA /$rZhivov, V. M. --$tABBREVIATIONS --$tList of Original Publications --$tIndex 330 $aFeaturing a number of pioneering essays by the internationally known Russian cultural historians Boris Uspenskij and Victor Zhivov, this collection includes a number of essays appearing in English for the fi rst time. Focusing on several of the most interesting and problematic aspects of Russia's cultural development, these essaysexamine the survival and the reconceptualization of the past in later cultural systems and some of the key transformations of Russian cultural consciousness. The essays in this collection contain some important examples of Russian cultural semiotics and remain indispensable contributions to the history of Russian civilization. 410 0$aArs Rossika. 606 $aSemiotics$zRussia$xReligious aspects 606 $aReligion and culture$zRussia 606 $aLanguage and culture$zRussia 607 $aRussia$xReligion$xHistory 607 $aRussia$xHistory$y1689-1801 615 0$aSemiotics$xReligious aspects. 615 0$aReligion and culture 615 0$aLanguage and culture 676 $a306.0947 700 $aUspenskii$b Boris Andreevich$0127298 701 $aZhivov$b V. M$0894935 701 $aLevitt$b Marcus C.$f1954-$0916900 701 $aBudgen$b David$c(Translator)$01073958 701 $aBliss$b Liv$0975959 712 02$aNational Endowment for the Humanities and The Andrew W. Mellon Foundation Humanities Open Book Program$4fnd$4http://id.loc.gov/vocabulary/relators/fnd 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996328044903316 996 $a"Tsar and God" and other essays in Russian cultural semiotics$92570470 997 $aUNISA LEADER 01062nam a2200253 i 4500 001 991001430949707536 008 060119s2001 it 000 0 ita d 020 $a8831522027 035 $ab1337140x-39ule_inst 040 $aDip.to Filologia Class. e Scienze Filosofiche$bita 082 0 $a226.9 100 1 $aAugustinus, Aurelius $0152280 245 13$aIl discorso del Signore sulla montagna /$cAgostino d'Ippona ; introduzione, traduzione e note di Luigi Longobardo 260 $aMilano :$bEdizioni Paoline,$c2001 300 $a354 p. ;$c20 cm 440 0$aLetture cristiane del primo millennio ;$v32 600 14$aAgostino, Aurelio.$xDottrina delle beatitudini 700 1 $aLongobardo, Luigi 907 $a.b1337140x$b21-09-06$c19-01-06 912 $a991001430949707536 945 $aLE007 870.1 Augustinus LON 01.501$g1$i2007000077382$lle007$nLE007 06.01 Ugenti$op$pE23.24$q-$rl$s- $t0$u0$v0$w0$x0$y.i14180625$z19-01-06 996 $aDiscorso del Signore sulla montagna$91094656 997 $aUNISALENTO 998 $ale007$b19-01-06$cm$da $e-$fita$git $h3$i0 LEADER 10335nam 22005655 450 001 9910865252703321 005 20260605204043.0 010 $a9783031612312$b(electronic bk.) 024 7 $a10.1007/978-3-031-61231-2 035 $a(MiAaPQ)EBC31480675 035 $a(Au-PeEL)EBL31480675 035 $a(CKB)32306637300041 035 $a(DE-He213)978-3-031-61231-2 035 $a(OCoLC)1440725030 035 $a(EXLCZ)9932306637300041 100 $a20240615d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRisks and Security of Internet and Systems $e18th International Conference, CRiSIS 2023, Rabat, Morocco, December 6?8, 2023, Revised Selected Papers /$fedited by Abderrahim Ait Wakrime, Guillermo Navarro-Arribas, Frédéric Cuppens, Nora Cuppens, Redouane Benaini 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (294 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14529 311 08$aPrint version: Ait Wakrime, Abderrahim Risks and Security of Internet and Systems Cham : Springer,c2024 9783031612305 327 $aIntro -- Preface -- Organization -- Contents -- Keynote Talks -- A Review of the Progressive Odyssey of AI-Driven Intrusion Detection Within Embedded Systems -- 1 Introduction -- 2 Background -- 3 Review of Recent IDSs for ES -- 3.1 Host-Based IDS -- 3.2 Network-Based IDS -- 4 Current State of IDS in ES -- 5 Key Challenges and Trends in IDS for ES -- 6 Research Gaps and Opportunities -- 7 Conclusion -- References -- Securing Autonomous Vehicles: Fundamentals, Challenges, and Perspectives -- 1 Introduction -- 2 Fundamentals -- 3 Challenges -- 3.1 Modeling and Communication Challenges -- 3.2 Security and Safety Challenges -- 4 Perspectives -- 5 Conclusion -- References -- Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts -- 1 Introduction -- 2 Smart Contracts Scalability and the Rationale Behind the FeverTokens Open-Source Package-Oriented Framework -- 3 Overview of the Actus Standard and Financial Contracts -- 4 A Preliminary B-Method Framework for Financial Smart Contracts Under the Actus Standard -- 5 Conclusion and Perspectives -- References -- Security and Transportation Systems -- FERROMOBILE and Security for Low Moment of Traffic Level Crossing -- 1 Introduction -- 2 Objectives of the ``Ferromobile'' Project -- 3 A Solution to Ensure Safe Crossing for ``Ferromobiles'' -- 3.1 Overview of the Global Architecture -- 3.2 Wireless Communication Abilities and Contributions -- 3.3 Cryptography -- 4 Conclusion and Perspectives -- References -- Improvement and Evaluation of Resilience of Adaptive Cruise Control Against Spoofing Attacks Using Intrusion Detection System -- 1 Introduction -- 2 Related Work -- 2.1 Cyber-Attacks on Adaptive Cruise Control -- 2.2 Cyber-Resilience of Adaptive Cruise Control -- 3 Extending Adaptive Cruise Control with ML-Based Intrusion Detection System. 327 $a3.1 Overview of the Adaptive Cruise Control -- 3.2 Architecture of the Extended Adaptive Cruise Control -- 4 Evaluation of the ACC-IDS Using CARLA Simulation -- 4.1 Simulation Setup -- 4.2 Result and Analysis of the Simulation Experiments -- 4.3 Impacts and Limitations of the Study -- 5 Conclusion -- References -- A New Efficient PUF-Based Mutual Authentication Scheme for Drones -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 The Proposed Scheme -- 4.1 System Model -- 4.2 Description of the Proposed Scheme -- 5 Security Analysis -- 5.1 Privacy Model -- 5.2 Formal Security Analysis -- 5.3 Informal Security Analysis -- 6 Practical Results and Comparison -- 7 Conclusion -- References -- Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System -- 1 Introduction -- 2 Autonomous Train Control -- 3 Railway Signalling Systems -- 3.1 Danger Related to Train Movements -- 3.2 The Protective Safety Distance in an ATP System -- 4 Hybrid System Modeling with Event-B -- 4.1 Event-B Modeling of Hybrid Train Dynamics -- 4.2 Potential Solutions -- 5 Managing Uncertainties of a Real Cyber Physical System -- 5.1 Traction/Brake Control -- 5.2 Previous Step Towards Implementation -- 6 Conclusion -- References -- Blockchain and Distributed Ledger Technologies -- Smart Contracts for a Secure and Privacy-Preserving Smart Grid -- 1 Introduction -- 1.1 Related Work -- 1.2 Contribution and Plan of This Paper -- 2 Architecture and System Overview -- 2.1 General Architecture -- 2.2 Overview of the Proposal -- 3 The Proposed System in Detail -- 3.1 Main Smart Contract -- 3.2 Group Smart Contracts -- 3.3 Initialization -- 3.4 Price Calculation -- 3.5 Energy Trading -- 3.6 Debt Liquidation -- 4 Dealing with Security and Privacy Threats -- 5 Conclusions and Future Work -- References. 327 $aEHRVault: A Secure, Patient-Centric, Privacy-Preserving and Blockchain-Based Platform for EHR Management -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 PHI Standards and Regulations -- 3.2 Security Requirements for Health Data Management -- 3.3 Blockchain Technology -- 3.4 IPFS -- 3.5 Anonymization Technique -- 3.6 Cryptographic Primitives -- 4 EHRVault Platform Description -- 4.1 Architecture -- 4.2 System Functionalities -- 5 Discussion -- 6 Conclusion -- References -- Distributed Transactive Energy Management in Microgrids Based on Blockchain -- 1 Introduction -- 2 Background -- 2.1 Integration of DERs in Microgrids -- 2.2 Blockchain Structure -- 3 Related Work -- 3.1 Blockchain in Energy Trading -- 3.2 Blockchain for Secure Data Exchange, Aggregation, and Privacy -- 3.3 Learned Lessons -- 4 A Distributed Energy Trading Management Framework -- 4.1 Energy System Structure -- 4.2 Blockchain Energy System Structure -- 5 Implementation and Experimental Results -- 5.1 Tool's Implementation -- 5.2 Case Study on a 55 Bus Distribution Network -- 5.3 Results -- 6 Conclusion -- References -- Blockchain-Based Exchange Place: Genericity vs Performance -- 1 Introduction -- 2 Blockchain Based Marketplaces -- 2.1 Blockchain Background -- 2.2 Current Status of Blockchain-Based Marketplace Solutions -- 3 ODEP -- 3.1 Ecosystem and Architecture -- 3.2 On-Chain/Off-Chain Approach -- 4 Implementation -- 4.1 Network Configuration -- 4.2 Smart Contracts Design -- 5 Performance Evaluation -- 5.1 Throughput -- 5.2 Gas Used -- 5.3 Block Size -- 6 Conclusions -- References -- Security Approaches and Infrastructure -- A Privacy-Preserving Infrastructure to Monitor Encrypted DNS Logs -- 1 Introduction and Motivation -- 2 DNS Use Case -- 2.1 Description -- 2.2 Security Properties -- 3 Searchable Encryption -- 4 Application of Searchable Encryption to DNS Logs. 327 $a4.1 Studied Schemes -- 4.2 Platform Implementation -- 5 Evaluation -- 5.1 Security -- 5.2 Benchmarking -- 5.3 Discussion About Token Collision -- 5.4 Summary -- 6 Related Work -- 7 Conclusion -- References -- VAE-GAN for Robust IoT Malware Detection and Classification in Intelligent Urban Environments: An Image Analysis Approach -- 1 Introduction -- 2 Related Work -- 3 Methods -- 3.1 Visualisation of Software Characteristics -- 3.2 Generative Attack Network -- 3.3 Generative Models: AE and Variations -- 3.4 Transfer Learning-Based Discriminator -- 4 Experiment and Discussion -- 4.1 Baselines -- 4.2 Reconstruction Results -- 4.3 Classification Results -- 4.4 Discussion: Practicality and Applicability -- 5 Conclusion -- References -- A Novel Software Defined Security Framework for SDN -- 1 Introduction -- 2 Related Work -- 3 Proposed SDS Framework -- 3.1 Architecture -- 3.2 Implementation -- 4 Results and Discussion -- 4.1 Firewall Application -- 4.2 DDoS Detection and Prevention Application -- 5 Conclusion -- References -- A Process-Centric Approach to Insider Threats Identification in Information Systems -- 1 Introduction -- 2 Separation of Concerns -- 2.1 Functional Modeling -- 2.2 Security Modeling -- 3 Dealing with Business Processes -- 3.1 Animation in B4MSecure -- 3.2 A CSPB Approach -- 3.3 Insider Threats Identification -- 4 Related Works -- 5 Conclusion -- References -- Machine Learning and Security -- Deep Learning-Based Outliers Detection in Compressed Trajectories -- 1 Introduction -- 2 Anomalies Detection and Trajectories Compression Algorithms -- 2.1 Anomalies Detection: GM-VSAE and ATD-RNN -- 2.2 Trajectories Compression Algorithms -- 3 Experimental Setup -- 4 Results -- 5 Conclusion -- References -- Experimental Toolkit for Manipulating Executable Packing -- 1 Introduction -- 2 Background -- 3 Toolkit -- 4 Experiments. 327 $a4.1 Detectors Performance -- 4.2 Model Training -- 5 Conclusion -- References -- A Collaborative Real-Time Object Detection and Data Association Framework for Autonomous Robots Using Federated Graph Neural Network -- 1 Introduction -- 2 CoRODDA Framework -- 3 Experimental Results -- 3.1 GNN Model Architecture -- 3.2 Enhancements via FL -- 3.3 Integration with YOLOv5 and Performance Insights -- 4 Conclusion -- References -- Author Index. 330 $aThis book constitutes the revised selected papers of the 18th International Conference on Risks and Security of Internet and Systems, CRiSIS 2023, which took place in Rabat, Morocco, during December 6?8, 2023. The 13 full papers and 2 short papers included in this volume were carefully reviewed and selected from 25 submissions. The papers detail security issues in internet-related applications, networks and systems. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14529 606 $aData protection 606 $aData and Information Security 615 0$aData protection. 615 14$aData and Information Security. 676 $a005.8 700 $aAit Wakrime$b Abderrahim$01742069 701 $aNavarro-Arribas$b Guillermo$01731904 701 $aCuppens$b édéric$01333105 701 $aCuppens$b Nora$01358333 701 $aBenaini$b Redouane$01742070 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910865252703321 996 $aRisks and Security of Internet and Systems$94168679 997 $aUNINA