Search

Author:

Malis, Alexander

Title:

Robust Network Information Flow Control

Graduate Program:

Computer Science and Engineering

Keywords:

Pi-Calculus
Information Flow Control
Raft
Distributed Computing
Denotational Semantics

File:

Download RNPiFC.pdf

Committee Members:

Danfeng Zhang, Thesis Advisor/Co-Advisor
Sencun Zhu, Committee Member
Chitaranjan Das, Program Head/Chair