目前保证协议安全性，有两种基本方法：一种是用( )来证明一个协议是安全的；另一种是设计者用经验来分析协议的安全性。
参考答案：形式化方法
移动平均数法
下列选项中，属于有限责任公司监事会行使的职权有（）
Ⅰ.向股东会会议提出提案
Ⅱ.提议召开临时股东大会
Ⅲ.选举和更换由股东代表出任的监事
Ⅳ.决定公司内部管理机构的设置
A.Ⅰ、Ⅱ
B.Ⅰ、Ⅲ
C.Ⅰ、Ⅳ
D.Ⅱ、Ⅲ
