单项选择题 甲方和乙方采用公钥密码体制对数据文件进行加密传送，甲方用乙方的公钥加密数据文件，乙方使用（）来对数据文件进行解密。

单项选择题 在信息系统开发过程中，系统规范描述了（）

单项选择题 经元组演算R=t|u)(v)(A(u)∧B(v)∧u(2)=f∧t[1]=u[3]∧t[2]=u[2]∧t[3]=u[1]∧t[4]=v[2])后的结果为（）