机构

• 软件研究所 [2]
• 高能物理研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [2]
• 专利 [1]

发表日期

• 2021 [1]
• 2011 [2]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 一种闪烁探测器 专利  OAI收割 专利号: CN214750860U, 申请日期: 2021-01-01, 公开日期: 2021 作者:  孙希磊;  张大力;  安正华;  李新乔;  熊少林   |  收藏  |  浏览/下载：21/0  |  提交时间：2023/06/02 时间相关密码协议逻辑及其形式化语义 期刊论文  OAI收割 软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/10/10 密码协议  时间相关  谓词模态逻辑  形式化语义Cryptography  Formal logic  Semantics   一种基于恶意主体的通用公平交换协议 期刊论文  OAI收割 解放军理工大学学报(自然科学版), 2011, 卷号: 12, 期号: 1, 页码: 19-24 雷新锋; 范晓健; 马文; 刘军; 肖军模   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/10/10 公平交换协议  公平性  不可否认性  保密性  时限性