形式化攻击者能力描述的计算可靠性研究

研究在安全协议仅使用数据完整性算法时,形式化分析方法中形式化攻击者能力描述的计算可靠性.首先假设计算性攻击者的能力超过形式化攻击者的能力,然后构造攻击实验,进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾,因此得出计算性攻击者所能生成的消息均属于形式化攻击者所能生成的消息闭集这一结论.基于该结论,可以构建或者改进形式化分析系统,使其具有计算可靠性.

非线性脉冲时滞双曲偏微分方程的振动性

讨论了非线性脉冲双曲偏微分方程解的振动性质,利用微分不等式方法将所讨论的脉冲偏微分方程转化为脉冲时滞微分方程的问题,获得了其一切解不依赖状态脉冲的双曲Robin边值问题解振动的充分性判据;结论将脉冲微分方程的振动性质推广到具时滞的脉冲偏微分方程;同时也指出了脉冲和时滞在振动中的影响作用以及脉冲时滞偏微分方程解的振动性质在生物学、医学、工程学、化学、物理学等学科中的广泛应用。