Browsing by Author "Vatic, Amel"

Now showing 1 - 2 of 2

Open Access
Designing a cooperation space for software-defined vehicles
(2025) Vatic, Amel
The increasing role of software in vehicles presents great opportunities for enhanced smart city mobility solutions. Among those, is enabling the interactions of vehicles with one another and other digital objects, such as functions, in a shared digital space. In such a digital space, representations of vehicles and functions can interact and cooperate with each other. This thesis explores the design and implementation of digital Cooperation Spaces (CSs) to facilitate enhanced cooperation and coordination among Software-Defined Vehicles, infrastructure elements, functions and other stakeholders in a smart city environment. The core concept involves creating digital twins of physical entities within the CSs, enabling them to communicate, collaborate, and make informed decisions. Motivated by the complexity of modern transportation and the need for adaptive solutions, this work develops use cases and requirements for a cooperative system supporting the dynamic entry and exit of digital objects. Based on these, we outline the architectural considerations for developing such a system. Using these discussed considerations, this work presents a system architecture for such a cooperation system, along with a proof-of-concept implementation showcasing fundamental functionalities. This prototype implementation features the CSs and digital objects such as digital twins of vehicles and mobility functions. Furthermore, a simulation visualizes vehicles driving in a simulated urban environment and interacting with a CS and relevant functions. Then, the implementation is tested with an increasing number of participants in the CS to identify potential bottlenecks and future research areas. The work also highlights remaining challenges and opportunities for future investigation. Thereby, these findings guide the development and real world deployment of such a cooperation system and contribute to the creation of more sustainable and efficient urban environments and mobility solutions.
Open Access
Informelle Sicherheitsanalyse der Sequent Tech Identitäts- und Zugriffsmanagementkomponente
(2022) Vatic, Amel
Die IAM-Komponente wurde von Sequent Tech Inc. für ihre E-Voting-Anwendung entwickelt und anschließend als eigenständige Software-Komponente veröffentlicht. Sie bietet Funktionalität zur Authentifizierung und Autorisierung von Benutzern in einem Anwendungssystem. In dieser Arbeit wird eine informelle Sicherheitsanalyse der IAM-Komponente und der in der Komponente definierten Authentifizierungsprotokolle angefertigt. Die Authentifizierungsprotokolle legen dabei jeweils fest, wie sich die Benutzer bei der IAM-Komponente authentisieren müssen. Die Grundlage dieser Analyse bildet dabei eine ausführliche Beschreibung dieser Komponente und ihrer Authentifizierungsprotokolle, die im Rahmen dieser Arbeit ebenfalls angefertigt wird. Von besonderer Interesse ist dabei das Single-Sign-On Authentifizierungsprotokoll SmartLink. Nachdem wir die Beschreibung angefertigt haben, werden die IAM-Komponente und ihre Authentifizierungsprotokolle informell analysiert. Dabei beginnen wir mit der Identifikation der Annahmen und der Angreifermodelle, die für die Sicherheitsanalyse zu Grunde gelegt werden. Die drei Sicherheitsziele, die in von der IAM-Komponente erfüllt werden müssen sind dabei Authentifizierung, Autorisierung und Session Integrity. In der darauffolgenden Sicherheitsanalyse werden die Komponente und die Authentifizierungsprotokolle bezüglich allen Sicherheitsdefinitionen überprüft.