逻辑模型论文

接收方不可否认签名技术研究
一、收方不可否认签名技术的研究（论文文献综述）韩志耕,石青山,杨鹏,陈耿,范远哲[1]（2022）在《不可否认协议分析的扩展ZQZ逻辑方法》文中进行了进一步梳理不可否认协议必须...
陈以翔教授与计算语义模型研究
一、陈仪香教授与计算语义模型研究（论文文献综述）温晋杰[1]（2020）在《空天运输遥操作系统净评估与可信度认定研究》文中研究说明为了统筹经济建设与国防建设协同发展,我国提出了...