Formal security proof for a scheme on a topological network

Roberto Civino, Riccardo Longo. Formal security proof for a scheme on a topological network. Adv. in Math. of Comm., 17(3):562-571, 2023. [doi]

Abstract

Abstract is missing.