LEADER 11813nam 22007815 450 001 996465738503316 005 20200705092404.0 010 $a3-319-72395-2 024 7 $a10.1007/978-3-319-72395-2 035 $a(CKB)4100000001381786 035 $a(DE-He213)978-3-319-72395-2 035 $a(MiAaPQ)EBC6286205 035 $a(MiAaPQ)EBC5591036 035 $a(Au-PeEL)EBL5591036 035 $a(OCoLC)1066188875 035 $a(PPN)222227869 035 $a(EXLCZ)994100000001381786 100 $a20171211d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSecurity, Privacy, and Anonymity in Computation, Communication, and Storage$b[electronic resource] $eSpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings /$fedited by Guojun Wang, Mohammed Atiquzzaman, Zheng Yan, Kim-Kwang Raymond Choo 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVI, 855 p. 314 illus.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v10658 311 $a3-319-72394-4 327 $aThe 9th IEEE International Symposium on UbiSafe Computing (UbiSafe 2017) -- MTIV: A Trustworthiness Determination Approach for Threat Intelligence -- CoDistributed Caching Based Memory Optimizing Technology for Stream Data of IoV -- Secure Transfer Protocol Between App and Device of Internet of Things -- Rogue Access Points Detection Based on Theory of SemiSupervised Learning -- Phishing Detection Method Based on Borderline-Smote Deep Belief Network -- Research on Similarity Record Detection of Device Status Information Based on Multiple Encoding Field -- Security Review and Study of DoS Attack on DNS in the International Roaming EPC_LTE Network -- A SYN Flood Detection Method Based on Self ? similarity in Network Traffic -- Annotating Network Service Fault based on Temporal Interval Relations -- The 9th IEEE International Workshop on Security in e-Science and e-Research (ISSR 2017) -- An Anonymous Identity-Based Authentication Scheme in Vector Network -- The 8th International Workshop on Trust, Security and Privacy for Big Data (TrustData 2017) -- Two Improved Anonymous Authentication Methods for PCS -- Multi-Match Segments Similarity Join Algorithm Based on MapReduce -- GPU-accelerated Histogram Generation on Smart-phone and Webbrowser -- An Efficient Message Routing Algorithm Using Overhearing in Community Opportunistic Networks -- A Reversible Watermarking for 2D Vector Map Based on Triple Differences Expansion and Reversible Contrast Mapping -- Game Theoretical Analysis on System Adoption and Acceptance: A Review -- A Novel Bivariate Entropy-based Network Anomaly Detection System -- The Full Provenance Stack: Five Layers for Complete and Meaningful Provenance -- Neural Network based Web Log Analysis for Web Intrusion Detection -- The 7th International Symposium on Trust, Security and Privacy for Emerging Applications (TSP 2017) -- Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach -- WaybackVisor: Hypervisor-based Scalable Live Forensic Architecture for Timeline Analysis -- Cloud Ownership and Reliability ? Issues and Developments -- A Trust-based Service Self-Organizing Model for Cloud Market -- A Reliable Resource Scheduling for Network Function Virtualization -- On Global Resource Allocation in Clusters for Data Analytics -- An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors -- The 6th International Symposium on Security and Privacy on Internet of Things (SPIoT 2017) -- Analysing the Resilience of the Internet of Things against Physical and Proximity Attacks -- Ensuring IoT/M2M System Security under the Limitation of Constrained Gateways -- Spatial Reconfigurable Physical Unclonable Functions for the Internet of Things -- Localizing Wireless Jamming Attacks with Minimal Network Resources -- The 5th International Workshop on Network Optimization and Performance Evaluation (NOPE 2017) -- An Architecture of Urban Regional Health Information System and Its Data Conversion Algorithm -- CCN Hotspot Cache Placement Strategy Based on Genetic Algorithm -- The Impact of Routing Protocols on the Performance of a Mobility Model in Mobile Ad Hoc Network (MANET) -- A Comparative Study of Zynq-based OpenFlow Switches in a Software/Hardware Co-design -- Design and Implementation of a Low-cost Software De ned Wireless Network Testbed for Smart Home -- Energy-efficiency Aware Cooperative Caching Strategy for Content-centric Networks -- The 3rd International Symposium on Dependability in Sensor, Cloud, and Big Data Systems and Applications (DependSys 2017). -Password Recovery for ZIP Files Based on ARM-FPGA Cluster -- Comparison of Different Centrality Measures to Find Influential Nodes in Complex Networks -- An FPGA-based Algorithm to Accelerate Regular Expression Matching -- A Collaborative Filtering Recommendation Algorithm Based on Score Classification -- FluteDB: An Efficient and Dependable Time-Series Database Storage Engine -- Attacks on the Anti-Collusion Data Sharing Scheme for Dynamic Groups in the Cloud -- Research on Coupling Reliability Problem in Sensor- Cloud System -- An On-demand Monitoring Approach for Cloud Computing Systems -- Security on "A Lightweight Authentication Scheme with User Untraceability" -- A Security Scheme of Big Data Identity for Cloud Environment -- A Compact Construction for Non-monotonic Online/Offline CP-ABE scheme -- RPS-TSM: A Robot Perception System Based on Temporal Semantic Map -- MediBchain: A Blockchain Based Privacy Preserving Platform for Healthcare Data -- The Art of Using Cross-Layer Design in Cognitive Radio Networks -- A Quality Model for Evaluating Encryption-as-a-Service -- Forensic Detection for Image Operation Order: Resizing and Contrast Enhancement -- A Framework for Preventing the Exploitation of IoT Smart Toys for Reconnaissance and Exfiltration -- Security and Attack Vector Analysis of IoT Devices -- Security Solution of RFID Card through Cryptography -- Grouping Users for Quick Recommendations of Text Documents based on Deep Neural Network -- Module-level Software Streaming Loading Model Based on Hypervisor -- The 3rd International Symposium on Sensor-Cloud Systems (SCS 2017) -- On-Street Car Parking Prediction in Smart City: A Multi-Source Data Analysis in Sensor-Cloud Environment -- A Weight-bind-based Safe Top-k Query Processing Scheme in Two-tiered Sensor Networks -- A Floorplanning Algorithm for Partially Reconfigurable FPGA in Wireless Sensor Network -- CO-TDMA: a TDMA Protocol for Collecting Data and OAP at the Same Time -- Cloud-assisted Data Storage and Query Processing at Vehicular Ad-hoc Sensor Networks -- EFAV-MERD: Expected Forwarding Area Volume and Residual Distance Mathematic Expectation Routing Protocol for UASNs -- The 2nd International Workshop on Cloud Storage Service and Computing (WCSSC 2017) -- Fast Truss Decomposition in Memory -- Pyramid:Revisiting Memory Extension with Remote Accessible Non-Volatile Main Memory -- Fully Decentralized Multi-Authority ABE Scheme in Data Sharing System -- Malware Variants Detection Using Density Based Spatial Clustering with Global Opcode Matrix -- Research on Graph Processing Systems on a Single Machine -- 3D Model Reconstruction with Sequence Image of Aircraft -- Construction Research on Information Platform for Small and Medium-sized Enterprises Based on Cloud Storage Technology -- XoT: A Flexible Block I/O Data Transfer Protocol for Xen -- The First International Symposium on Multimedia Security and Digital Forensics (MSDF 2017) -- Detecting Spliced Face using Texture Analysis -- Fine-grained, Multi-key Search Control in Multi-user Searchable Encryption -- Overview of Performance Evaluation of Keyword Search Utilities in Forensic/E-Discovery Software -- The 2017 International Symposium on Big Data and Machine Learning in Information Security, Privacy and Anonymity (SPBD 2017) -- Distribution Network Topology Reconstruction Method Based on Lasso and Its Supplementary Criterions. 330 $aThis book constitutes the refereed proceedings of 11 symposia and workshops held at the 10th International Conference on Security, Privacy and Anonymity in Computation, Communication, and Storage, SpaCCS 2017, held in Guangzhou, China, in December 2017. The total of 75 papers presented in this volume was carefully reviewed and selected from a total of 190 submissions to all workshops: UbiSafe 2017: The 9th IEEE International Symposium on UbiSafe Computing ISSR 2017: The 9th IEEE International Workshop on Security in e-Science and e-Research TrustData 2017: The 8th International Workshop on Trust, Security and Privacy for Big Data TSP 2017: The 7th International Symposium on Trust, Security and Privacy for Emerging Applications SPIoT 2017: The 6th International Symposium on Security and Privacy on Internet of Things NOPE 2017: The 5th International Workshop on Network Optimization and Performance Evaluation DependSys 2017: The Third International Symposium on Dependability in Sensor, Cloud, and Big Data Systems and Applications SCS 2017: The Third International Symposium on Sensor-Cloud Systems WCSSC 2017: The Second International Workshop on Cloud Storage Service and Computing MSCF 2017: The First International Symposium on Multimedia Security and Digital Forensics SPBD 2017: The 2017 International Symposium on Big Data and Machine Learning in Information Security, Privacy and Anonymity . 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v10658 606 $aData protection 606 $aComputer security 606 $aComputers 606 $aData encryption (Computer science) 606 $aComputer organization 606 $aArtificial intelligence 606 $aSecurity$3https://scigraph.springernature.com/ontologies/product-market-codes/I28000 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aData protection. 615 0$aComputer security. 615 0$aComputers. 615 0$aData encryption (Computer science). 615 0$aComputer organization. 615 0$aArtificial intelligence. 615 14$aSecurity. 615 24$aSystems and Data Security. 615 24$aInformation Systems and Communication Service. 615 24$aCryptology. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aArtificial Intelligence. 676 $a005.8 702 $aWang$b Guojun$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAtiquzzaman$b Mohammed$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYan$b Zheng$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aChoo$b Kim-Kwang Raymond$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465738503316 996 $aSecurity, Privacy, and Anonymity in Computation, Communication, and Storage$92295526 997 $aUNISA LEADER 04872 am 2200877 n 450 001 9910136929203321 005 20160502 010 $a2-918887-72-2 024 7 $a10.4000/books.pcjb.1039 035 $a(CKB)3710000000679830 035 $a(FrMaCLE)OB-pcjb-1039 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/56298 035 $a(PPN)194304612 035 $a(EXLCZ)993710000000679830 100 $a20160523j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 13$aDe Pithécusses à Pompéi. Histoires de fondations $eQuatre conférences au Collège de France (Paris, 2014) /$fPier Giovanni Guzzo 210 $aNaples $cPublications du Centre Jean Bérard$d2016 215 $a1 online resource (106 p.) 311 $a2-918887-71-4 327 $aAvant-propos ; 1. Cumes et Pithe?cusses : les de?buts de l'e?tablissement des Grecs en Italie me?ridionale ; 2. Me?gara Hyblaea et les fondations chalcidiennes en Sicile orientale ; 3. Sybaris et les peuples autochtones du Nord de la Calabre ; 4. Pompe?i italique et sa structuration urbaine. 330 $aLes quatre chapitres qui composent le volume correspondent aux quatre conférences présentées au Collège de France en 2014. Y sont examinées les fondations de Pithécusses et de Cumes?; de Mégara Hyblaea dans ses rapports avec les cités chalcidiennes de la Sicile orientale?; de Sybaris dans ses relations avec les populations indigènes de l?arrière-pays. Enfin, la formation urbaine de Pompéi, fondée par les communautés italiques de la vallée du Sarno, est analysée pour comparer l?établissement des cités grecques avec l?implantation d?une ville italique. Les interprétations se fondent à la fois sur une exégèse des sources littéraires anciennes et sur l?étude du matériel archéologique pertinent, actuellement disponible. Ces sources de nature diverse sont traitées selon les méthodes propres à chaque discipline?; la bibliographie moderne est également discutée. Le livre offre ainsi une vision actualisée des sujets traités à l?usage des étudiants et constitue une base pour relancer la discussion Nei quattro capitoli che compongono il volume, corrispondenti alle quattro lezioni tenute al Collège de France nel 2014, si esaminano le fondazioni di Pithecusa e Cuma; di Megara Hyblea nel quadro delle poleis calcidesi della Sicilia orientale; di Sibari, in rapporto con le preesistenti popolazioni indigene dell?Enotria. Infine, si discutono i modi della formazione urbana di Pompei, impiantata dalle società italiche della valle del fiume Sarno: anche allo scopo di porre a riscontro le poleis greche con una città italica. Le argomentazioni che vengono proposte si fondano sia su in'interpretazione delle fonti letterarie antiche relative ai diversi temi discussi sia sull'ordinamento dei materiali archeologici, finora disponibili, che si siano ritenuti utili alla discussione. Queste evidenze, di natura differente fra loro, sono trattate iuxta propria principia. Viene, inoltre, menzionata e discussa la moderna bibliografia pertinente. In tal modo si presume di aver offerto un panorama? 606 $aHistory & Archaeology 606 $aarchéologie 606 $acolonies grecques 606 $aGrande Grèce 606 $aItalie du Sud grecque 606 $aprotohistoire 606 $apeuples italiques 606 $aarchaeology 606 $aMagna Graecia 606 $aGreek Southern Italy 606 $aCumae 606 $aMegara Hyblaea 606 $aPithekoussai 606 $aSicily 606 $aSybaris 606 $aPompeii 606 $aGreek colonization 606 $aItalic tribes 607 $aMagna Graecia (Italy)$xAntiquities 607 $aPompeii (Extinct city)$xAntiquities 610 $aprotohistoire 610 $aGrande Grèce 610 $aItalie du Sud grecque 610 $apeuples italiques 610 $aarchéologie 610 $acolonies grecques 615 4$aHistory & Archaeology 615 4$aarchéologie 615 4$acolonies grecques 615 4$aGrande Grèce 615 4$aItalie du Sud grecque 615 4$aprotohistoire 615 4$apeuples italiques 615 4$aarchaeology 615 4$aMagna Graecia 615 4$aGreek Southern Italy 615 4$aCumae 615 4$aMegara Hyblaea 615 4$aPithekoussai 615 4$aSicily 615 4$aSybaris 615 4$aPompeii 615 4$aGreek colonization 615 4$aItalic tribes 700 $aGuzzo$b Pier Giovanni$040072 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910136929203321 996 $aDe Pithécusses à Pompéi. Histoires de fondations$93029204 997 $aUNINA LEADER 05262nam 22007815 450 001 9910746085203321 005 20251225205215.0 010 $a3-031-40923-X 024 7 $a10.1007/978-3-031-40923-3 035 $a(MiAaPQ)EBC30737813 035 $a(Au-PeEL)EBL30737813 035 $a(DE-He213)978-3-031-40923-3 035 $a(PPN)272734020 035 $a(CKB)28185905900041 035 $a(EXLCZ)9928185905900041 100 $a20230810d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Safety, Reliability, and Security $e42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20?22, 2023, Proceedings /$fedited by Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (291 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14181 311 08$aPrint version: Guiochet, Jérémie Computer Safety, Reliability, and Security Cham : Springer,c2023 9783031409226 320 $aIncludes bibliographical references and index. 327 $aSafety Assurance -- Assurance Case Arguments in the Large ? CERN LHC Machine Protection System -- Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments -- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases -- Software Testing & Reliability -- A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study -- A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry -- Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics -- Neural Networks Robustness & Monitoring -- A low-cost strategic monitoring approach for scalable and interpretable error detection in deep neural networks -- Are Transformers More Robust? Towards Exact Robustness Verification for Transformers -- Model-based Security and Threat Analysis -- Model-based Generation of Attack-Fault Trees -- MBTA: A Model-Based Threat Analysis approach for software architectures -- Attribute Repair for Threat Prevention -- Safety of Autonomous Driving -- Probabilistic Spatial Relations for Monitoring Behavior of Road Users -- Concept and metamodel to support cross-domain safety analysis for ODD expansion of autonomous systems -- Security Engineering -- Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems -- From Standard to Practice: Towards ISA/IEC 62443-conform Public Key Infrastructures -- AI Safety -- The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems -- Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products -- Online Quantization Adaptation for Fault-Tolerant Neural Network Inference -- Neural Networks & Testing -- Evaluation of Parameter-based Attacks against Embedded Neural Networks with Laser Injection -- Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models. 330 $aThis book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14181 606 $aComputer engineering 606 $aComputer networks 606 $aSoftware engineering 606 $aApplication software 606 $aRobotics 606 $aMicroprogramming 606 $aData protection 606 $aComputer Engineering and Networks 606 $aSoftware Engineering 606 $aComputer and Information Systems Applications 606 $aRobotics 606 $aControl Structures and Microprogramming 606 $aData and Information Security 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aApplication software. 615 0$aRobotics. 615 0$aMicroprogramming. 615 0$aData protection. 615 14$aComputer Engineering and Networks. 615 24$aSoftware Engineering. 615 24$aComputer and Information Systems Applications. 615 24$aRobotics. 615 24$aControl Structures and Microprogramming. 615 24$aData and Information Security. 676 $a004.015113 702 $aGuiochet$b Je?re?mie 702 $aTonetta$b Stefano 702 $aBitsch$b Friedemann 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910746085203321 996 $aComputer Safety, Reliability, and Security$92908259 997 $aUNINA