Digital signatures, one of the most important components of cryptography, are the base of theory for protecting the integrity and authenticity of information.
数字签名是密码学中重要的组成部分之一，是信息完整性、真实性的理论基础。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and modification.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and mod...
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and mod...
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
应用推荐