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

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

试论劳动合同期满终止劳动合同的经济补偿

《中华人民共和国劳动合同法》第四十六条规定了劳动合同期满终止劳动合同的经济补偿,该条款引起了社会上的较大争议。规定劳动合同期满终止的经济补偿符合劳动合同法的立法宗旨,符合我国劳工标准不断提高的要求,但是《劳动合同法》关于劳动合同期满终止劳动合同的经济补偿仍有几点值得商榷。     

考虑经纪人投资情绪的委托代理合同研究

从行为金融学角度,提出将经纪人的投资情绪考虑进资本市场的委托代理关系中.通过建立数学模型,分析了非理性经纪人的投资决策给委托人带来的影响,得到了此时委托人与经纪人之间的最优委托代理合同.结果表明,经纪人的乐(悲)观投资情绪可以使委托人的代理成本得到补偿,并且委托人对经纪人的最优激励强度随着经纪人乐(悲)观程度的增加而降低.这说明在一定条件下,经纪人的乐(悲)观投资情绪,对委托人具有积极意义.     

如何恰当激励零售商的过程创新行为

回购契约可以协调单供应商单零售商组成的供应链系统的订货行为,然而本文研究发现这一契约将过份地激励零售商的过程创新行为,从而损害供应商及整个供应链的利益．在零售商的过程创新行为不可被供应商观察和测量的条件下,利用数量折扣契约机制修正了原有回购契约,并利用这种综合契约机制恰当地激励了零售商的过程创新行为,使得供应链在创新行为下达到协调．     

基于重复博弈的集群企业间社会关系构建分析

针对我国外生模式及混合内生模式集群中核心企业与依附企业间的主从支配关系,将核心企业与依附企业间的社会关系收益进行量化,讨论了核心企业与依附企业间的社会关系构建及维持的影响因素及内在机制.研究表明,核心企业与依附企业间的社会关系构建与维持取决于核心企业对双方社会关系价值的预期以及依附企业的市场价格;核心企业依据依附企业的市场价格来分割双方的社会关系收益;而依附企业可以通过提高自身的价值,获取更高的社会关系收益分割值,缔结和维持有利于自身和集群成长的社会关系.     

行政合同概念之检讨与重塑

行政合同概念的界定是研究进而规范行政合同的基础。长期以来,学界关于行政合同概念的界定多有分歧,主要表现在行政合同主体的范围、行政合同法律关系的归属、行政合同主体的意思自治程度、行政合同主体的地位等方面。从行政合同的主体要素、内容要素、意思要素、目的要素、地位要素和形式要素等方面进行综合分析,可以对行政合同作如下界定,即所谓"行政合同",是指为了公共目的,行政主体与行政相对人依法设立、变更、终止行政法上权利义务关系的协议及以之为载体实施行政行为的方式。     

数字图书馆版权问题初探

阐述了数字图书馆的定位和版权问题的由来,介绍了我国数字图书馆版权问题的现状,提出了解决数字图书馆版权问题的初步设想和办法,并呼吁有关各方采取合作的态度促进数字图书馆的健康发展。     

技术交易的契约特征研究

从新制度经济学的一个角度——契约理论来探讨技术产权交易的契特征,先从实践角度提出问题,再从理论角度探讨技术产权交易契约不同特征的原因,最后从实践角度给出具体说明。调查了上海市1991-2003年的技术产权交易契约特征,提出行业及其行业知识的特性对技术产权交易契约的特征有极大影响。     

古典社会契约论的现代性剖析

任何哲学都是属于它那个时代的,但任何哲学都无不深刻地影响着以后的时代。现代性的标志之一就是人的关系从身份走向契约,社会契约论与现代世界有许多契合点。从现代性的角度看,所有社会契约思想具有两个共同特征：个人主义和主体间性意志主义。这使得社会契约论既为现代性的制度构建奠定了基础,又为批判精神的产生准备了条件。从现代性的视角也可以阐释近代社会契约论展开的逻辑起点、推演思路和基本理论观点。这些可能就是社会契约论思想在当代兴起的缘由所在。     

地勘单位贯彻执行劳动合同法的思考

虽然地勘单位全面贯彻执行劳动合同法存在一些现实困难和问题,但也会带来许多机遇,从依法经营、健康可持续发展的角度考虑,必须认真执行。