東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Heterogeneous Approaches to Secure D...

Matsui, Shoma,

FindBook

Google Book

Amazon

博客來

Heterogeneous Approaches to Secure Discrete-Event Systems /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Heterogeneous Approaches to Secure Discrete-Event Systems // Shoma Matsui.
作者:	Matsui, Shoma,
面頁冊數:	1 electronic resource (189 pages)
附註:	Source: Dissertations Abstracts International, Volume: 86-10, Section: B.
Contained By:	Dissertations Abstracts International86-10B.
標題:	Language. -
電子資源:	https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=31923456
ISBN:	9798311908252

Heterogeneous Approaches to Secure Discrete-Event Systems /
Matsui, Shoma,

Heterogeneous Approaches to Secure Discrete-Event Systems /Shoma Matsui. - 1 electronic resource (189 pages)

Source: Dissertations Abstracts International, Volume: 86-10, Section: B.

In the architectures of current networked systems, multiple components are potential targets under multiple types of attacks. Thus, this thesis proposes heterogeneous approaches to design secure controllers by employing three security notions in discrete-event systems (DES): secret protection, opacity, and actuator/sensor attacks.First, this thesis extends secret protection in DES from monolithic systems consisting only of one agent to distributed systems comprising more than one agent. The work presented in the thesis was motivated by the architecture of distributed databases and access control. The thesis addresses a problem of protecting secret information against intruders, supposing that secret information is separated into pieces and stored in local agents. The thesis approaches this problem by ensuring that at least one piece of distributed secret information is secured by a prescribed number of protections, preventing intruders from retrieving entire secret information.Next, this thesis tackles a problem of securing secret information in the system under two common attack types: eavesdropping and infiltration, by employing the existing methodologies of degree of opacity and secret protection. Given a prescription of required security levels against eavesdropping and infiltration for each secret in the system, the thesis develops algorithms to determine which event transitions in the system should be concealed and which ones should be protected. The main challenge in this problem is a constraint that transitions cannot be protected if they are concealed, and vice versa, modelling a limitation of practical security mechanisms.Finally, this thesis addresses the setting where all actuators and sensors in the system are subject to attack, called indefinite attacks. This setting captures a practical situation in which system designers do not know potential attack targets a priori. The thesis shows not only that even one sensor attack can make it impossible to find a supervisor that is resilient against indefinite actuator attacks, but also that sensor attacks can be prevented by disabling actuators equipped with sensors which the attacker targets. Taking these new challenges into account, the thesis proposes an extended methodology to compute a partial-observation supervisor which provides prescribed resilience against both indefinite actuator attacks and indefinite sensor attacks.

English

ISBN: 9798311908252Subjects--Topical Terms:

643551
Language.

Heterogeneous Approaches to Secure Discrete-Event Systems /
LDR:03670nmm a22003853i 4500 001 2433253
005 20250825104033.5
006 m o d
007 cr|nu||||||||
008 261011s2025 miu||||||m |||||||eng d
020 $a 9798311908252
035 $a (MiAaPQD)AAI31923456
035 $a AAI31923456
040 $a MiAaPQD $b eng $c MiAaPQD $e rda
100 1 $a Matsui, Shoma, $e author. $3 3822790
245 1 0 $a Heterogeneous Approaches to Secure Discrete-Event Systems / $c Shoma Matsui.
264 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2025
300 $a 1 electronic resource (189 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 86-10, Section: B.
500 $a Advisors: Rudie, Karen; Cai, Kai.
502 $b Ph.D. $c Queen's University (Canada) $d 2025.
520 $a In the architectures of current networked systems, multiple components are potential targets under multiple types of attacks. Thus, this thesis proposes heterogeneous approaches to design secure controllers by employing three security notions in discrete-event systems (DES): secret protection, opacity, and actuator/sensor attacks.First, this thesis extends secret protection in DES from monolithic systems consisting only of one agent to distributed systems comprising more than one agent. The work presented in the thesis was motivated by the architecture of distributed databases and access control. The thesis addresses a problem of protecting secret information against intruders, supposing that secret information is separated into pieces and stored in local agents. The thesis approaches this problem by ensuring that at least one piece of distributed secret information is secured by a prescribed number of protections, preventing intruders from retrieving entire secret information.Next, this thesis tackles a problem of securing secret information in the system under two common attack types: eavesdropping and infiltration, by employing the existing methodologies of degree of opacity and secret protection. Given a prescription of required security levels against eavesdropping and infiltration for each secret in the system, the thesis develops algorithms to determine which event transitions in the system should be concealed and which ones should be protected. The main challenge in this problem is a constraint that transitions cannot be protected if they are concealed, and vice versa, modelling a limitation of practical security mechanisms.Finally, this thesis addresses the setting where all actuators and sensors in the system are subject to attack, called indefinite attacks. This setting captures a practical situation in which system designers do not know potential attack targets a priori. The thesis shows not only that even one sensor attack can make it impossible to find a supervisor that is resilient against indefinite actuator attacks, but also that sensor attacks can be prevented by disabling actuators equipped with sensors which the attacker targets. Taking these new challenges into account, the thesis proposes an extended methodology to compute a partial-observation supervisor which provides prescribed resilience against both indefinite actuator attacks and indefinite sensor attacks.
546 $a English
590 $a School code: 0283
650 4 $a Language. $3 643551
650 4 $a Behavior. $3 532476
650 4 $a Usability. $3 3681540
650 4 $a Computer engineering. $3 621879
650 4 $a Medical equipment. $3 3560831
650 4 $a Design. $3 518875
690 $a 0389
690 $a 0464
690 $a 0679
710 2 $a Queen's University (Canada). $e degree granting institution. $3 3765623
720 1 $a Rudie, Karen $e degree supervisor.
720 1 $a Cai, Kai $e degree supervisor.
773 0 $t Dissertations Abstracts International $g 86-10B.
790 $a 0283
791 $a Ph.D.
792 $a 2025
856 4 0 $u https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=31923456