Publikationen pro Jahr
Publikationen pro Jahr
Projektdetails
Beschreibung
Aktuelle Implementierungen von Sicherheitsprotokollen zur Kommunikation weisen oft Fehler auf, die in weiterer Folge zu Sicherheitslücken führen. Im Projekt SPLIT verwenden wir modellbasierte und kombinatorische Methoden zur Testfallgenerierung um Fehler in Implementierungen von Sicherheitsprotokollen zu finden und somit die zur verfügungstehende Informationsinfrastruktur sicherer zu machen.
| Status | Abgeschlossen |
|---|---|
| Tatsächlicher Beginn/ -es Ende | 1/02/16 → 31/07/18 |
Fingerprint
Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.
Publikationen
- 3 Beitrag in einem Konferenzband
-
Weighted Combinatorial Sequence Testing for the TLS Protocol
Garn, B., Simos, D. E., Duan, F., Lei, Y., Bozic, J. & Wotawa, F., 2019, IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19). Institute of Electrical and Electronics EngineersPublikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Planning-Based Security Testing of the SSL/TLS Protocol
Bozic, J., Kleine, K., Simos, D. E. & Wotawa, F., 2017, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Testing TLS Using Combinatorial Methods and Execution Framework
Simos, D. E., Bozic, J., Duan, F., Garn, B., Kleine, K., Lei, Y. & Wotawa, F., 2017, IFIP International Conference on Testing Software and Systems (ICTSS'17).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung