简介：摘要印证证明模式的提出引发学界和实践较大反响，2011年《关于办理死刑案件审查判断证据若干问题的规定》和《关于办理刑事案件排除非法证据若干问题的规定》昭示了印证证明模式在法律规范层面的确立，体现了我国法治运行过程中对证据审查的重视。十年来学界关于印证证明模式的纷争，是从这一证明模式在实践中应当发生的具体效果以及存在根源等角度进行的深入剖析。本文试从主体者利益合乎论角度分析印证模式存续的合理性，并为该模式良性发展提出建议。

简介：可信计算已经从前几年的大造舆论、广泛宣传,转入到实现阶段。但是当前可信计算还存在一些问题需要解决,比如可信计算平台远程证明（以下简称远程证明）的实现。首先说明了基于PKI的远程证明存在的问题,然后针对这些问题,提出基于身份的远程证明方案。对新方案的优点和缺点进行了详细的分析,并设计了一个基于身份的远程证明协议,然后使用模型检测工具SPIN对其进行了形式化分析。

简介：摘要区块链本质上是一个去中心化的分布式账本数据库，在区块链技术发展周期的初期。比特币是区块链技术的第一次也是最著名的一次应用，我们看到了这种可在网络中建立信任而无需中央管理机构的技术的更多可能性——区块链技术具有彻底重塑我们所有经济活动的潜力。不局限于与比特币混杂在一起的思维方式，打开思路展开对区块链技术的想象会看到区块链技术无限的可能性。

简介：摘要在新课改理念的不断深化之下，核心素养的培养受到众多教师的重视。高中生物的核心素养内涵中，包含有重要的生命观念，培养这一观念能够让学生对于生命有更加深刻的认知，能够形成热爱生命、尊重生命、理解生命价值的观念，并且能够了解到更多关于生物学科研究学习的意义，触发学生的学习兴趣。然而在具体的教学活动中，生命观念的培养如何与具体的课程内容相结合，达到更好的引导效果，这些实践性的问题成为一些教师的困惑。基于此，本文围绕着生命观念的培养，结合教学实践的策略，展开探讨。