论文部分内容阅读
固始鸡生长过程中不同类型肌纤维面积比的变化
【出 处】
：
西北农林科技大学学报(自然科学版
【发表日期】
：
2006年02期
其他文献
本文在基于进程演算方法方面作了一定的研究，并且对本方向的研究前景作了总结和展望。论文主要内容及创新点包括:
(1)在对Spi演算的研究中，定义了一个原语，解决了原演算不能验证存在时间戳的安全协议的各种验证，并基于扩展了的Spi演算，验证了Kerbero。协议的认证性。
(2)目前，安全协议形式化研究尚未有人验证协议的匿名性，本文基于Applied pi演算，讨论了iKP协议是否具有匿名性，同时也验
学位