• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker

      Computer Safety, Reliability, and Security

      23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings

      AvMaritta Heisel,Peter Liggesmeyer

      Häftad, Engelska, 2004

      Del i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.

      Produktinformation

      • Utgivningsdatum:2004-09-09
      • Mått:155 x 235 x 20 mm
      • Vikt:540 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:344
      • Upplaga:2004
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540231769

      Utforska kategorier

      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Invited Talk.- Why Safety and Security Should and Will Merge.- Safety Cases.- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument.- Using Fuzzy Self-Organising Maps for Safety Critical Systems.- Using Formal Methods in a Retrospective Safety Case.- Reliability.- A Highly Fault Detectable Cache Architecture for Dependable Computing.- An Empirical Exploration of the Difficulty Function.- Towards the Integration of Fault, Resource, and Power Management.- Human Factors.- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems.- Analysing Mode Confusion: An Approach Using FDR2.- Invited Talk.- Handling Safety Critical Requirements in System Engineering Using the B Formal Method.- Transportation.- A Hybrid Testing Methodology for Railway Control Systems.- Actuator Based Hazard Analysis for Safety Critical Systems.- Performability Measures of the Public Mobile Network of a Tele Control System.- Software Development.- PLC-Based Safety Critical Software Development for Nuclear Power Plants.- Compositional Hazard Analysis of UML Component and Deployment Models.- Automatic Test Data Generation from Embedded C Code.- Fault Tree Analysis.- State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems.- Safety Requirements and Fault Trees Using Retrenchment.- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics.- Invited Talk.- Automotive Telematics – Road Safety Versus IT Security?.- Formal Methods and Systems.- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.- Refinement of Fault Tolerant Control Systems in B.- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems.- Security and Quality of Service.-An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.- Dependability Benchmarking of Web-Servers.- Hazard and Risk Analysis.- An Approach for Model-Based Risk Assessment.- How Explicit Are the Barriers to Failure in Safety Arguments?.
      Hoppa över listan

      Du kanske också är intresserad av

      Stefan Wittmann, Peter Liggesmeyer, Maritta Heisel - Computer Safety, Reliability, and Security, E-bok

      Computer Safety, Reliability, and Security

      Stefan Wittmann, Peter Liggesmeyer, Maritta Heisel

      E-bok
      2004

      732 kr

      Maritta Heisel, Peter Liggesmeyer - Computer Safety, Reliability, and Security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings, Övrigt

      Computer Safety, Reliability, and Security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings

      Maritta Heisel, Peter Liggesmeyer

      665 kr

      Maritta Heisel - Formale Programmentwicklung mit dynamischer Logik, E-bok

      Formale Programmentwicklung mit dynamischer Logik

      Maritta Heisel

      E-bok
      2019

      461 kr

      Ivan Mistrik, Rami Bahsoon, Nour Ali, Maritta Heisel, Bruce Maxim - Software Architecture for Big Data and the Cloud, Häftad

      Software Architecture for Big Data and the Cloud

      Ivan Mistrik, Rami Bahsoon, Nour Ali, Maritta Heisel, Bruce Maxim

      Häftad, 2017

      1 213 kr

      Fabio Martinelli, Javier Lopez, Wouter Joosen, Maritta Heisel - Engineering Secure Future Internet Services and Systems, E-bok

      Engineering Secure Future Internet Services and Systems

      Fabio Martinelli, Javier Lopez, Wouter Joosen, Maritta Heisel

      E-bok
      2014

      732 kr

      Maritta Heisel - Software Service and Application Engineering, E-bok

      Software Service and Application Engineering

      Maritta Heisel

      E-bok
      2012

      732 kr

      Bruce Maxim, Maritta Heisel, Nour Ali, Rami Bahsoon, Ivan Mistrik - Software Architecture for Big Data and the Cloud, E-bok

      Software Architecture for Big Data and the Cloud

      Bruce Maxim, Maritta Heisel, Nour Ali, Rami Bahsoon, Ivan Mistrik

      E-bok
      2017

      1 736 kr

      Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli - Engineering Secure Future Internet Services and Systems, Häftad
      Del 8431

      Engineering Secure Future Internet Services and Systems

      Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli

      Häftad, 2014

      566 kr

      Maritta Heisel - Software Service and Application Engineering, Häftad

      Software Service and Application Engineering

      Maritta Heisel

      Häftad, 2012

      566 kr

      Maritta Heisel - Formale Programmentwicklung mit dynamischer Logik, Häftad

      Formale Programmentwicklung mit dynamischer Logik

      Maritta Heisel

      Häftad, 1992

      581 kr