搜索结果: 1-2 共查到“计算机科学技术 Soundness”相关记录2条 . 查询时间(0.119 秒)
Soundness and its Role in Bug Detection Systems
Soundness Role Bug Detection Systems
font style='font-size:12px;'>
2016/5/24
The term soundness originated in mathematical logic: a deductive system is sound with respect to a semantics if it only proves valid arguments. This concept naturally extends to the context of optimiz...
Computational Soundness of Uniformity Properties for Multi-party Computation based on LSSS
Computational Soundness Uniformity Properties
font style='font-size:12px;'>
2015/12/21
We provide a symbolic model for multi-party computation
based on linear secret-sharing scheme, and prove that this model is computationally
sound: if there is an attack in the computational world, t...