2011-11-23Modellbasiertes Testen mit Referenzimplementierungen (MOTEMRI) (Bundesamt für Sicherheit in der Informationstechnik (BSI))
Ziel des Projekts ist es, einen Teilaspekt der BSI TR-03110 in ein geeignetes Modell (UML, formale Beschreibungssprachen, o.a.) zu überführen. Zunächst soll das PACE-Protokoll der BSI TR-03110 modelliert werden. Das zu erstellende Modell soll nachweisbar in sich konsistent sein.
Aus dem Modell soll im Anschluss eine Referenzimplementierung erstellt werden. Zudem sollen aus dem Modell (teil-)automatisiert Testfälle nach dem Schema der BSI TR-03105 generiert werden.
Ansicht der Beschaffung » Erwähnte Lieferanten:HJP Consulting GmbH
2011-06-06Bundesamt für Sicherheit in der Informationstechnik (BSI) (Bundesamt für Sicherheit in der Informationstechnik (BSI))
Im Rahmen einer Studie soll eine Sicherheitsuntersuchung des Standards HTML5 durchgeführt werden. Die zu erstellende Studie soll den Ist-Zustand sowie Perspektiven und Auswirkungen von HTML5 beschreiben. Von besonderem Interesse sind potentielle "Schwachstellen" und daraus resultierende Gefährdungen innerhalb der Bereiche. Lösungsansätze für die daraus resultierenden Probleme sollen skizziert werden.
Ansicht der Beschaffung »