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
-
Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28 - 30, 2005 ; proceedings
TIBKAT | 2005|Keywords: Electronic digital computers, Computer software, Industrial safety, Computer security -
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Free accessTIBKAT | 2019|Keywords: Computers., Electronic digital computers, Computer science, Electronic digital computers—Evaluation., Computer system failures., Computer security, Systems and Data Security, Computer system performance -
Pericoli inferenti alla messa a terra di sistemi per l'elaborazione dati, strumentazione elettronica e similari
Tema Archive | 1976|Keywords: SICHERHEIT, EDV-ANLAGE -
Problemi per la messa a terra di peniferiche remote connesse ad un sistema centrale di elaborazione datio di processo
Tema Archive | 1976|Keywords: EDV-ANLAGE, SICHERHEIT -
SECURITY WITHOUT OBSCURITY : frequently asked questions (faq)
TIBKAT | 2021|Keywords: COMPUTERS / Internet / Security, COMPUTERS / Networking / Security, COMPUTERS / Cryptography, Computer security -
Betriebssysteme - Systemvergleich
Tema Archive | 1979|Keywords: ELEKTRONISCHE DATENVERARBEITUNGSANLAGE, SICHERHEIT -
Safety Interfaces for Component-Based Systems
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
A Technique for Fault Tolerance Assessment of COTS Based Systems
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
On the Effectiveness of Run-Time Checks
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Philosophy of cybersecurity
TIBKAT | 2023|Keywords: COMPUTERS / Internet / Security, COMPUTERS / Networking / Security, COMPUTERS / Cryptography, Computer security -
The Application of an Object-Oriented Method in Information System Security Evaluation
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Automatic Analysis of a Safety Critical Tele Control System
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Defining and Decomposing Safety Policy for Systems of Systems
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
An IEC 62061 Compliant Safety System Design Method for Machinery
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Automatic Code Generation for PLC Controllers
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Public-Key Cryptography and Availability
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Functional Apportioning of Safety Requirements on Railway Signalling Systems
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Security Research from a Multi-disciplinary and Multi-sectoral Perspective
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
The TACO Approach for Traceability and Communication of Requirements
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Cyber Resilience in Critical Infrastructure
TIBKAT | 2023|Keywords: COMPUTERS / Security / General, COMPUTERS / Networking / Security, COMPUTERS / Cryptography, Computer security -
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Are High-Level Languages Suitable for Robust Telecoms Software?
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Cyber security using modern technologies : artificial intelligence, blockchain and quantum cryptography
TIBKAT | 2023|Keywords: COMPUTERS / Security / General, COMPUTERS / Networking / Security, Computer security -
Problem Frames and Architectures for Security Problems
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Justification of Smart Sensors for Nuclear Applications
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
A Formal Model for Fault-Tolerance in Distributed Systems
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
CMMI RAMS Extension Based on CENELEC Railway Standard
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
SECURITY ENGINEERING FOR EMBEDDED AND CYBER -PHYSICAL SYSTEMS
TIBKAT | 2022|Keywords: COMPUTERS / Security / General, COMPUTERS / Internet / Security, Computer security -
Towards a Cyber Security Reporting System - A Quality Improvement Process
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Finding Upper Bounds for Software Failure Probabilities - Experiments and Results
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Control and Data Flow Testing on Function Block Diagrams
British Library Conference Proceedings | 2005|Keywords: Computer software, Electronic digital computers, Computer security, Industrial safety -
Cyber Crime Investigator's Field Guide
TIBKAT | 2022|Keywords: COMPUTERS / Internet / Security, COMPUTERS / Networking / Security, COMPUTERS / Cryptography -
CYBERSECURITY SELF HELP GUIDE
TIBKAT | 2021|Keywords: COMPUTERS / Security / General, COMPUTERS / Internet / Security, Computer crimes, COMPUTERS / Networking / Security, Computer security -
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer
British Library Conference Proceedings | 2007|Keywords: Computer software, Electronic digital computers, Computer security, Computer safety, Computer reliability -
The cybersecurity body of knowledge : the ACM/IEEE/AIS/IFIP recommendations for a complete curriculum in cybersecurity
TIBKAT | 2020|Keywords: COMPUTERS / Security / General, COMPUTERS / Internet / Security, COMPUTERS / Networking / Security, Computer security ; Study and teaching, Computer security -
Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Free accessTIBKAT | 2018|Keywords: Computer Science, Computers, Electronic digital computers, Computer science, Data structures (Computer science), Data structures (Computer scienc, Computer system performance, Computer system failures, Electronic digital computers—Evaluation., Computer security -
Verbesserung der Authentifizierung in IT-Systemen durch spezielle Dienste des Betriebssystems
Tema Archive | 1995|Keywords: elektronische Datenverarbeitungsanlage, Sicherheit -
Cybersecurity blue team strategies : uncover the secrets of blue teams to combat cyber threats in your organization
TIBKAT | 2023|Keywords: COMPUTERS / Security / Viruses & Malware, COMPUTERS / Security / Network Security, COMPUTERS / Security / Cryptography & Encryption -
Tribe of Hackers Red Team : Tribal Knowledge from the Best in Offensive Cybersecurity
TIBKAT | 2019|Keywords: Computers, COMPUTERS / Security / Cryptography, Computer security -
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
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.