一、基于安全核的设计方法