安全证明文件

GSN理论下CTCS-3车载安全计算机安全分析 本文比较了 CTCS与ETCS在系统层面和安全分析中的差异，提出了 CTCS-3系统中车载安全计算机VC的隐患和安全需求。运用GSN方法提出了安全论证规范化的建议，包括论证的严密性方面避免遗

2013-12-02

candace