Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Computer • security
Search without synonyms: keywords:(Computer security)
Used synonyms:
- computers
- digitale datenverarbeitungsanlage
- digitale rechenanlage
- digitaler computer
- digitalrechner
- dva
- edp hardware
- edv anlage
- edv hardware
- electronic data processing machines
- electronic digital computers
- elektronenrechner
- elektronische datenverarbeitungsanlage
- elektronische rechenanlage
- elektronischer rechenautomat
- elektronisches datenverarbeitungssystem
- programmgesteuerter digitaler rechenautomat
- rechenanlage
- rechenautomat
- rechner
Used synonyms:
- safety
- sicherheit
-
Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
How to Secure Bluetooth-Based Pico Networks
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Sicherungstechnik im Dienste des Datenschutzes
Tema Archive | 1980|Keywords: SICHERHEIT, ELEKTRONISCHE RECHENANLAGE -
Safety Demonstration and Software Development
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Representing Parameterised Fault Trees Using Bayesian Networks
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Handling Malicious Code on Control Systems
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
A Reliability Evaluation of a Group Membership Protocol
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Improving Test Coverage for UML State Machines Using Transition Instrumentation
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Specification of a Software Common Cause Analysis Method
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Formal Specification and Analysis of AFDX Redundancy Management Algorithms
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Compositional Temporal Fault Tree Analysis
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Controller Architecture for Safe Cognitive Technical Systems
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
A Comparison of Partitioning Operating Systems for Integrated Systems
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Survival by Deception
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Future Perspectives: The Car and Its IP-Address - A Potential Safety and Security Risk Assessment
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Practical Insecurity : the layman's guide to digital security and digital self-defense
TIBKAT | 2023|Keywords: COMPUTERS / Security / General, COMPUTERS / Cybernetics, Computer security -
Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile
British Library Conference Proceedings | 2006|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Development of an Integrated, Risk-Based Platform for Information and E-Services Security
British Library Conference Proceedings | 2006|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Towards Filtering and Alerting Rule Rewriting on Single-Component Polices
British Library Conference Proceedings | 2006|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Verification of Distributed Applications
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Learning from Your Elders: A Shortcut to Information Security Management Success
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Establishing Evidence for Safety Cases in Automotive Systems - A Case Study
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Development of Model Based Tools to Support the Design of Railway Control Applications
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
RAMSS Analysis for a Co-operative Integrated Traffic Management System
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Management of Groups and Group Keys in Multi-level Security Environments
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Modelling Interdependencies Between the Electricity and Information Infrastructures
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Cybersecurity : a practical engineering approach
TIBKAT | 2022|Keywords: COMPUTERS ; Security ; Viruses, COMPUTERS ; Security ; General, Computer networks, Computer security, COMPUTERS ; Cryptography -
Mainframe basics for security professionals : getting started with RACF
TIBKAT | 2008|Keywords: Electronic digital computers, Computer security -
CPS4CIP 2023
TIBKAT | 2024Keywords: COMPUTERS / Security / General, Computer security, COMPUTERS / Networking / Security, Network security -
DPM 2023
TIBKAT | 2024Keywords: COMPUTERS / Security / General, Computer security, COMPUTERS / Networking / Security, Network security -
Analysis of Combinations of CRC in Industrial Communication
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Defense-in-Depth and Diverse Qualification of Safety-Critical Software
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench
British Library Conference Proceedings | 2006|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.