检索结果-南通市图书馆

区块链去中心化平台与代币的转账信息不一致问题的发掘与检测

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2024年第2期61卷 273-273页

作者：苏洲西安交通大学网络空间安全学院西安710049

随着区块链去中心化平台的经济体量逐年攀高,对区块链去中心化平台和区块链代币的代码审查已经愈加趋于严谨,出现了大量基于去中心化平台或代币的研究.然而,鲜有针对去中心化平台和代币的交互问题进行研究,尤其是代币的实际转移与去中... 详细信息

随着区块链去中心化平台的经济体量逐年攀高,对区块链去中心化平台和区块链代币的代码审查已经愈加趋于严谨,出现了大量基于去中心化平台或代币的研究.然而,鲜有针对去中心化平台和代币的交互问题进行研究,尤其是代币的实际转移与去中心化平台所期望的转移被默认为一致.根据可见的攻击实例,这一类交互问题实际上大量存在且造成了巨大的经济损失.文章将该类交互问题总结为“去中心化平台预期代币转移与代币本身的转移之间的不一致问题”.针对这样一个长久以来被忽视的安全问题基本处于黑盒的状态,这篇文章对该问题进行了研究,提出了有效的检测方法以及对结果进行了剖析.

关键词：去中心化区块链代币交互问题转账不一致问题代码审查经济损失

在线全文

学校读者我要写书评

暂无评论

代币发行交易中的犯罪风险

国家检察官学院学报 2018年第6期26卷 101-117,172页

作者：朱娴北京市人民检察院经济犯罪检察部北京100009

结合虚拟货币的性质和侵犯财产犯罪所保护的法益,虚拟货币属于刑法上的财物。而根据相关规范性文件并借鉴国外监管机构解释,代币与虚拟货币应加以区分,即二者算法虽无本质不同,但代币超越了虚拟货币,是代表持有者获取某种收益的权利或... 详细信息

结合虚拟货币的性质和侵犯财产犯罪所保护的法益,虚拟货币属于刑法上的财物。而根据相关规范性文件并借鉴国外监管机构解释,代币与虚拟货币应加以区分,即二者算法虽无本质不同,但代币超越了虚拟货币,是代表持有者获取某种收益的权利或者履行特定功能的凭证。因此,代币的法律属性不可一概而论,需要结合不同情形下代币的具体功能分别判定。根据代币在个案情形中法律属性的不同,代币发行交易可能涉及证券、期货犯罪、非法经营罪、非法集资犯罪等风险。为对代币发行交易中存在的犯罪风险进行有效防控,应完善相关前置法规定、刑事法律及其司法解释、构建司法机关能动参与的立体监管格局,以及提倡实质的刑法解释论。

关键词：代币 ICO 区块链非法集资证券犯罪

在线全文

学校读者我要写书评

暂无评论

一种代币智能合约的形式化建模与验证方法

计算机工程 2020年第10期46卷 41-45,51页

作者：欧阳恒一熊焰黄文超中国科学技术大学网络空间安全学院合肥230026 中国科学技术大学计算机科学与技术学院合肥230026

针对代币智能合约的安全问题,提出一种基于代币智能合约整数溢出漏洞的形式化建模与验证方法。分析现有The DAO和BEC等漏洞攻击事件,定义代币智能合约的安全属性,通过引入全局变量和数值比较等约束条件对代币智能合约的建模语言进行扩展... 详细信息

针对代币智能合约的安全问题,提出一种基于代币智能合约整数溢出漏洞的形式化建模与验证方法。分析现有The DAO和BEC等漏洞攻击事件,定义代币智能合约的安全属性,通过引入全局变量和数值比较等约束条件对代币智能合约的建模语言进行扩展,使其支持智能合约各类语句的形式化表示。借鉴数学归纳法的思想,优化SmartVerif模型验证过程,避免状态空间的无限遍历。实验结果表明,该方法能成功找出代币智能合约的整数溢出漏洞,并且具有较强的通用性。

关键词：智能合约代币形式化建模形式化验证整数溢出漏洞

Knight不确定下基于代币的平台运营管理

在线全文

学校读者我要写书评

暂无评论

系统管理学报 2022年第4期31卷 699-708页

作者：孙多好费为银邓寿年安徽工程大学数理与金融学院安徽芜湖241000

平台运营中投资者的投资效率冲击对平台生产力产生影响,从而对平台代币发行策略、代币价格以及平台特许经营价值产生影响。考虑投资者的投资效率冲击具有Knight不确定性,利用非线性期望理论建立平台生产力动力学模型,并导出平台开发者... 详细信息

平台运营中投资者的投资效率冲击对平台生产力产生影响,从而对平台代币发行策略、代币价格以及平台特许经营价值产生影响。考虑投资者的投资效率冲击具有Knight不确定性,利用非线性期望理论建立平台生产力动力学模型,并导出平台开发者特许经营价值所满足的哈密尔顿-雅克比-贝尔曼方程(HJB方程)。进而,分析Knight不确定对投资者最优投资、平台的特许经营价值、平台生产力的边际价值以及代币的市场出清价格的影响。最后,对所得理论结果进行数值模拟。分析表明:投资者对平台的最优投资、平台的特许经营价值除了受到平台代币的发行量影响,还会受到Knight不确定程度的影响,Knight不确定程度越大,平台的最优投资和平台的特许经营价值越小。因此,对于平台的经营者,除了注重对平台本身的代币发行策略管理之外,还需要考虑Knight不确定因素对平台运营的影响。

