Year of publication
Type of media
Source
Subject
Type of material
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 -
Auf den Spuren der Kommunalen Kriminalprävention in Deutschland: Anfänge - Etablierung - Perspektiven in Wissenschaft und Praxis.
On the Trails of Communal Crime Prevention in Germany: Beginnings - Establishment - Perspectives in Science and PracticeDataCite | 2020|Keywords: Kriminologie , Sicherheit , Kommunalpolitik, zivile 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 -
Bericht der Regierungskommission zur Überprüfung der Sicherheitsgesetzgebung in Deutschland vom 28. August 2013
DataCite | 2013|Keywords: Deutschland , Sicherheit , Gesetzgebung , Bericht -
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 -
Vindicta. Rache als Sicherheitsproblem in theologischen Diskursen des deutschen Spätmittelalters
DataCite | 2023|Keywords: Sicherheit -
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 -
Sicherheit ist machbar! Das Heidelberger Audit-Konzept für urbane Sicherheit, am Beispiel der Kommunalen Kriminalprävention in Pforzheim
DataCite | 2022|Keywords: Safety, crime, fear of crime, security audit, community crime prevention, security situation, objective security, subjective security, municipal policy field of action, quality of life, crime prevention, municipal crime prevention, security audit, Heidelberg Audit Concept for Urban Security (HAKUS), security survey, population survey, projects, prevention measures, evaluation, Sicherheit, Kriminalität, Kriminalitätsfurcht, Sicherheitsbefragung, Kommunale Kriminalprävention, Sicherheitslage, objektive Sicherheit, subjektive Sicherheit, kommunalpolitisches Handlungsfeld, Lebensqualität, Kriminalprävention, Sicherheitsaudit, Heidelberger Audit Konzept für urbane Sicherheit (HAKUS), Sicherheitsbefragung, Bevölkerungsbefragung, Projekte, Präventionsmaßnahme, Evaluation -
Approach for application-specific selection of risk assessment methods
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 -
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 -
Approximate Range Counting Under Differential Privacy
Free accessDataCite | 2021|Keywords: Security and privacy → Formal methods and theory of security -
Secure Computation with Non-Equivalent Penalties in Constant Rounds
Free accessDataCite | 2022|Keywords: Security and privacy → Cryptography
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.