论文部分内容阅读
与重症急性呼吸综合征有关精神异常的临床观察
【出 处】
：
中华精神科杂志
【发表日期】
：
2004年05期
其他文献
本文在基于进程演算方法方面作了一定的研究，并且对本方向的研究前景作了总结和展望。论文主要内容及创新点包括:
(1)在对Spi演算的研究中，定义了一个原语，解决了原演算不能验证存在时间戳的安全协议的各种验证，并基于扩展了的Spi演算，验证了Kerbero。协议的认证性。
(2)目前，安全协议形式化研究尚未有人验证协议的匿名性，本文基于Applied pi演算，讨论了iKP协议是否具有匿名性，同时也验
学位
论文所作的主要工作包括:1.分析可信信息系统从功能性评估到保证性评估,再到过程性评估的发展和相关的重要标准,指出信息安全是一项复杂的系统工程,保证要求的满足是信息安全工程的重点,安全可信软件的设计开发需要安全软件工程思想和技术的积极利用,各阶段的成果和参照物的一致性对系统可靠性和可信性具有重要的影响.2.提出一个安全数据库系统的体系结构参考模型.3.在分析现有的访问控制模型特点的基础上,讨论了作为
学位