答辩记录模板

在该学位论文的研究中还存在着一定的不足：
（1）aCoral功耗管理框架中应用程序功耗管理部分只有设计思路还未实现，整个功耗管理框架还有待完善。
（2）论文中的测试部分相对薄弱，缺少对比。
本人论文内容精要内容：（请根据本人的论文摘要进行再精炼，总字数不超过400字）
问题3：用这套形式化分析方法分析三个著名的协议的时候，有没有相应的确切的指标？
回答：通过用这套方法对三个协议进行分析，确实得出了对三种协议的安全性的评价，但是并没有具体地指出这三种协议对某个攻击方式的免疫力的强弱，这是因为攻击方式实在太多，穷举是没有意义的。所以对这三种协议的安全性的评价采用了一种比较概括的描述。
回答：首先，这套方法的“先检测后证明”体系结构保证了一定程度上的正确性；其次，这套方法的基础在于Bellare和Rogaway所提出的著名的计算观点理论，所以正确性是可以很好的保证的。
问题2：你是如何遍历所有攻击的可能性的？如何确定攻击点的？
回答：这是借助于匹配对话的形式，在匹配对话中，可以很清楚地看到攻击者可以篡改的消息，把第一个可能篡改的消息进行修改后，如果得出矛盾，那么这个攻击点就不会被利用，反之则攻击成功。然后进入下一个可能的攻击点，进行前面同样的动作，直到所有攻击点都被遍历完为止。
表二：学位论文内容精要(应根据论文摘要内容精炼总结)
学位论文内容精要模式：
本文作者利用，较深入地研究了，探讨了，得出了的结论。
论文取得了下列研究成果（新见解、创新点）：
1.
2.
【说明：请答辩人以第三人称给出论文的内容精要，字数为100-150字左右】在该学位论文的研源自中还存在着一定的不足：（1）
（2）
2)答辩后当天晚上将此表填好后，以“答辩组编号_答辩顺序号_姓名”命名文件，例如：“05_11_王方”，并发至答辩组秘书邮箱。
3)范例参考后可从表中删除,以免混淆。
4)该模板可到学院公布答辩分组安排的通知上或QQ群上下载。
表一：答辩记录情况（包括提问及回答要点）：
问题1：如何证明提出的分析方法的正确性？
【说明：请答辩人根据论文的实际情况及答辩专家的意见给出论文不足的描述，字数为100字以内】
学位论文内容精要参考范例：
本文作者利用操作系统功耗管理技术和规范，较深入地研究了多核环境下系统功耗的管理机制，探讨了嵌入式多核实时操作系统aCoral中功耗管理框架的设计方案，得出了基于GA-PMA模型所实现的aCoral功耗管理框架能在多核环境下对系统动态功耗进行有效管理的结论。
论文取得了下列研究成果：
1.作者在研究了操作系统功耗管理技术、规范以及Linux功耗管理框架的基础上，提出了通用的功耗管理框架模型GA-PMA，为具体操作系统中功耗管理框架的设计提供了参考模型。
2.作者基于GA-PMA模型以及功耗管理技术和规范，设计和实现了aCoral功耗管理框架，该框架能够对多核系统动态功耗进行有效管理，是一个较为完整的嵌入式多核系统功耗管理框架。
问题4：有的公式没有编号，有的图片没有注明名称。
回答：会按照格式进行修改。
问题5：参考文献比较老，为什么不考虑自动化的检验方法？会不会考虑部分自动化？
回答：由于本文提出的分析方法是基于计算观点的理论，而现阶段对计算观点的讨论比较少，所以参考文献会比较老。这套方法主要的目的是提出一种理论上分析协议的形式化思想，自动化确实可以部分实现，但是由于这套方法的重心在于第五个模块，而这个模块恰恰是无法自动化的，所以部分自动化的意义并不是很大。
答辩人：答辩日期：年月日答辩地点：
填表说明：
1)本表需填写两部分内容：答辩记录情况、论文内容精要。填写前请参考每部分的范例。其中：
答辩记录情况：是指答辩人根据答辩现场的提问和回答要点进行整理、填写。
论文内容精要：是指答辩人根据本人论文摘要对本人论文内容给出的更加精辟的提炼内容。总字数勿超过400字。可参考模板和范例内容。