Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
Автор: Ernesto Damiani; Claudio Agostino Ardagna; Nabil E Название: Open Source Systems Security Certification ISBN: 1441945903 ISBN-13(EAN): 9781441945907 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses Security Certification Standards and establishes the need to certify open source tools and applications. This includes the international standard for the certification of IT products Common Criteria (ISO/IEC 15408) (CC 2006).
Автор: Ken Slater Название: Information Security in Financial Services ISBN: 1349122173 ISBN-13(EAN): 9781349122172 Издательство: Springer Рейтинг: Цена: 17468.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction - Risk and Vulnerability in the Financial Sector - The Security Policy - Personnel Security - Physical Security - Security of Computer Operations - Communications Security - Controlling the System - Secure System Development and Maintenance - Logical Access Security - Securing the Customer's Cash - If the Worst Happens: Disaster Recovery and Insurance - Microcomputer Security - Risk Analysis - Managing Security - The Auditor - Security Aspects of Compliance Reviews - Appendices - Glossary: The Language of Security
Автор: Sterneckert Название: Critical Incident Management ISBN: 084930010X ISBN-13(EAN): 9780849300103 Издательство: Taylor&Francis Рейтинг: Цена: 19140.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents an overview of the elements that one needs to address to respond to network and information security violations. This title focuses on the establishment of policies and actions that prevent the loss of critical information or damage to infrastructure.
Автор: Daphne Tuncer; Robert Koch; R?mi Badonnel; Burkhar Название: Security of Networks and Services in an All-Connected World ISBN: 3319607731 ISBN-13(EAN): 9783319607733 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Making Flow-Based Security Detection Parallel.- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts.- Achieving Reproducible Network Environments with INSALATA.- Towards a Software-Defined Security Framework for Supporting Distributed Cloud.- Optimal Service Function Chain Composition in Network Functions Virtualization.- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services.- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications.- Towards Internet Scale Quality-of-Experience Measurement with Twitter.- Hunting SIP Authentication Attacks Efficiently.- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks.- Flow-Based Detection of IPv6-specific Network Layer Attacks.- Towards a Hybrid Cloud Platform Using Apache Mesos.- Visual Analytics for Network Security and Critical Infrastructures.- Preserving Relations in Parallel Flow Data Processing.- SmartDEMAP: A Smart Contract Deployment and Management Platform.- Optimizing the Integration of Agent-Based Cloud Orchestrators andHigher-Level Workloads.- Situational Awareness: Detecting Critical Dependencies and Devices in a Network.- A Framework for SFC Integrity in NFV Environments.- Multi-domain DDoS Mitigation based on Blockchains.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
