书目详细信息 : 基于安全需求的信息物理系统设计