您的位置： 专家智库 > >

马小峰

作品数：13 被引量：0H指数：0
供职机构：同济大学更多>>
相关领域：自动化与计算机技术文化科学交通运输工程建筑科学更多>>

合作作者

文献类型

  • 11篇专利
  • 1篇学位论文

领域

  • 5篇自动化与计算...
  • 1篇建筑科学
  • 1篇交通运输工程

主题

  • 5篇隐私
  • 2篇代码
  • 2篇代码编译
  • 2篇形式化
  • 2篇形式化验证
  • 2篇隐私数据
  • 2篇源代码
  • 2篇流图
  • 2篇逻辑
  • 2篇逻辑规则
  • 2篇码序列
  • 2篇接入
  • 2篇接入安全
  • 2篇控制流
  • 2篇控制流图
  • 2篇交易
  • 2篇合约
  • 2篇安全环境
  • 2篇TRUSTZ...
  • 2篇存储介质

机构

  • 12篇同济大学

作者

  • 12篇马小峰
  • 1篇王越
  • 1篇黄宏伟

年份

  • 3篇2024
  • 3篇2023
  • 2篇2022
  • 2篇2020
  • 1篇2019
  • 1篇2000
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于TrustZone的区块链智能合约执行系统及方法
本发明涉及一种基于TrustZone的区块链智能合约执行系统及方法，其中智能合约执行系统包括：基于TrustZone将硬件空间划分为普通环境和安全环境；在普通环境内部署有：区块链节点模块，用于部署区块链节点，实现包括运行...
陈璐瑀马小峰
一种基于状态空间的智能合约形式化验证系统及方法
本发明涉及一种基于状态空间的智能合约形式化验证系统和方法，所述系统包括：代码编译模块，用于将智能合约源代码编译成源码和虚拟机操作指令字节码序列；基本块划分模块，用于将虚拟机操作指令字节码序列划分为基本块集合；控制流图生成...
马小峰汪铎
文献传递
一种分布式数字身份隐私保护方法及系统
本发明涉及一种分布式数字身份隐私保护方法及系统，该方法包括：用户向监管机构提交用户注册请求，监管机构实名认证通过后为用户生成MDIDs并存储于区块链，根据签名后的MDIDs生成USK并返回给用户；用户基于MDIDs和US...
马小峰何敬
基于区块链的用于提高电子拍卖安全性的系统及方法
本发明涉及一种基于区块链的用于提高电子拍卖安全性的系统及方法，其中方法包括步骤：S1：预处理得到第二价格集合；步骤S2：在第二价格集合中选择一个未处理的价格，每个第一服务器生成自身供给和需求数据并盲化处理后进行分享；步骤...
马小峰刘烈彤
文献传递
一种基于区块链的两方隐私求交方法及系统
本发明涉及一种基于区块链的两方隐私求交方法及系统，该方法包括：服务方将自己的数据用私钥进行加密，并将公钥和加密数据上传至区块链以便于共享；服务方发起智能合约，并和查询方以及仲裁方三方签订智能合约；查询方和服务方之间执行求...
王战山马小峰
宏-微机器人的动力学建模、最优轨迹规划及应用研究
该文针对冗余、宏-微这个特殊的机器人系统进行了以下几个方面的研究与探讨.(1)针对宏-微机器人的宏、微两部分具有不同参数特性的特点,提出了将宏-微可器人动力学模型表示为标准的奇异摄动形式的方法,并推导出平面四自由度宏-微...
马小峰
关键词：宏-微机器人机器人系统控制器
文献传递
一种用于联盟区块链的跨链交易系统、方法及存储介质
本发明涉及一种用于联盟区块链的跨链交易系统、方法及存储介质，所述系统包括跨链媒介备选池和联盟链跨链处理器，跨链媒介备选池包括多个候选节点；跨链媒介备选池被配置为，接收跨链交易请求，选取一个候选节点作为跨链媒介节点M；跨链...
肖婕马小峰
文献传递
一种基于TrustZone的区块链智能合约执行系统及方法
本发明涉及一种基于TrustZone的区块链智能合约执行系统及方法，其中智能合约执行系统包括：基于TrustZone将硬件空间划分为普通环境和安全环境；在普通环境内部署有：区块链节点模块，用于部署区块链节点，实现包括运行...
陈璐瑀马小峰
文献传递
一种基于事故树与区块链的隧道施工火灾风险管理平台
一种基于事故树与区块链的隧道施工火灾风险管理平台，用于隧道施工现场火灾风险管理，其特征在于，包括五个模块：数据获取模块、数据存储模块、数据交互模块、隧道施工火灾事故运行和分析模块和数据可视化模块。针对隧道施工过程火灾事故...
黄宏伟刘思晗马小峰周鸣亮
一种基于状态空间的智能合约形式化验证系统及方法
本发明涉及一种基于状态空间的智能合约形式化验证系统和方法，所述系统包括：代码编译模块，用于将智能合约源代码编译成源码和虚拟机操作指令字节码序列；基本块划分模块，用于将虚拟机操作指令字节码序列划分为基本块集合；控制流图生成...
马小峰汪铎
文献传递
全选 清除 导出
共2页<12>
聚类工具0