深入 世界安全 验证的 SSI 体系结构 参考的 安全问题 建筑师 安全分析 正式的 问题 生产力 敏感的 模型 系统的 结构模式 驱动的 生成程序 验证 独立的 框架 提高 实验结果 根据 可靠性 开发环境 分析 集成 安全 解决方案 攻击者 模式 系统分析 威胁 最佳 使用的 机械化