Northwestern University

Parent Unit Name

Login

LIBRARIES | ARCH

Menu Search

Start Over

Filtering by: Keyword Formal Methods Resource type Dissertation

1 entry found

List Gallery Masonry Slideshow

Enabling Robust and Secure Edge-to-Cloud Communications

Description:

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...

Keyword:

Network Protocols, Networked Systems, Cellular Networks, Serverless Computing, and Formal Methods

Subject:

Computer science

Creator:

Hou, Kaiyu

Owner:

Scholarly Digital Publishing

Language:

en

Date Uploaded:

06/22/2022

Date Created:

2022-01-01

Resource Type:

Dissertation

Alternate Identifier:

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