基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

营销组合理论演变的动因分析

1960年,麦卡锡创立了经典的4Ps营销组合理论。在随后的40多年历史发展中,营销组合理论发展迅速,各种理论层出不穷,6Ps、7Ps、10Ps、4Cs、4R s等学说百家争鸣。营销理念由注重短期交易关系转变为对长期交易关系的注重是营销组合理论发展的思想背景,而企业组织结构柔性化和企业交易控制权弱化则是推动营销组合理论演变的双重最终动因。     

用于异质用户出行管理的可交易许可证研究

针对公共交通与私家车出行方式并行的双模式交通系统,在考虑不同用户的时间价值情况下,通过引进可交易的道路许可证政策,建立了均衡出行交通模型.研究发现,许可证政策将拥挤产生的交通成本内部化,在缓解交通拥堵的同时,通过经济手段,降低了系统总成本.进一步地,本文证明如果汽车比公交快,那么时间价值较高的人会选择私家车出行;反之,如果公交比汽车快,时间价值相对较高的有车族会选择公交出行.通过与OD收费进行比较,我们得到在收费为正的情况下,许可证政策可以得到与基于OD收费相同的效果.最后,算例结果表明,许可证政策使得部分人选择公交出行的成本更低,达到鼓励公交出行的目的;甚至在许可证发放数量少于临界数量的情况下,选择公交出行的人会获得正收益.     

区块链交易安全问题研究

区块链技术提出了去中心化的分布式账本,改变了原有的交易模式.然而新模式的出现和发展带来了许多交易安全问题,严重威胁用户资产安全.首先对区块链交易进行简要概述,再重点研究分析区块链交易的安全问题,包括攻击、骗局、账户行为、私钥泄露和智能合约漏洞等,接着,从交易记录异常检测、地址异常检测、智能合约检测、行为异常检测以及智能...     

应加强对标准中专利池的管理

一、专利池发展趋势 专利池（Patent Pool），又称专利联营，指的是两个或两个以上的专利权人达成协议，组成的专利许可交易平台，平台上专利权人之间进行横向许可，有时也以统一许可条件向第三方开放进行横向和纵向许可，许可费率是由专利权人决定的。     

财经剪贴

<正>腾中收购悍马夭折2月25日晨,通用汽车公司在美国底特律总部宣布,由于四川腾中重工未能按期完成对悍马的收购,此项收购交易失败,通用汽车将逐步关闭对悍马的运营。     

企业信息

<正>1.11月19日,财政部教科文司透露,自2011年以来,中央财政已安排28.37亿元支持重大科学仪器设备研发,其中2013年安排10.37亿元。2.11月19日,山东省财政厅披露,山东从全省8.3万家合作组织中遴选确定了60家农民专业合作社,给予共计5000万元人民币的财政支持。3.11月19日,北京市国土局表示,北京已经基本完成集体土地所有权的确权,明年将开展集体建设用地和宅基地的确权工作。4.11月21日.中国证券登记结算有限公司发布通知称.决定自2013年11月25日起,将上证企债30交易所交易基金比照国债ETF计入现有债券回购质押库。5.11月22日,国家外汇管理局宣布,自2013     

面向互联网金融行业的大数据资源服务平台

在大数据时代,数据已经渗透至各个行业,并且呈现出数量大、动态性、类型复杂等显著特征,尤其是互联网金融等为代表的典型行业.本文简要阐述了大数据的研究现状与重大意义,探讨了大型数据资源服务平台架构及其3个主要组成部分:数据资源识别和获取、数据资源存储和分析、服务支撑平台,并介绍了项目组在面向可信网络金融交易的大型数据分析研究与应用方面所开展的工作.具体来讲,围绕软件行为认证等关键技术,研究并开发了以行为认证为核心的可信网络金融交易系统,支持在线交易过程中产生的用户行为数据与软件行为数据的实时监控和动态展示.     

中俄天然气大单的多重影响

中俄战略能源联盟的建立将逐渐分解长期以来西方国家对国际能源贸易的主导权，改变全球能源交易地图，连带引发世界地缘政治的改变。     

降低信用风险是＂人人贷＂的关键

在上次杂志中，有关“人人贷”融资模式是令人深受启发信用是诚实信用是市场交易的基本原则，在金融市场中，信用则显得尤为重要，是借贷双方最为关键的链接点，作为民间融资的一种网络平台模式，＂人人贷＂能够有效帮助解决中小企业以及个人的资金链暂时性短缺的困境。然而，由于这种小额信贷的方式，通过网络信贷中介进行交易，借款人无需提供任何抵押且多为低收入人群，借贷款项的实际用途也难以监控，因此，信贷风险明显高于其他金融机构。