- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Diss., 2014
- Identifier
-
1064868525
Thema
Kryptologie ; Softwareschutz ; Informatik ; Internet ; Software; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:52 MEZ
Objekttyp
- Monografie
Beteiligte
- Reischuk, Raphael M.
- Backes, Michael
Ähnliche Objekte (12)
Formal verification of cryptographic security proofs
Rational cryptography: novel constructions, automated verification and unified definitions
Abstracting cryptographic protocols
Trustworthy and privacy-preserving processing of personal information : cryptographic constructions, protocols, and tools
Plugging in trust and privacy : three systems to improve widely used ecosystems
Replaying and Isolating Failure-Inducing Program Interactions
The SEMAINE API : a component integration framework for a naturally interacting and emotionally competent embodied conversational agent
Establishing mandatory access control on Android OS
A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services
Optimized wide area media transport strategies
Cluster abstraction of graph transformation systems
Coalition formation among rational agents in uncertain and untrustworthy environments
Formal verification of cryptographic security proofs
Rational cryptography: novel constructions, automated verification and unified definitions
Abstracting cryptographic protocols
Trustworthy and privacy-preserving processing of personal information : cryptographic constructions, protocols, and tools
Plugging in trust and privacy : three systems to improve widely used ecosystems
Replaying and Isolating Failure-Inducing Program Interactions
The SEMAINE API : a component integration framework for a naturally interacting and emotionally competent embodied conversational agent
Establishing mandatory access control on Android OS
A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services
Optimized wide area media transport strategies
Cluster abstraction of graph transformation systems
Coalition formation among rational agents in uncertain and untrustworthy environments
Formal verification of cryptographic security proofs
Rational cryptography: novel constructions, automated verification and unified definitions
Abstracting cryptographic protocols
Trustworthy and privacy-preserving processing of personal information : cryptographic constructions, protocols, and tools
Plugging in trust and privacy : three systems to improve widely used ecosystems
Replaying and Isolating Failure-Inducing Program Interactions
The SEMAINE API : a component integration framework for a naturally interacting and emotionally competent embodied conversational agent
Establishing mandatory access control on Android OS
A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services
Optimized wide area media transport strategies
Cluster abstraction of graph transformation systems