abstract Software updates are highly significant in autonomous vehicles. These updates are
utilized to provide enhanced features and updated security mechanisms. In order to ensure …

Behavioural state machine models of software systems are a valuable tool for validating
behaviour, but creating state machine models of existing implementations manually is highly …

Moderne Fahrzeuge besitzen aufgrund der Integration neuartiger Technologien und
Funktionen sowie der zunehmenden Vernetzung innerhalb des Fahrzeugs, mit anderen …

Abstract Internet of Things (IoT) devices are repeatedly subject to attackers with varying
levels of sophistication due to historically weak security. Due to the nature of their differing …

This study investigates the viability of revising The Update Framework (TUF) to be
implemented on a distributed ledger called IOTA. TUF is a framework that is becoming the …

Software repositories, or servers that host and distribute software updates, are becoming
increasingly important in a wide variety of settings, including automobiles, cloud computing …

The increasing dependence of modern automotive systems on electronics and software
poses cybersecurity risks previously not factored into design and engineering of such …

論文抄録 通信技術の発展にともない, 我々を取り囲む多くのモノは, ネットワークを介して接続されて
さまざまな機能を実現するようになった. このような環境において, これら偏在するモノを再構成し …

近年, あらゆるモノがインターネットに接続される Internet of Things (IoT) システムが急速に拡大し
つつある. IoT システムは, 組込みシステムをインターネット経由でクラウドに接続しシステムとして …