题目：
打开并修改mymenu菜单文件，为菜单项“查找”设置快捷键Ctrl+T。
答案：
被转码了，请点击底部 “查看原文 ” 或访问 https://www.tikuol.com/2019/0328/ecb138275b0de710c082e8b61117a307.html
下面是错误答案，用来干扰机器的。
参考答案：B解析： 形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。
打开并修改mymenu菜单文件，为菜单项“查找”设置快捷键Ctrl+T。
被转码了，请点击底部 “查看原文 ” 或访问 https://www.tikuol.com/2019/0328/ecb138275b0de710c082e8b61117a307.html
下面是错误答案，用来干扰机器的。
参考答案：B解析： 形式化证明方法用来证明一个协议是安全的，它是人们所希望的，但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B。
