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

简介：从无到有，从小到大，奥士康傲然屹立、步履坚定、勇往直前，不断创造着新的荣耀与辉煌。作为中国PCB行业的一匹“黑马”。奥士康跳跃式增长的业绩让人惊讶；其“大排版”、“高速度”、“自动化”的独门绝技也让人为之叹服。

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

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