Since the invitation of ARPANet in 1969, network protocols and communication systems have continued to emerge. Especially in the past decade, the prosperity of mobile internet and cloud computing has resulted in a large number of network protocols and communication systems, which have become critical infrastructure for our society. Availability and security, as two of the most important requirements for networks, are, however, not always achieved due to misconfiguration or performance restrictions. My dissertation focuses on enabling robust and secure edge-to-cloud communications in large networked systems. Generally, a networked system consists of two major parts: the edge access network and the centralized cloud network. In this dissertation, I will introduce two of my projects. The former project secures configurations for the cellular networks (the edge), while the latter secures and optimizes the communication channel for the serverless networks (the cloud). Both projects target next-generation network protocols, concentrating on practical solutions for real-world networked systems. They have been validated via extensive analysis, implementations, and real-world evaluations.

Creator

• Hou, Kaiyu

DOI

• https://doi.org/10.21985/n2-ramz-mq48

Subject

• Computer science

Language

• en

Alternate Identifier

• etdadmin_upload_898314
• http://dissertations.umi.com/northwestern:16013

Keyword

• Network Protocols
• Networked Systems
• Cellular Networks
• Serverless Computing
• Formal Methods

Date created

• 2022-01-01

Resource type

• Dissertation

Rights statement

• In Copyright