张子剑
- 作品数：59 被引量：15H指数：2
- 供职机构：北京理工大学更多>>
- 发文基金：国家自然科学基金国家部委预研基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 一种可抵抗内部攻击的高效群组密钥协商协议编译器
- 2010年
- 目前设计可抵抗内部攻击的群组密钥协商协议需要调用2个不同的协议编译器,使得协议的执行效率较低而且协议设计的复杂度较高,为此,通过改进上述2个协议编译器,提出了一种新的编译器.该编译器只需对群组密钥协商协议进行一次编译,即可生成具有抵抗内部攻击能力的群组密钥协商协议.然后在随机预言机模型下,针对提出的编译器所生成的协议进行了安全性分析,并严格证明了生成的协议是具有抵抗内部攻击能力的群组密钥协商协议.最后对比分析表明,利用提出的编译器生成的协议与现有编译器生成的协议相比,具有较高的效率和较低的设计复杂度.
- 张子剑祝烈煌廖乐健
- 关键词：群组密钥协商编译器可证安全
- 一种高轨卫星组网认证及可信保持方法
- 本发明涉及一种新的高轨卫星组网认证及可信保持协议，依托于高轨卫星网络模型与对称密钥认证方案，包括高轨卫星组网认证和高轨卫星可信保持两部分。高轨卫星网络模型包括地面控制中心、高轨卫星网络以及低轨卫星网络；基于对称密钥认证方...
- 徐畅陈雨馨黄聪裕张子剑祝烈煌
- 一种基于zk-SNARK的可监管的隐私保护区块链系统及方法
- 本发明涉及一种基于zk‑SNARK的可监管的隐私保护区块链系统及方法，属于区块链应用技术领域。本发明利用同态加密进行通信过程中的数据计算，借助zk‑SNARK零知识证明技术确保通信数据的正确性，通过在通信的地址集合中添加...
- 徐蕾张越崴祝烈煌盖珂珂张子剑
- 一种面向C语言的长安链智能合约安全性分析方法
- 本发明提供一种面向C语言的长安链智能合约安全性分析方法，涉及区块链技术领域，其包括：获取基于C语言编写的长安链智能合约代码数据集；对长安链智能合约代码数据集进行预处理，得到训练数据集；构建大语言检测模型，并基于训练数据集...
- 张子剑章显昊魏志远杨小萱祝烈煌
- 一种可抵抗内部攻击的高效群组密钥协商协议编译器
- 目前设计既是可证安全又可抵抗内部攻击的群组密钥协商协议，在设计时通常需要依次调用两个不同的编译器。这导致了协议执行效率较低而且协议设计的复杂度较高。为此，本文首先提出了一种新的编译器，只需对群组密钥协商协议进行一次编译，...
- 张子剑祝烈煌廖乐健
- 关键词：群组密钥协商编译器可证安全
- 新的低轨星座组网认证与群组密钥协商协议被引量：11
- 2018年
- 由于低轨卫星具有通信和持续监测的功能,其在航天领域得到广泛的应用,然而现有的卫星通信系统中没有专门的认证系统。为了解决该问题,针对低轨星座组网设计了轻量级的认证协议,考虑了认证过程中链路切换的情况,对协议进行了仿真验证并与3GPP AKA协议进行对比。模拟实验结果表明,低轨星座组网认证协议比3GPP AKA协议效率提高了20%,同时群组密钥协商时间约为300 ms。
- 张子剑周琪张川童逍瑶李春磊王龙
- 关键词：密钥协商
- 一种基于通信树的加密货币首发节点关联挖掘方法
- 本发明涉及一种基于通信树的加密货币首发节点关联挖掘方法，属于区块链分析技术领域。首先对从区块链网络中获取交易信息，并查询获得所有交易对应的发起者账户信息集合。然后对账户集合中的各账户依次进行节点关联挖掘，查询账户发起的交...
- 张子剑张国强郭振宇李承益徐蕾祝烈煌张超高振鹏
- 分布式网络环境下信任模型的研究与实现
- 张子剑
- 关键词：信任模型信任分布式网络可信计算
- 一种高轨卫星组网认证及可信保持协议
- 本发明涉及一种新的高轨卫星组网认证及可信保持协议，依托于高轨卫星网络模型与对称密钥认证方案，包括高轨卫星组网认证和高轨卫星可信保持两部分。高轨卫星网络模型包括地面控制中心、高轨卫星网络以及低轨卫星网络；基于对称密钥认证方...
- 徐畅陈雨馨黄聪裕张子剑祝烈煌
- 一种基于网络延迟与算力延缓中本聪共识账本同步的方法
- 本发明公开了一种基于网络延迟与算力延缓中本聪共识账本同步的方法。本发明在比特币网络中设置一运行模型和一操作者模型；比特币网络中包括诚实节点和攻陷节点；操作者模型将诚实节点分为两组并将攻陷节点分别加入两组进行挖矿；诚实节点...
- 张子剑林绍琛马秀娟毛洪亮刘旭洋魏志远李臻邢智博祝烈煌
