知识表示和推理（Knowledge Representation and Reasoning,KRR）是人工智能核心研究内容之一,旨在为实现基于知识的智能系统提供知识......

随着科学技术的迅速发展,非线性问题大量出现在自然科学、工程技术乃至社会科学的许多领域中,成为当前科学研究的焦点.分歧是一种......

本文首先指出了文献 [1]强等价在分析两个方案的安全性关系中的局限性 ,并对它进行了推广———安全强等价 ,利用相互转换的方法证......

主要讨论EIGamal签名方案及其变体方案之间的安全性关系.首先指出已有的文献在证明过程中的一个误用,该误用会对相应签名方案的安......