目前保证协议安全性，有两种基本方法：一种是用( )来证明一个协议是安全的；另一种是设计者用经验来分析协议的安全性。
参考答案：形式化方法
用人单位应当建立职工名册备查，下列项目中，( )不属于职工名册应当包括的内容。
A．劳动者性别B．用工起始时间C．直系亲属的资料D．劳动合同期限
下列哪些文档是必须输出（不可裁减）的：（）
A.参数调整记录
B.扫频报告
C.网络优化合同
D.网络优化报告
