目前保证协议安全性，有两种基本方法：一种是用( )来证明一个协议是安全的；另一种是设计者用经验来分析协议的安全性。
参考答案：形式化方法
一跳水运动员从离水面10 m高的平台上跃起，举双臂直体离开台面，此时其重心位于从手到脚全长的中心，跃起后重心升高0.45 m达到最高点，落水时身体竖直，手先入水（在此过程中运动员水平方向的运动忽略不计），从离开跳台到手触水面，他可用于完成空中动作的时间是_________s。（计算时，可以把运动员看做全部质量集中在重心的一个质点，g取10 m/s2，结果保留三位有效数字）
下列症状的叙述中，哪一项不是低钾血症的临床表现（）。
A.肌肉软弱无力，甚至四肢软瘫
B.腹胀、肠麻痹
C.心慌、心率快
D.尿量明显减少、并出现大量蛋白尿及管型尿
E.低钾、低氯性碱中毒而无明显抽搐