关键词：代币区块链平台金融 Knight不确定性非线性期望随机最优化

代币制对高功能自闭症儿童班级应答行为的干预研究

在线全文

学校读者我要写书评

暂无评论

代币制对高功能自闭症儿童班级应答行为的干预研究

作者：朱雄保赣南师范大学

学位级别：硕士

本人从事的是自闭症儿童的康复教育工作,在教学中,有一些高功能的自闭症孩子,他们需要在普通的学校进行学习。但是,这些类型的孩子在学校中经常会有一些行为的问题出现。其中,最为常见的就是无法回应老师。目前尚没有非常有效的办法,来... 详细信息

本人从事的是自闭症儿童的康复教育工作,在教学中,有一些高功能的自闭症孩子,他们需要在普通的学校进行学习。但是,这些类型的孩子在学校中经常会有一些行为的问题出现。其中,最为常见的就是无法回应老师。目前尚没有非常有效的办法,来提高这些在普通小学进行学习的高功能自闭症的班级应答行为。代币制是在特殊儿童康复中使用较多,又被证明有效的教学策略。所以,本文将代币制作为研究的自变量,去探究代币制对班级应答行为的影响。鉴于特殊儿童干预的特殊性,每个儿童集体应答行为较差的原因也不一样,因此无法采用团体实验的设计。同时,为了让实验更具有说服力,并能够更好的观察在不同受试的影响,所以本文研究采用多基线跨受试实验研究去探究代币制对高功能自闭症班级应答行为的影响。本研究首先根据筛选标准选取3个符合实验要求的被试,再招募影子老师进行培训,然后根据每个被试的特点分配影子老师。研究开始,三个被试以及各自的影子老师同时进入学校,基线期每个被试都同时开始收集数据,待基线稳定后,先对个案A进行干预,其他两个被试继续基线的收集,等个案A干预期稳定后,个案B介入干预,个案C继续基线数据收集,个案B干预期稳定后对个案C进行干预。维持期根据每个被试在干预期数据的稳定水平,进行实施。实验的结果表明,代币制对三个高功能自闭症班级应答行为都有较为明显的提高,都达到80%以上的水平。并且三个个案在维持期都保持较好的维持效果。通过对整个研究过程进行分析得出结论:三个个案的研究结果证实了代币制在普通学校进行融合教育时,可以提高高功能自闭症孩子的班级应答行为。针对研究过程中存在的问题提出建议:在研究和实际工作中保证半个月或至少一个月进行一次偏好物评量,增加学生的学习或表现的动机。同时可以考虑使用除代币制以外的方法,比如,行为契约等。

关键词：自闭症高功能自闭症代币融合教育班级应答行为

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于区块链智能合约的代币系统

计算机应用研究 2020年第12期37卷 3686-3690,3698页

作者：方燚飚周创明空军工程大学研究生院西安710038 空军工程大学防空反导学院西安710038

针对传统代币中存在的公信力不足、监管困难等问题,结合区块链和智能合约技术,设计了一种去中心化的区块链代币系统。以此区块链代币系统为基础,通过部署代币合约、众筹合约,构建了一个基于区块链的众筹系统,实现了基本的众筹功能。同... 详细信息

针对传统代币中存在的公信力不足、监管困难等问题,结合区块链和智能合约技术,设计了一种去中心化的区块链代币系统。以此区块链代币系统为基础,通过部署代币合约、众筹合约,构建了一个基于区块链的众筹系统,实现了基本的众筹功能。同时设计了资金管理合约,实现了众筹成功后对发起者的监督和资金的管理。最后通过以太坊平台进行系统测试,分析了该代币系统的功能性、安全性以及时间性能。结果表明,基于区块链的代币系统在实现代币基本功能的同时,能够有效提升代币的安全性和功能性。

关键词：代币众筹智能合约区块链以太坊

在线全文

学校读者我要写书评

暂无评论

基于区块链的加密代币融资模式研究

基于区块链的加密代币融资模式研究

作者：余宇威浙江大学

学位级别：硕士

近两年来,区块链行业诞生了一种叫做ICO的全新融资模式。起初ICO被市场理解为首次货币发行,即类似IPO的InitialCoinOffering。最早使用该融资模式的项目是目前全球市值第二大的通用区块链——以太坊。后来考虑到私人发行数字货币的敏感... 详细信息

