Shop : Details
Shop
Details
Matthias Schneider
Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen
Die Synchronisation von Uhren ist in industriellen, privaten und öffentlichen Kommunikationsnetzen von elementarer Wichtigkeit. Alle Server und Endgeräte müssen in einem Netzwerk direkten Zugriff auf die aktuelle Systemzeit haben, damit zum Beispiel Zeitstempel korrekt generiert und auf ihre Gültigkeit geprüft werden können. Die Verteilung der aktuellen Systemzeit kann mit unterschiedlichen Technologien erfolgen. So können in drahtlosen Zeitverteildiensten gleichzeitig Zeitinformationen an viele Millionen Teilnehmer gesendet werden. Zu dieser Kategorie von Kommunikationsnetzen zählen Zeitzeichendienste, Navigationssysteme und auch Datendienste, wie die Funkrundsteuertechnik. In allen Kommunikationsnetzen wird die Systemzeit regelmäßig an alle User verteilt. Hierbei spielte die Datensicherheit bisher nur eine untergeordnete Rolle. Mögliche Schäden durch Angriffe auf Zeitverteildienste wurden in der Vergangenheit meist vernachlässigt. Jedoch besteht die Gefahr von Hackerangriffen.
Der Fokus dieser Dissertation liegt auf der Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen. Zunächst werden unterschiedliche Zeitverteilsysteme untersucht und eine Sicherheitsanalyse durchgeführt. Als Ergebnis der Sicherheitsanalyse wird ein Katalog von Sicherheitsanforderungen für drahtlose Zeitverteildienste definiert und darauf aufbauend ein Verifikationsverfahren für Zeitinformationen vorgestellt, dass auf dem Vergleich zwischen einer physikalischen und einer logischen Differenzzeit basiert. Für die physikalische Differenzzeit wird die Zeit zwischen zwei korrekt aufeinanderfolgend empfangenen Zeitzeichen in einem Empfänger gemessen. Diese physikalische Differenzzeitmessung erfolgt mit einem oder mehreren Digitalzählern. Hierbei wird das Taktsignal für die Digitalzähler direkt aus dem modulierten Empfangsdatenstrom zurückgewonnen. Die logische Differenzzeit wird aus den Zeitinformationen in den Zeitzeichen berechnet. Über den direkten Vergleich von physikalischer und logischer Differenzzeit wird die Verifikation der Zeitinformationen durchgeführt. Ist das Ergebnis des Vergleichs zwischen der physikalischen und der logischen Differenzzeit gleich „Null“ oder kleiner als ein zuvor definierter Grenzwert, so ist die Verifikationsprüfung der zuletzt empfangenen Zeitinformation erfolgreich.
Das hier vorgestellte Verifikationsverfahren für Zeitinformationen in drahtlosen Kommunikationssystemen wurde so konzipiert, dass die Verifikation der empfangenen Zeitinformation alleine im Empfänger erfolgt. Somit muss nur die Firmware im Empfänger um die Funktionalität des Verifikationsverfahrens erweitert werden. Dies ermöglicht die Integration des Verifikationsverfahrens in alle drahtlosen und drahtgebundenen Zeitverteilsysteme, in denen ein kontinuierliches Taktsignal für die physikalische Differenzzeitmessung aus dem modulierten Empfangssignal extrahiert werden kann.
Als Testimplementierungen für das Verifikationsverfahren wurde je ein Laborprototyp für den Zeitzeichendienste DCF77 und die Funkrundsteuertechnik entwickelt. Mit diesen Prototypen konnte abschließend das Verhalten des hier vorgestellten Verifikationsverfahrens in zwei realen Zeitverteilsystemen einem Praxistest unterzogen werden.
Der Fokus dieser Dissertation liegt auf der Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen. Zunächst werden unterschiedliche Zeitverteilsysteme untersucht und eine Sicherheitsanalyse durchgeführt. Als Ergebnis der Sicherheitsanalyse wird ein Katalog von Sicherheitsanforderungen für drahtlose Zeitverteildienste definiert und darauf aufbauend ein Verifikationsverfahren für Zeitinformationen vorgestellt, dass auf dem Vergleich zwischen einer physikalischen und einer logischen Differenzzeit basiert. Für die physikalische Differenzzeit wird die Zeit zwischen zwei korrekt aufeinanderfolgend empfangenen Zeitzeichen in einem Empfänger gemessen. Diese physikalische Differenzzeitmessung erfolgt mit einem oder mehreren Digitalzählern. Hierbei wird das Taktsignal für die Digitalzähler direkt aus dem modulierten Empfangsdatenstrom zurückgewonnen. Die logische Differenzzeit wird aus den Zeitinformationen in den Zeitzeichen berechnet. Über den direkten Vergleich von physikalischer und logischer Differenzzeit wird die Verifikation der Zeitinformationen durchgeführt. Ist das Ergebnis des Vergleichs zwischen der physikalischen und der logischen Differenzzeit gleich „Null“ oder kleiner als ein zuvor definierter Grenzwert, so ist die Verifikationsprüfung der zuletzt empfangenen Zeitinformation erfolgreich.
Das hier vorgestellte Verifikationsverfahren für Zeitinformationen in drahtlosen Kommunikationssystemen wurde so konzipiert, dass die Verifikation der empfangenen Zeitinformation alleine im Empfänger erfolgt. Somit muss nur die Firmware im Empfänger um die Funktionalität des Verifikationsverfahrens erweitert werden. Dies ermöglicht die Integration des Verifikationsverfahrens in alle drahtlosen und drahtgebundenen Zeitverteilsysteme, in denen ein kontinuierliches Taktsignal für die physikalische Differenzzeitmessung aus dem modulierten Empfangssignal extrahiert werden kann.
Als Testimplementierungen für das Verifikationsverfahren wurde je ein Laborprototyp für den Zeitzeichendienste DCF77 und die Funkrundsteuertechnik entwickelt. Mit diesen Prototypen konnte abschließend das Verhalten des hier vorgestellten Verifikationsverfahrens in zwei realen Zeitverteilsystemen einem Praxistest unterzogen werden.
Schlagwörter: Kommunikation; Verifikation; Zeit; DCF77; Funkrundsteuertechnik
Forschungsberichte des Instituts für Digitale Kommunikationssysteme
Herausgegeben von Prof. Dr. Christoph Ruland, Siegen
Band 36
Verfügbare Online-Dokumente zu diesem Titel
Sie benötigen den Adobe Reader, um diese Dateien ansehen zu können. Hier erhalten Sie eine kleine Hilfe und Informationen, zum Download der PDF-Dateien.
Bitte beachten Sie, dass die Online-Dokumente nicht ausdruckbar und nicht editierbar sind.
Bitte beachten Sie auch weitere Informationen unter: Hilfe und Informationen.
Bitte beachten Sie auch weitere Informationen unter: Hilfe und Informationen.
| Dokument |  | Gesamtdokument | ||
| Dateiart |  | |||
| Kosten |  | 36,60 € | ||
| Aktion |  | Zahlungspflichtig kaufen und download der Datei | ||
| Dokument |  | Inhaltsverzeichnis | ||
| Dateiart | | |||
| Kosten |  | frei | ||
| Aktion |  | Download der Datei | ||
Benutzereinstellungen für registrierte Online-Kunden (Online-Dokumente)
Sie können hier Ihre Adressdaten ändern sowie bereits georderte Dokumente erneut aufrufen.
Benutzer
Nicht angemeldet
Export bibliographischer Daten
Shaker Verlag GmbHAm Langen Graben 15a52353 Düren
Mo. - Do. 8:00 Uhr bis 16:00 UhrFr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
