目前保证协议安全性，有两种基本方法：一种是用( )来证明一个协议是安全的；另一种是设计者用经验来分析协议的安全性。

肺热津伤，筋失濡润型见症为

A．病起发热，或热后突然出现肢体软弱无力
B．四肢痿软，身体困重
C．肢体痿软无力，逐渐加重，神疲乏力
D．起病缓慢，下肢痿软无力，腰脊酸软
E．突然昏仆，半身活动不利