构件化安全苛求软件的安全接口策略 (2008年)

在采用构件化技术的安全苛求软件中，软件的安全性仍旧是首要特性，介绍了多故障模式下的安全接口策略，并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中，对系统中单个构件定义安全接口，从而为整个软件系统提供了有效的安全性保障。