胡凯

作品数：45被引量：367H指数：9
导出分析报告
供职机构：北京航空航天大学更多>>
发文主题：合约链系统区块链交易架构更多>>
发文领域：自动化与计算机技术电子电信航空宇航科学技术文化科学更多>>
发文期刊：《计算机工程与设计》《北京航空航天大学学报》《计算机教育》《计算机与数字工程》更多>>
所获基金：国家自然科学基金中国航空科学基金国家高技术研究发展计划国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
链上、链下协同的智能合约即服务问题
《北京航空航天大学学报》2024年第10期3262-3273,共12页刘浩宇 马泽祁 叶亚飞 胡凯 
云南省重大科技专项(202103AN080001-001,202002AA100007,202002AD080003);软件开发国家重点实验室开放基金(SKLSDE-2022ZX-11)。
智能合约是区块链上的一种软件服务,具有价值传导、契约性和可信性等特点,当前各区块链系统上的智能合约数量越来越多,应用范围越来越广泛,传统智能合约的局限性也日益增大。隔离沙箱环境执行使智能合约与外界交互困难、资源受限、从而...
关键词：智能合约 智能合约即服务 链上、链下协同 服务认证 事件驱动 
基于Event-B的可靠智能合约自动生成方法
《计算机科学》2023年第10期343-349,共7页朱健 胡凯 王军 李洁 叶亚飞 时希言 
北京市自然科学基金(M22040);云南省重大科技专项(202103AN080001-001,202102AD080006)。
智能合约是一种以代码的方式执行合同条款的可计算交易协议,其应用场景与规模日益增长,承载着多达数十亿美元的各类资产。由于其代码缺陷可能会造成严重的经济损失,因此智能合约的可信开发成为技术关键。为此,提出了一种基于集合论语言E...
关键词：智能合约 Event-B方法 自动代码生成 Solidity合约 定理证明 
基于区块链的分布式加密投票系统被引量：3
《计算机科学》2022年第S02期679-684,共6页张伯钧 李洁 胡凯 曾俊豪 
国家重点研发项目(2018YFB1402702);云南省重大科技专项:基于服务智能合约的云南稀贵金属材料基因数据可信交易技术研发(202002AB080001-8);云南省重大科技专项:生物资源数字化开发应用(202002AA100007)
随着社会的发展进步,许多应用场景都需要进行投票表决。当前电子投票系统具有中心化的特点,投票过程难以公开透明,选民无法验证选票结果,需可信第三方计票机构参与唱票。针对以上问题,为了更好地适应愈加丰富的应用场景,文中研究并提出...
关键词：电子投票 区块链 智能合约 ElGamal算法 协同计算 
区块链与智能合约并行方法研究与实现被引量：5
《计算机科学》2022年第9期312-317,共6页王子凯 朱健 张伯钧 胡凯 
国家重点研发计划(2018YFB1402702);云南省重大科技专项(202002AB080001-8,202002AA100007)。
随着区块链技术的不断成熟,能够提供安全、匿名、不可篡改的交易环境且面向企业的区块链应用越来越多。传统的区块链架构面临着性能低、拓展性不足等问题,无法满足面向企业级应用的高并发、大数据的应用场景需求。为了更好地适应愈加丰...
关键词：区块链技术 智能合约 ParaChain区块链 SBFT共识协议 Task并行智能合约模型 
基于智能合约的数据共享激励机制研究被引量：10
《计算机工程》2022年第8期37-44,共8页张伯钧 郭一晨 王子凯 胡凯 
国家重点研发计划(2018YFB1402702);云南省重大科技专项“基于服务智能合约的云南稀贵金属材料基因数据可信交易技术研发”(202002AB080001-8);云南省重大科技专项“生物资源数字化开发应用”(202002AA100007)。
随着大数据时代的到来,构建数据共享社区成为一种促进数据收集、流通和使用的新模式,但是在传统社区组织方式下,成员由于互不信任导致不愿共享数据,且共享社区普遍缺乏有效的激励机制,从而限制了数据共享社区的发展。区块链的本质是一...
关键词：数据共享 演化博弈 激励机制 区块链 智能合约 
面向金融领域的智能合约特定语言设计被引量：2
《信息安全研究》2022年第5期468-474,共7页李洋 李洁 葛宁 胡凯 
国家重点研发计划项目(2018YFB1402702)。
基于区块链的智能合约专业性强、可读性差、生产效率低,近年来已有多个基于智能合约的面向金融各细分领域的领域特定语言(domain-specific language,DSL)被提出,并被用于解决不同领域专业人士直接书写智能合约难度大的问题.然而,面向金...
关键词：区块链 智能合约 金融 领域特定语言 资产证券化 
一种基于智能合约的全同态加密方法被引量：6
《网络空间安全》2020年第9期32-38,共7页仝秦玮 李洁 王洁 胡心森 胡凯 
国家自然基金项目(项目编号:61672074,61672075);教育部中国移动基金(项目编号:MCM20180104);国家重点研发计划(项目编号:2018YFB1402702)。
大数据的发展使得人们越来越注重数据的价值,传统数据交易中数据不加密或采用对称方式加密。这使得数据保护、用户隐私与使用效率不可兼得。文章设计了一种基于DGHV适应智能合约的同态加密方法,使得密文可以直接进行计算,从而保护交易...
关键词：区块链 智能合约 全同态加密 DGHV 
面向同步规范的并行代码自动生成被引量：3
《软件学报》2017年第7期1698-1712,共15页胡凯 张腾 尚利宏 杨志斌 Jean-Pierre TALPIN 
国家自然科学基金(91538202;61672074);软件开发国家重点实验室基金(SKLSDE-2016ZX-16)~~
随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台...
关键词：同步规范 SIGNAL 并行程序 代码生成 OPENMP 
众筹区块链上的智能合约设计被引量：42
《信息安全研究》2017年第3期211-219,共9页黄洁华 高灵超 许玉壮 白晓敏 胡凯 
国家自然科学基金项目(61672074;61672075);教育部-中国移动基金项目(MCM20160203);软件开发环境国家重点实验室基金项目(SKLSDE-2016ZX-16)
P2P众筹是一种基于互联网金融技术的热点模式,目前的众筹平台还存在公信力不足、无法监管等问题,新兴的区块链和智能合约技术提供了解决问题的新技术途径.区块链作为分布式账本数据库,记录了不可更改的资产数据,存储在区块链上的智能合...
关键词：智能合约 区块链 众筹 众筹区块链 私有区块链 
基于众筹业务的私有区块链研究被引量：27
《信息安全研究》2017年第3期227-236,共10页陈志东 董爱强 孙赫 胡凯 
国家自然科学基金项目(61672075);教育部-中国移动基金项目(MCM20160203)
P2P众筹是金融科技中新兴的一种融资模式,尽管被广泛关注和应用,但目前在技术上和管理机制上还存在公信力、安全性和可监管等问题,限制了它的发展,如何从技术上来促进这种模式的完善成为亟待解决的问题.提出了一种基于区块链(Blockchain...
关键词：P2P众筹 基于众筹业务的私有区块链 共识算法 监管模式 双链架构 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部