Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example

von Marksteiner, Stefan
Veröffentlicht in International Conference on Engineering of Computer-Based Systems (8. : 2023 : Västerås) Engineering of computer-based systems (2024)

Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach

von Marko, Nadja
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)

Steering Drivers of Change: Maximising Benefits of Trustworthy IoT

von Veledar, Omar
Veröffentlicht in EuroSPI (28. : 2021 : Krems an der Donau) Systems, Software and Services Process Improvement (2021)