Deliverables and Services - IHP Microelectronics

2 A n n u A l R e p o R t 2 0 0 7
A U S G E w ä H L T E P R O J E K T E – S E L E C T E d P R O J E C T S
Das Modul für die automatische Integration kombiniert
die Programmdateien und generiert ein zusätzliches
Modul, das die anderen Module verbindet und steuert.
In einem letzten Schritt erzeugt dieses Modul ein Makefile
das zum Kompilieren der Quelldateien verwendet
werden kann.
Das Modul für den Sicherheitsbeweis bewertet die erreichte
Sicherheitsstufe. Hierfür analysiert es die drei
Sicherheitskategorien: Vertraulichkeit, Integrität und
Zuverlässigkeit unter Berücksichtigung der Sicherheitsstufen
der ausgewählten Module. Zusätzlich gehen Datenflussanalysen
in die Bewertung ein.
Abb. 3: Die Komponenten des Konfigurierungswerkzeuges für
sichere Sensornetze.
Fig. 3: the components of the configuration toolkit for secure
sensor networks.
the automatic integration module assembles the
source files, creates a top module that uses and connects
the other modules, and finally creates Makefiles
that can be used to compile the image.
the proof-of-security functionality module assesses
the achieved security level. In order to do this it analyses
the three security categories - concealment,
integrity and robustness- taking into account the security
level of the individual ubiSec&Sens modules.
In addition data flow aspects are included in the assessment.