检索结果

Select

1. 只需异或运算的秘密分享方案

袁琦钊, 蔡红亮, 张景中, 夏航宇

计算机应用 2015, 35 (7): 1877-1881. DOI: 10.11772/j.issn.1001-9081.2015.07.1877

摘要（644）

PDF （925KB）（22915）

针对传统基于插值多项式的秘密分享方案,需要复杂的多项式运算,当涉及的数据比较大时,运算效率特别低的问题,提出一种结合数据分块方法以及仅需要在GF(2)上的异或运算的秘密分享方案,并应用于大规模数据的安全保护机制。理论分析与实验结果表明,与传统基于插值多项式的秘密分享方法相比,所提方法在运行效率上提升了19.3%。

参考文献 | 相关文章 | 多维度评价

Select

2. 基于节点失效的洋葱路由匿名链路控制方法

卓中流, 张小松, 李瑞杏, 陈厅, 张景中

计算机应用 2015, 35 (10): 2843-2847. DOI: 10.11772/j.issn.1001-9081.2015.10.2843

摘要（772）

PDF （786KB）（557）

针对洋葱路由(Tor)随机选路算法选取的通信路径不可控制,进而导致匿名技术滥用和溯源方法失效的问题,提出了一种基于节点失效的Tor匿名链路控制方法。通过发送伪造的TCP复位信息模拟节点失效,从而不断让Tor客户端重新选路,并最终选择到受控链路,来达到有效链路控制的目的。对Tor网络选路算法的理论分析和在拥有256个洋葱路由组成的私有Tor网络中的实际测试结果表明,与传统部署高带宽路由吸引用户选中受控节点的方法相比,该方法在Tor客户端默认开启入口守卫的情况下,将传统方法选择受控入口节点的概率由4.8%提高到约60%。实验结果表明,随着受控链路长度的增大,链路建立的成功率会降低,因此所提方法适用于控制较短链路的情形。

参考文献 | 相关文章 | 多维度评价

Select

3. 可由用户持续发展的几何自动推理平台的推理算法

郑焕张景中

计算机应用 2011, 31 (08): 2101-2104. DOI: 10.3724/SP.J.1087.2011.02101

摘要（1651）

PDF （837KB）（818）

目前的几何定理证明器都不具有可持续性。提出一种结构具有一般性的知识表示和能够统一处理所有规则的推理算法，初步实现了可由用户持续发展的几何自动推理平台。该推理平台允许用户添加几何知识，如几何对象、谓词和规则，并可以综合使用多种推理算法，如前推搜索法和一部分面积法，它将更适合用于几何教学。

参考文献 | 相关文章 | 多维度评价

Select

4. 仿射质点几何的可读机器证明

邹宇郑焕张景中

计算机应用 2010, 30 (07): 1899-1901.

摘要（993）

PDF （608KB）（1204）

讨论并发展了能自动证明几何定理的质点几何方法，建立了能处理希尔伯特交点类命题的仿射几何机器证明算法,并实现为Maple程序。对上百个非平凡命题运行的结果显示，这种方法不仅效率高，多数证明的可读性也令人满意。