Computer safety, reliability, and security : 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings / / Michael D. Harrison, Mark-Alexander Sujan (eds.) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XIV, 456 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer software - Reliability
Computer security |
ISBN | 3-540-87698-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk -- Panel: Complexity and Resilience -- Software Dependability -- The Effectiveness of T-Way Test Data Generation -- Towards Agile Engineering of High-Integrity Systems -- SafeSpection – A Systematic Customization Approach for Software Hazard Identification -- Integrating Safety Analyses and Component-Based Design -- Modelling Support for Design of Safety-Critical Automotive Embedded Systems -- Resilience -- Resilience in the Aviation System -- Resilience Markers for Safer Systems and Organisations -- Modeling and Analyzing Disaster Recovery Plans as Business Processes -- Fault Tolerance -- Analysis of Nested CRC with Additional Net Data in Communication -- Symbolic Reliability Analysis of Self-healing Networked Embedded Systems -- Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers -- Security -- Secure Interaction Models for the HealthAgents System -- Security Challenges in Adaptive e-Health Processes -- An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest -- Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security Threats to Automotive CAN Networks – Practical Examples and Selected Short-Term Countermeasures -- Safety Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information -- Applying Safety Goals to a New Intensive Care Workstation System -- Safety Assurance Strategies for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal Methods -- Formal Verification by Reverse Synthesis -- Deriving Safety Software Requirements from an AltaRica System Model -- Model-Based Implementation of Real-Time Systems -- Early Prototyping of Wireless Sensor Network Algorithms in PVS -- Dependability Modelling -- Analyzing Fault Susceptibility of ABS Microcontroller -- A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems -- The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects -- Security and Dependability -- A Context-Aware Mandatory Access Control Model for Multilevel Security Environments -- Formal Security Analysis of Electronic Software Distribution Systems -- The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling -- Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems. |
Record Nr. | UNISA-996466091303316 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings / / Francesca Saglietti, Norbert Oster (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XV, 548 p.) |
Disciplina | 005.8 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer software - Reliability
Industrial safety Computer security |
ISBN | 3-540-75101-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety -- Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety -- Future Perspectives: The Car and Its IP-Address – A Potential Safety and Security Risk Assessment -- Modelling Interdependencies Between the Electricity and Information Infrastructures -- Poster Session 1 -- Handling Malicious Code on Control Systems -- Management of Groups and Group Keys in Multi-level Security Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems -- RAMSS Analysis for a Co-operative Integrated Traffic Management System -- Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System -- Compositional Temporal Fault Tree Analysis -- Representing Parameterised Fault Trees Using Bayesian Networks -- Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model -- Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety -- Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation -- Survival by Deception -- How to Secure Bluetooth-Based Pico Networks -- Learning from Your Elders: A Shortcut to Information Security Management Success -- Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees -- Poster Session 2 -- Safety Process Improvement with POSE and Alloy -- Defense-in-Depth and Diverse Qualification of Safety-Critical Software -- Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer -- Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches -- Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study -- A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications -- Safety Demonstration and Software Development -- Improving Test Coverage for UML State Machines Using Transition Instrumentation -- Verification of Distributed Applications -- Analysis of Combinations of CRC in Industrial Communication -- A Comparison of Partitioning Operating Systems for Integrated Systems -- Software Encoded Processing: Building Dependable Systems with Commodity Hardware -- Reliability Modeling for the Advanced Electric Power Grid -- Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay -- A Reliability Evaluation of a Group Membership Protocol -- Poster Session 3 -- Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity -- A Tool for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development of Model Based Tools to Support the Design of Railway Control Applications -- Formal Specification and Analysis of AFDX Redundancy Management Algorithms -- Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts -- Using Deductive Cause-Consequence Analysis (DCCA) with SCADE -- Experimental Assessment of Astrée on Safety-Critical Avionics Software -- Detection of Runtime Errors in MISRA C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements -- Controller Architecture for Safe Cognitive Technical Systems -- Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software. |
Record Nr. | UNISA-996466097403316 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings / / Francesca Saglietti, Norbert Oster (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XV, 548 p.) |
Disciplina | 005.8 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer software - Reliability
Industrial safety Computer security |
ISBN | 3-540-75101-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety -- Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety -- Future Perspectives: The Car and Its IP-Address – A Potential Safety and Security Risk Assessment -- Modelling Interdependencies Between the Electricity and Information Infrastructures -- Poster Session 1 -- Handling Malicious Code on Control Systems -- Management of Groups and Group Keys in Multi-level Security Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems -- RAMSS Analysis for a Co-operative Integrated Traffic Management System -- Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System -- Compositional Temporal Fault Tree Analysis -- Representing Parameterised Fault Trees Using Bayesian Networks -- Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model -- Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety -- Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation -- Survival by Deception -- How to Secure Bluetooth-Based Pico Networks -- Learning from Your Elders: A Shortcut to Information Security Management Success -- Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees -- Poster Session 2 -- Safety Process Improvement with POSE and Alloy -- Defense-in-Depth and Diverse Qualification of Safety-Critical Software -- Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer -- Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches -- Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study -- A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications -- Safety Demonstration and Software Development -- Improving Test Coverage for UML State Machines Using Transition Instrumentation -- Verification of Distributed Applications -- Analysis of Combinations of CRC in Industrial Communication -- A Comparison of Partitioning Operating Systems for Integrated Systems -- Software Encoded Processing: Building Dependable Systems with Commodity Hardware -- Reliability Modeling for the Advanced Electric Power Grid -- Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay -- A Reliability Evaluation of a Group Membership Protocol -- Poster Session 3 -- Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity -- A Tool for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development of Model Based Tools to Support the Design of Railway Control Applications -- Formal Specification and Analysis of AFDX Redundancy Management Algorithms -- Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts -- Using Deductive Cause-Consequence Analysis (DCCA) with SCADE -- Experimental Assessment of Astrée on Safety-Critical Avionics Software -- Detection of Runtime Errors in MISRA C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements -- Controller Architecture for Safe Cognitive Technical Systems -- Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software. |
Record Nr. | UNINA-9910483285203321 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Continuous integration, delivery, and deployment : reliable and faster software releases with automating builds, tests, and deployment / / Sander Rossel |
Autore | Rossel Sander |
Edizione | [1st edition] |
Pubbl/distr/stampa | Birmingham, England ; ; Mumbai, [Maharashtra] : , : Packt, , 2017 |
Descrizione fisica | 1 online resource (1 volume) : illustrations |
Disciplina | 005 |
Soggetto topico |
Computer software - Reliability
Computer software - Management Computer software - Testing Computer software - Quality control Software maintenance |
Soggetto genere / forma | Electronic books. |
ISBN | 1-78728-418-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910511404303321 |
Rossel Sander
![]() |
||
Birmingham, England ; ; Mumbai, [Maharashtra] : , : Packt, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Continuous integration, delivery, and deployment : reliable and faster software releases with automating builds, tests, and deployment / / Sander Rossel |
Autore | Rossel Sander |
Edizione | [1st edition] |
Pubbl/distr/stampa | Birmingham, England ; ; Mumbai, [Maharashtra] : , : Packt, , 2017 |
Descrizione fisica | 1 online resource (1 volume) : illustrations |
Disciplina | 005 |
Soggetto topico |
Computer software - Reliability
Computer software - Management Computer software - Testing Computer software - Quality control Software maintenance |
ISBN | 1-78728-418-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910796656403321 |
Rossel Sander
![]() |
||
Birmingham, England ; ; Mumbai, [Maharashtra] : , : Packt, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Continuous integration, delivery, and deployment : reliable and faster software releases with automating builds, tests, and deployment / / Sander Rossel |
Autore | Rossel Sander |
Edizione | [1st edition] |
Pubbl/distr/stampa | Birmingham, England ; ; Mumbai, [Maharashtra] : , : Packt, , 2017 |
Descrizione fisica | 1 online resource (1 volume) : illustrations |
Disciplina | 005 |
Soggetto topico |
Computer software - Reliability
Computer software - Management Computer software - Testing Computer software - Quality control Software maintenance |
ISBN | 1-78728-418-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910809925503321 |
Rossel Sander
![]() |
||
Birmingham, England ; ; Mumbai, [Maharashtra] : , : Packt, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Cyber-risk informatics : engineering evaluation with data sciencef / / Mehmet Sahinoglu, PhD |
Autore | Sahinoglu Mehmet <1951-> |
Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2016 |
Descrizione fisica | 1 online resource (745 p.) |
Disciplina | 005.8 |
Collana | New York Academy of Sciences |
Soggetto topico |
Cyber intelligence (Computer security)
Computer systems - Reliability Computer software - Reliability Computer networks - Security measures - Data processing Risk assessment - Statistical methods |
ISBN |
1-119-08752-X
1-119-08753-8 |
Classificazione |
007.1
005.8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Metrics, statistical quality control and basic reliability in cyber-risk -- Complex network reliability evaluation and estimation in cyber-risk -- Stopping rules for reliability and security tests in cyber-risk -- Security assessment and management in cyber-risk -- Game-theoretic computing in cyber-risk -- Modeling and simulation in cyber-risk -- Cloud computing in cyber-risk -- Software reliability modeling and metrics in cyber-risk -- Metrics for software reliability failure-count models in cyber-risk -- Practical hands-on lab topics in cyber-risk. |
Record Nr. | UNINA-9910796686603321 |
Sahinoglu Mehmet <1951->
![]() |
||
Hoboken, New Jersey : , : Wiley, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Cyber-risk informatics : engineering evaluation with data sciencef / / Mehmet Sahinoglu, PhD |
Autore | Sahinoglu Mehmet <1951-> |
Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2016 |
Descrizione fisica | 1 online resource (745 p.) |
Disciplina | 005.8 |
Collana | New York Academy of Sciences |
Soggetto topico |
Cyber intelligence (Computer security)
Computer systems - Reliability Computer software - Reliability Computer networks - Security measures - Data processing Risk assessment - Statistical methods |
ISBN |
1-119-08752-X
1-119-08753-8 |
Classificazione |
007.1
005.8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Metrics, statistical quality control and basic reliability in cyber-risk -- Complex network reliability evaluation and estimation in cyber-risk -- Stopping rules for reliability and security tests in cyber-risk -- Security assessment and management in cyber-risk -- Game-theoretic computing in cyber-risk -- Modeling and simulation in cyber-risk -- Cloud computing in cyber-risk -- Software reliability modeling and metrics in cyber-risk -- Metrics for software reliability failure-count models in cyber-risk -- Practical hands-on lab topics in cyber-risk. |
Record Nr. | UNINA-9910814733203321 |
Sahinoglu Mehmet <1951->
![]() |
||
Hoboken, New Jersey : , : Wiley, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann |
Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2017 |
Descrizione fisica | 1 online resource (256 pages) |
Disciplina | 005.1 |
Collana | NATO Science for Peace and Security Series-D: Information and Communication Security |
Soggetto topico |
Software engineering
Computer software - Reliability |
Soggetto genere / forma | Electronic books. |
ISBN | 1-61499-810-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910467095803321 |
Amsterdam, Netherlands : , : IOS Press, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann |
Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2017 |
Descrizione fisica | 1 online resource (256 pages) |
Disciplina | 005.1 |
Collana | NATO Science for Peace and Security Series-D: Information and Communication Security |
Soggetto topico |
Software engineering
Computer software - Reliability |
ISBN | 1-61499-810-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910796797803321 |
Amsterdam, Netherlands : , : IOS Press, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|