论文部分内容阅读
缺血性脑白质损害核磁共振弥散张量成像和认知障碍的关系
【出 处】
：
医学研究生学报
【发表日期】
：
2006年12期
其他文献
本文在基于进程演算方法方面作了一定的研究，并且对本方向的研究前景作了总结和展望。论文主要内容及创新点包括:
(1)在对Spi演算的研究中，定义了一个原语，解决了原演算不能验证存在时间戳的安全协议的各种验证，并基于扩展了的Spi演算，验证了Kerbero。协议的认证性。
(2)目前，安全协议形式化研究尚未有人验证协议的匿名性，本文基于Applied pi演算，讨论了iKP协议是否具有匿名性，同时也验
学位