Sicherheit

Sicherheitskritischer Softwareentwicklungsprozess

Die aktuelle politische und wirtschaftliche Lage diktiert, dass für Organisationen, die im sicherheitsrelevanten Bereich tätig sind, sicherheitsrelevante Sachverhalte eine entscheidende Rolle für Manager von Systementwicklungen spielen, die in so unterschiedlichen Industriesektoren wie Transport, Verteidigung, Finanzen und Energie tätig sind.

Die Software, die für solche Märkte entwickelt wird, erfordert oft Systeme, die den Einfluss des Risikos, welches eine Komponente auf andere Module des Systems besitzt, abmildert. Sehr oft operieren die verschiedenen Komponenten eines Softwaresystems auf verschiedenen Sicherheits- oder Vertrauensebenen und daher muss die Trennung der verschiedenen Komponenten gewährleistet sein.

LDRA hat Erfahrungen in den folgenden Bereichen

• Die Unterstützung von Organisationen, die die IEC/ISO Kriterien zur Evaluierung der Sicherheit in der Informationstechnologie erfüllen müssen.
• Zertifizierung von Sicherheit und sicherheitskritischer Projekte.
• Bereitstellung von Analyse- und Verifizierungsartefakte für Zertifizierungsbehörden
• Zertifizierung von MILS Architekturen

Sicherheitsbasierte Statische Analyse

Mit der erhöhten Konnektivität von Softwaresystemen ging eine erhöhte Anzahl von Angriffen auf die Softwaresicherheit einher. Unsere Gesellschaft ist bereits äußerst abhängig von Softwareanwendungen, die auf Systemen ablaufen, welche kritisch für die korrekte Funktion der Systeme in Wirtschaft und Infrastruktur sind.

Studien haben gezeigt, dass die Mehrzahl der Schadensanfälligkeiten solcher Systeme auf einen gemeinsamen Satz von Programmierfehlern zurückgeführt werden kann. Der CERT C Standard zielt darauf ab solche Risiken mittels Softwaretests und Analysewerkzeugen, die diese Probleme identifizieren, zu reduzieren, bevor sie in den produktiven Code einfließen.

Statische Analysewerkzeuge wie die LDRA Werkzeugreihe helfen einschneidende Programmierfehler vor dem Einsatz der Programme aufzufinden, denn wenn sie bereits laufen sind solche Fehler schwieriger oder gar nicht aufzufinden.

LDRA besitzt umfangreiche Erfahrungen auf den folgenden Gebieten:

• CERT C
• Speicher- und zeigerbasierte Laufzeitanalyse

Weitere Informationen

Zwecks weiterführender Informationen über die Unterstützung sicherheitskritischer Softwareentwicklung auf sicherheitsbasierter statischer Analyse mit der LDRA Werkzeugreihe klicken Sie bitte hier.