关键词： 云存储   区块链   数据完整性   智能合约  

摘要： 在云存储系统中,数据完整性的检验依赖于与数据一同存放的完整性证据,而如果数据完整性证据被破坏,数据的完整性也就面临着前所未有的挑战。提出一种基于区块链技术的云存储数据完整性增强机制BEMDICS,将云存储用户的数据完整性证据存放在区块链中,使得数据完整性证据不可篡改、不可删除。用户可以更安全地掌握数据,增强云存储环境下数据完整性。实验结果表明该机制可以抵御云存储中数据完整性证据被破坏而失去完整性的威胁。

关键词： 可调鲁棒优化   区块链   智能合约   自适应定价  

摘要： 单个微网应对各类分布式电源出力不确定性的能力有限,区域内多微网进行功率交互是提高可再生能源就地消纳率的有效手段。然而传统集中式交易平台存在平台运维成本高、资金结转不及时、交易信息不透明等问题。在此情况下,以区块链的分布式数据存储和点对点交易技术为基础,设计了多微网电能交易智能合约辅助微网决策。在多微网交易市场能量协调体系下,微网首先采用可调鲁棒优化制定考虑可再生能源出力不确定性的调度方案;其次调用多微网交易市场判定智能合约判定市场交易模式;然后基于智能电表完成自适应定价并调用分布式交易智能合约完成交易匹配;最后把交易匹配结果作为单微网可调鲁棒优化的输入循环探索可行解。最终选出了经济性较好的解作为微网在最恶劣分布式电源出力场景下的微网日前经济调度方案。通过算例验证了所提区块链辅助决策下微网日前鲁棒经济调度方法的有效性。

关键词： 智能合约   自执行逻辑   合法则条件公式   行为共同说   符号语言的意思联络  

摘要： 伴随着区块链技术的社会整合进程,以智能合约为载体的新型共犯样本呈现出异化形态,对此传统共犯归责模式面临"去中心"环境下网络平台的监管弱化、"假名主义"环境下交互主体的参与虚化、合约主体意思联络"单向一次性"的归责困境,需在尊重数字逻辑的前提下联动调整共犯归责逻辑,以实现智能合约共犯归责范阈的外限界定与内限梳清。在外部界限层面,需将合约自执行程序规范还原为因果共犯论逻辑,并等置转换为合法则的条件公式,从而于入罪向度上实现虚拟参与行为与现实法益侵害之间因果流程的具体判定;在内部界限层面,需对中立性的智能合约运维平台进行类型划分并匹配构建内涵"事前基于自主发现产生的验证、报告"与"事后基于被动通知产生的断网、消除"注意义务体系,同时对合约主体的共犯归责在客观层面、主观层面分别引入行为共同理论与"符号语言"意思联络理论,从而于出罪向度上实现合约共犯参与类型的梳清与处罚范阈的缩限。

关键词： 智能合约   Yul语言   Isabelle/HOL   形式化语义   以太坊  

摘要： 智能合约是实现各类区块链应用的核心软件程序.近期,以太坊区块链平台(Ethereum)上的智能合约暴露出大量错误和安全隐患,在国际上引发了智能合约形式化验证的研究热潮.为提供高可信度的验证结果,智能合约程序语言的形式化必不可少.对以太坊中间语言Yul进行形式化,首次给出了其类型系统和小步操作语义的形式化定义.该语义为可执行语义(executable semantics),由120个Yul语言程序组成的测试集进行测试.该工作在Isabelle/HOL证明辅助工具中完成,为基于定理证明的智能合约正确性、安全性验证奠定了基础.

关键词： 司法区块链   数据安全   智能合约   场景化应用  

摘要： 区块链作为价值去中心化的工具、赋能万物的事实机器和可靠的自动化合约机器,可以被广泛地应用于司法领域。区块链司法应用的主要动因有:司法信息真实性需要民主化验证、司法数据安全性需要强信任环境、司法活动效率性需要技术化辅助、司法活动重复性需要可溯源机制。区块链司法应用的场景具有非中心化、强信任需求和缺乏效率等特点,分散于司法协同、信息公开与诉讼服务、审判执行辅助、司法管理与司法统计等多个业务场景之中。在区块链司法应用的实践中,应遵循以下原则:区分链型按需建设、衔接其他信息化技术、跟进配套设施建设、探索规范化治理机制、关注区块链社会应用等。区块链司法应用还要坚持正确的方法论:正识技术工具属性、因地因时融合发展、把握科技发展规律。

关键词： 区块链技术   高校电子档案管理   分布式存储   智能合约  

摘要： 区块链技术为解决高校电子档案管理难题带来新突破。面对大数据环境下高校电子档案管理存在的问题,通过构建高校电子档案管理模式主体、高校档案馆的“中心”地位和“多中心”的强信任体系,可以有效解决目前高校电子档案管理中存在的档案真实性难以保障、存储安全存在隐患等急需解决的问题,提高高校电子档案管理效率和信息化水平,同时为探索我国高校电子档案的科学、高效管理模式提供借鉴。

关键词： 重点项目   区块链技术   日照港   智能合约   保理   智慧监管   研发计划   业务场景  

摘要： 日前,由山东港口日照港牵头承担的山东省重点研发计划"面向大规模节点安全高效协同的联盟链平台及其应用"正式启动。作为山东港口首个省重点研发项目,日照港缘何走在区块链技术前沿。2019年,山东港口日照港物流区块链平台成为全国第三个区块链应用落地的口岸平台建成后,推出多种区块链业务场景,基于区块链技术的日照港智慧监管平台利用智能合约在商务、计划、物流、口岸监管、大商交易、金融保理等业务中进行过程的留痕留证,完成业务信息的相互认证、溯源.

关键词： 区块链技术   财务管理   智能合约  

摘要： 区块链作为一种去中心化的分布式存储技术已被世界各国高度关注并大力发展,目前在金融、教育、医疗、物流等领域开始应用,而区块链技术在企业财务管理的应用还处于初步探索阶段。文章将区块链技术与企业财务管理应用相融合,研究“区块链+财务管理”模式下企业财务管理的变革,构建基于区块链技术的财务管理应用框架,以期为今后区块链技术的落地生根带来一定的理论参考。

关键词： 区块链   商业数据中心   智能合约   星际文件系统   数据共享  

摘要： 针对现有商业数据管理中存在的安全隐患和无法共享等问题,提出一个基于区块链的商业数据共享模型。通过区块链智能合约技术实现商业数据中心身份认证和商业数据的所有权确定;通过星际文件系统等技术,实现商业数据的保护、共享等基本操作;通过联盟中心和公有区块链相结合的方式,在保障商业数据安全的前提下降低成本。该模型具有去中心化、不可篡改、安全共享等特性,有益于促进商业数据管理的转型升级。

关键词： 智能合约   漏洞分析   区块链   安全分析工具  

摘要： 智能合约是运行在区块链上的程序,具有去中心化、不可篡改的特性,被广泛应用于金融、能源、物联网等多个领域。然而智能合约一旦实际部署到实时网络上就不能对其更改,在保证合约安全的同时,缺陷和错误也不能通过修改合约代码得以解决,从而导致重大的安全事故。因此合约实际部署前对其进行安全测试已经成为迫切需要解决的问题。介绍了因智能合约漏洞引起的安全事件,对常见的合约漏洞进行详细分析,完成对已有合约分析工具的总结,体现了合约安全问题的研究发展现状。