Infrastructure Security

Aether 這篇論文真正值得看的，不只是它用了多代理，而是它把 network change validation 這件最花時間、最容易出事的工作，綁進一個以 digital twin 為共同世界模型的 verification / simulation / testing 閉環。