目前保证协议安全性，有两种基本方法：一种是用( )来证明一个协议是安全的；另一种是设计者用经验来分析协议的安全性。
参考答案：形式化方法
2008年12月，蓝月亮歌厅收取的费用为包间费10万元，烟酒饮料费40万元，点歌费等其他费用20万元(已知服务业税率为5%，娱乐业税率为20%)，则该歌厅12月份应缴纳的营业税为( )。
A．10万元
B．11万元
C．6.5万元
D．14万元
下列所述的各项诉讼权利中，所有的当事人都享有的权利是：( )
A．提起上诉权
B．提起反诉权
C．申请回避权
D．撤诉权
