عنوان

Formal Techniques for Automated Design of Adaptive Networked Systems Based on Security and Resiliency Requirements

Number

TL52735

.Language of Text, Soundtrack etc

انگلیسی

Title Proper

Formal Techniques for Automated Design of Adaptive Networked Systems Based on Security and Resiliency Requirements

General Material Designation

[Thesis]

First Statement of Responsibility

Jakaria, A. H. M.

Subsequent Statement of Responsibility

Siraj, Ambareen

Name of Publisher, Distributor, etc.

Tennessee Technological University

Date of Publication, Distribution, etc.

2020

Text of Note

177 p.

Dissertation or thesis details and type of degree

Ph.D.

Body granting the degree

Tennessee Technological University

Text preceding or following the note

2020

Text of Note

With the ever-growing need for connectivity in this era of smart and autonomous systems, we are observing an extensive use of network services. The increasing use of cyber technology, however, leads to the proliferation of security threats. Therefore, it is essential to design a secure and resilient architecture for networked systems. Moreover, due to the diversified cyber usages as well as security requirements, adaptive and ad-hoc networking solutions are increasingly being adopted. While adaptive networking provides many flexibilities, it requires to be properly (re)configured considering the changed context and dependability aspects. Organizations are seeking more reliable and automated design strategies that can meet the operational goals and security requirements within the budget and capability constraints, which is a multi-objective and combinatorially hard constraint satisfaction problem. This dissertation addresses this problem by proposing a suite of network synthesis techniques using formal methods that can automatically synthesize network configurations satisfying the given requirements. This research considers three configuration synthesis problems that cover different security and resiliency perspectives of the automated design of adaptive networked systems. The first problem addresses the configuration synthesis for a network functions virtualization (NFV)-based network concerning a security objective that requires the appropriate deployment of virtual network functions (VNFs) on physical servers. The second problem studies the automated synthesis of incremental deployment plans for software-defined networking (SDN) compatible switches. Here, we choose the context of enabling security and resiliency for a communication network in a smart grid. The objective of the third problem is to ensure resilient communication for a collaborative network of unmanned aerial vehicles (UAVs), maintaining in-flight constraints and mission requirements. To solve the problems mentioned above, this research designs and implements three frameworks that involve the formal modeling of the system specifications, operator requirements, and budget and network constraints. The formal models are encoded and solved using efficient logic formulas based on satisfiability modulo theories (SMT). The solutions to the models synthesize necessary network configuration parameters. Finally, simulated experiments are performed on synthetic data to evaluate the efficacy as well as the scalability of the developed solutions.

Subject Term

Computer science

Jakaria, A. H. M.

Siraj, Ambareen

Tennessee Technological University

Electronic name

p

[Thesis]

276903

a

Y