- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
998578703X
- Maße
-
21 cm
- Umfang
-
XVII, 192 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Saarbrücken, Univ., Diss., 2002
- Klassifikation
-
Informatik
- Schlagwort
-
Kryptosystem
Informationsfluss
Statische Analyse
Kryptosystem; Informationsfluss
- Urheber
-
Laud, Peeter
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:02 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Laud, Peeter
Ähnliche Objekte (12)
Computationally secure information flow
Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
Formal Verification of Information Flow Secure Systems with IFlow
Secure Information Sharing with Distributed Ledgers
Secure information sharing with distributed ledgers
Model-Driven Code Generation for Information Flow Secure Systems with IFlow
Complete Primitives for Information-Theoretically Secure Two-Party Computation
Secure and privacy-preserving services based on secure multiparty computation
Flexible Secure Cloud Storage
Secure offline legitimation systems
Multilaterally Secure Pervasive Cooperation
Secure group key agreement
Computationally secure information flow
Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
Formal Verification of Information Flow Secure Systems with IFlow
Secure Information Sharing with Distributed Ledgers
Secure information sharing with distributed ledgers
Model-Driven Code Generation for Information Flow Secure Systems with IFlow
Complete Primitives for Information-Theoretically Secure Two-Party Computation
Secure and privacy-preserving services based on secure multiparty computation
Flexible Secure Cloud Storage
Secure offline legitimation systems
Multilaterally Secure Pervasive Cooperation
Secure group key agreement
Computationally secure information flow
Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
Formal Verification of Information Flow Secure Systems with IFlow
Secure Information Sharing with Distributed Ledgers
Secure information sharing with distributed ledgers
Model-Driven Code Generation for Information Flow Secure Systems with IFlow
Complete Primitives for Information-Theoretically Secure Two-Party Computation
Secure and privacy-preserving services based on secure multiparty computation
Flexible Secure Cloud Storage
Secure offline legitimation systems
Multilaterally Secure Pervasive Cooperation