Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
Synonyms were used for: Sicherheit
Search without synonyms: keywords:(Sicherheit)
Used synonyms:
- safety
- security
-
Bounded-Deducibility Security (Invited Paper)
Free accessDataCite | 2021|Keywords: Security and privacy → Security requirements, Information-flow security, Security and privacy → Formal security models, Security and privacy → Logic and verification -
An Increasing Need for Formality (Invited Talk)
Free accessDataCite | 2019|Keywords: Security and privacy → Formal methods and theory of security, Security and privacy → Security in hardware, Hardware security -
MEMS sensors as physical unclonable functions
DataCite | 2019|Keywords: IoT security, hardware security -
Pilot- und Modellprojekt: Studie zur Erfassung der körperlichen Aktivität und Lebensqualität bei Jugendlichen zwischen 13 und 18 Jahren mit chronisch nichtbakterieller Osteomyelitis (CNO).
Pilot and model project : Physical activity and health-related quality of life in patients with chronic non-bacterial OsteomyelitisDataCite | 2020|Keywords: 613 Persönliche Gesundheit und Sicherheit -
Patienten mit Migrationshintergrund in einem Bezirkskrankenhaus – eine klinische Querschnittsanalyse.
Patients with migration backround in a district hospital – a cross-sectional clinical analysisDataCite | 2020|Keywords: 613 Persönliche Gesundheit und Sicherheit -
Zyto- und Gentoxizität von Zinkoxid-Nanopartikeln in humanen mesenchymalen Stammzellen nach repetitiver Exposition und im Langzeitversuch.
Time-Dependent Toxic and Genotoxic Effects of Zinc Oxide Nanoparticles after Long-Term and Repetitive Exposure to Human Mesenchymal Stem CellsDataCite | 2022|Keywords: 613 Persönliche Gesundheit und Sicherheit -
Private Data Stream Analysis for Universal Symmetric Norm Estimation
Free accessDataCite | 2023|Keywords: Security and privacy → Usability in security and privacy -
How to Make Your Approximation Algorithm Private: A Black-Box Differentially-Private Transformation for Tunable Approximation Algorithms of Functions with Low Sensitivity
Free accessDataCite | 2023|Keywords: Security and privacy → Usability in security and privacy -
How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.
Free accessDataCite | 2011|Keywords: security -
Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security
Free accessDataCite | 2019|Keywords: Security and privacy → Information flow control, Information flow security, Security and privacy → Logic and verification -
Provably Secure Networks: Methodology and Toolset for Configuration Management
DataCite | 2017|Keywords: Networks, Formal Methods, Security, Access control, Isabelle/HOL, iptables, Policy, Firewall, Tools, Security management, Formal methods -
Approach for application-specific selection of risk assessment methods
Free accessDataCite | 2021|Keywords: Supply Chain Security -
Simultaneous treatment of risk and resilience
Free accessDataCite | 2021|Keywords: Supply Chain Security -
Analysis of the Suez Canal blockage with queueing theory
Free accessDataCite | 2021|Keywords: Supply Chain Security -
Replacing Probability Distributions in Security Games via Hellinger Distance
Free accessDataCite | 2021|Keywords: Security and privacy → Cryptography, Security proof
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.