- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
998578703X
- Dimensions
-
21 cm
- Extent
-
XVII, 192 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Saarbrücken, Univ., Diss., 2002
- Classification
-
Informatik
- Keyword
-
Kryptosystem
Informationsfluss
Statische Analyse
Kryptosystem; Informationsfluss
- Creator
-
Laud, Peeter
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:02 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Laud, Peeter
Other Objects (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