Verifiable Policy-Defined Networking Using Metagraphs

Dinesha Ranathunga, Matthew Roughan, Hung X. Nguyen. Verifiable Policy-Defined Networking Using Metagraphs. IEEE Trans. Dependable Sec. Comput., 19(1):482-494, 2022. [doi]

Abstract

Abstract is missing.