|国家科技期刊平台
| 注册
首页|期刊导航|通信学报|基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证

基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证

王昌晶 欧阳俊媛 张取发 左正康 程着 卢家兴

通信学报2024，Vol.45Issue(10)：P.225-242,18.
✕
通信学报2024，Vol.45Issue(10)：P.225-242,18.DOI:10.11959/j.issn.1000-436x.2024074

基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证

王昌晶 1欧阳俊媛 2张取发 1左正康 1程着 3卢家兴1

作者信息

  • 1. 江西师范大学计算机信息工程学院,江西南昌330022
  • 2. 东华理工大学软件学院,江西南昌330013
  • 3. 江西师范大学国家网络化支撑软件国际合作基地,江西南昌330022
  • 折叠

摘要

关键词

拍卖合约/时间安全性/公平性/时间自动机/UPPAAL

分类

信息技术与安全科学

引用本文复制引用

王昌晶,欧阳俊媛,张取发,左正康,程着,卢家兴..基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证[J].通信学报,2024,45(10):P.225-242,18.

基金项目

国家自然科学基金资助项目(No.62462037,No.62462036) （No.62462037,No.62462036）

江西省主要学科学术与技术带头人培养基金资助项目(No.20232BCJ22013) （No.20232BCJ22013）

江西省自然科学基金资助项目(No.20242BAB26017) （No.20242BAB26017）

江西省教育厅科技基金资助项目(No.GJJ2200303,No.GJJ210340)。 （No.GJJ2200303,No.GJJ210340）

通信学报

OA北大核心CSTPCD

1000-436X

访问量0
|
下载量0
段落导航相关论文