填空题 可以将安全策略分为（）安全策略和（）安全策略。

填空题 借鉴软件工程中的相关知识，对体系结构的描述经常采用（）的方法，并且主要有三类视图，即（）视图、（）视图和（）视图。

填空题 远程证明技术主要包括（）、（）和（）三种。