The computer science research community is constantly debating the question of how to make provably secure software.

• 资讯科学研究社群正在争论如何制作出确实安全的软体。