贵州财经大学毕业论文格式.docVIP

贵州财经大学毕业论文格式 附件一：毕业论文参考格式 本 科 毕 业 论 文 （设 计） 我国储蓄函数的多元线性回归 分析我国储蓄函数的多元线 作 者 专 业 指导教师 分 院 孙彦龙 金融学 张目 副教授 金融学院 二〇一〇年五月 诚信声明 本人郑重声明：本人所呈交的毕业论文，是在导师 指导下独立研究取得的成果。毕业论文中凡引用他人已经发表的成果、数据、观点等，均已明确注明出处。除文中已注明引用的 月 日 摘要 1.对电子商务协议的基本理论和基本性质进行了分析和讨论，包括：安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等，并对其中一些重要性质做新的定义，提出电子商务协议设计的基本准则。 2.对当前流行的电子商务协议形式化分析方法进行重点研究，包括BAN逻辑、Kailar逻辑及周—卿方法。采用这些较新的形式化分析方法对几个典型协议进行分析，找出设计缺 关键词： I The dissertation mainly studies the applications of logic and model checking methods in formal analysis of E-commerce protocols. In general, the author studies