Securing Internet Routing: Machine-Checked Proofs for ASPA Route-Leak Detection and a False-Positive Flaw in the ASRA Extension

Otoi, Nobuo

DOI: 10.5281/zenodo.23734450

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.