近两年来,区块链行业诞生了一种叫做ICO的全新融资模式。起初ICO被市场理解为首次货币发行,即类似IPO的InitialCoinOffering。最早使用该融资模式的项目是目前全球市值第二大的通用区块链——以太坊。后来考虑到私人发行数字货币的敏感性,以及“Coin”本身是否是货币也有争议,该词一度被替换成了“Token”(代币),并加上了“Crypto”(加密)的修饰。ICO就指Initial Crypto-Token Offering,即通过发行加密代币的方式进行融资。所谓“代币”,在现实中通常是指在一定范围内使用的替代货币的某种凭证。这种代币同时也可视为一种在区块链上发行和流通的加密股权(Crypto-Equity)。ICO是一个新兴的商业模式或者融资模式。其发展也只在近两年,尤其是在2017年达到火爆。虽然市场对ICO的争议不断,较为系统的研究却极少。尤其是在当今两大经济体中国和美国,监管采取了截然不同的态度。中国全面禁止ICO,而美国鼓励ICO并将其纳入监管。因此本文从多个角度对ICO模式做了较为系统的调查研究,并选择了较能体现ICO模式商业应用潜力的项目做具体的案例分析。本文先对区块链技术的原理进行分析,并探讨了区块链技术的几个重要特性,然后对数字代币及ICO市场进行分析,接着以ICO项目“星链计划”为案例,具体分析ICO的商业逻辑和产品设计,最后对ICO模式的实际价值作经济学的分析,总结归纳ICO模式的风险,并对ICO的监管提出一些建设性的策略建议。

关键词：区块链代币 ICO 数字货币

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

现代币的收藏与投资

武汉金融 1997年第6期 47-48页

作者：杨枫人民银行湖北省分行

现代币的收藏与投资杨枫我国民间收藏钱币已有相当长的历史了，那时，藏币者主要寻觅古钱币，用于闲时把玩。改革开放以后，收藏古钱币之风曾重新兴起，但为时不长，便逐渐被现代币所取代。特别是９２年以后，现代币的收藏队伍愈来愈大... 详细信息

现代币的收藏与投资杨枫我国民间收藏钱币已有相当长的历史了，那时，藏币者主要寻觅古钱币，用于闲时把玩。改革开放以后，收藏古钱币之风曾重新兴起，但为时不长，便逐渐被现代币所取代。特别是９２年以后，现代币的收藏队伍愈来愈大，现代币的市场价格愈炒愈高，成为当...

关键词：金银币收藏人民银行流通纪念币代币贵金属钱币收藏人民币流通领域古钱币国际市场价格

在线全文

学校读者我要写书评

暂无评论

以太坊上代币的识别方法研究及其应用

以太坊上代币的识别方法研究及其应用

作者：何鹏电子科技大学

学位级别：硕士

区块链和加密货币领域在过去几年中经历了巨大的增长,除了少量的原生加密货币是作为区块链自身的财产外,大部分加密货币都以智能合约的方式部署在区块链平台上,其中以太坊就是拥有最多加密货币部署的区块链平台。但由于智能合约存在的... 详细信息

区块链和加密货币领域在过去几年中经历了巨大的增长,除了少量的原生加密货币是作为区块链自身的财产外,大部分加密货币都以智能合约的方式部署在区块链平台上,其中以太坊就是拥有最多加密货币部署的区块链平台。但由于智能合约存在的一些问题和代币合约不遵守代币标准,造成了很多代币不良行为,这些不良行为给区块链平台和加密货币领域带来了重大安全事故。因此,检测代币不良行为至关重要,而准确识别代币的转移行为为对于检测代币不良行为具有重要作用,但现有方法要么因为不正确的假设导致不能获取到真正的代币转移行为,要么因为基于人工提取的有限个模式而产生较高的误报率和漏报率。为此,本文提出了一种自动识别代币转移操作的方法,并利用符号执行技术对该方法进行了实现,同时经过大量实验证明该方法能有效且高效地识别代币转移操作。该方法先学习基本容器的访问模式,然后收集storage的写入模式,并根据基本容器的访问模式解析写入模式的容器构成,从而获得可疑的代币转移模式,最后将可疑的代币转移模式与标准函数、标准事件进行关联,确定真正的代币转移模式,该模式标识着代币的转移操作。本文利用符号执行技术对方法进行了实现,为了避免符号执行的路径爆炸和提高方法的效率,本文设计了限制大多数代码只运行一次的合约间符号执行。同时,本文在实现过程中发现一些特定的代码需要多次运行以确保有效性,因此本文在符号执行中允许这部分代码重复执行。为了证明方法的通用性,本文将方法应用于两种编程语言Solidity和Vyper编写的智能合约上,和三种代币标准ERC-20、ERC-721和ERC-1155的代币中。后续进行了大量实验来对方法实现进行评估,实验结果表明该方法能够准确识别代币的转移模式,并具有较好的效率,平均分析一个智能合约的时间为0.56秒。此外还发现了十种代币转移模式,其中六种是之前未被发现的转移模式。最后为了说明方法对检测代币不良行为的重要作用,本文基于代币的转移模式开发了五个漏洞检测应用,分别用来检测“假通知”漏洞、“假存款”漏洞、allowance不一致漏洞、交易所不一致漏洞和非授权销毁代币。

关键词：以太坊智能合约代币符号执行代币转移模式