csw-slides-2024

2024年开发安全软件 摘要 随着人类对计算机系统的依赖日益加深，对安全可靠的软件的需求变得至关重要。如今，从飞机、火车、汽车到牙刷和炉灶，一切事物都包含大量微型计算机。而每一个这样的系统，又都包含用于告诉这些计算机如何完成工作并将其与其他计算机连接的软件。这些系统中的安全问题，虽然取决于具体情境，但已导致从轻微不便到人员伤亡等各种后果。...