Hochschulschrift | Online-Publikation
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Deutsch
- Anmerkungen
-
München, Techn. Univ., Diss., 2002
- Schlagwort
-
Elektronische Unterschrift
Verifikation
Beschreibungssprache
BAN-Logik
Public-Key-Infrastruktur
- Urheber
- URN
-
urn:nbn:de:bvb:91-diss2002072215723
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 00:27 MEZ
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
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Digitale Signaturen im Rechtsverkehr
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
Design und Verifikation der ersten digitalen kommerziellen Luftbildkamera (ADS)
Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken
Experimentelle Verifikation eines Simulationssystems für eine GASSCREW
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Digital-Radio (DAB) : Überblick über den Stand des terrestrischen digitalen Hörfunks
Analyse und Konstruktion blinder interaktiver Signaturen
Definition, Teilimplementation und Verifikation eines vollautomatischen Vermittlungssystems für den Personentransport
Wissenschaftliches Publizieren im digitalen Zeitalter und die Rolle der Bibliotheken
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Nicht von Dauer : kleiner Ratgeber für die Bewahrung digitaler Daten in Museen
Digitale Signaturen im Rechtsverkehr
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
Design und Verifikation der ersten digitalen kommerziellen Luftbildkamera (ADS)
Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken
Experimentelle Verifikation eines Simulationssystems für eine GASSCREW
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Digital-Radio (DAB) : Überblick über den Stand des terrestrischen digitalen Hörfunks
Analyse und Konstruktion blinder interaktiver Signaturen
Definition, Teilimplementation und Verifikation eines vollautomatischen Vermittlungssystems für den Personentransport
Wissenschaftliches Publizieren im digitalen Zeitalter und die Rolle der Bibliotheken
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Nicht von Dauer : kleiner Ratgeber für die Bewahrung digitaler Daten in Museen
Digitale Signaturen im Rechtsverkehr
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
Design und Verifikation der ersten digitalen kommerziellen Luftbildkamera (ADS)
Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken
Experimentelle Verifikation eines Simulationssystems für eine GASSCREW
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Digital-Radio (DAB) : Überblick über den Stand des terrestrischen digitalen Hörfunks
Analyse und Konstruktion blinder interaktiver Signaturen
Definition, Teilimplementation und Verifikation eines vollautomatischen Vermittlungssystems für den Personentransport
Wissenschaftliches Publizieren im digitalen Zeitalter und die Rolle der Bibliotheken
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme