这个域管什么

「怎么证明程序或协议是对的」。是 crypto、lang、vuln 的理论支撑。