我国的共享经济自2016年以来发展迅速,并以Airbnb、Uber等公司作为参考,衍生出一系列与“共享”有关的商业模式,如滴滴出行、共享单车等。共享经济的发展离不开移动支付技术的支持,当前我国“扫码支付”占比较大,随之而来的用户体验与支付安全问题阻碍着共享经济继续创新的脚步。如何改进支付模式来提升共享平台的支付体验是我们所面临的主要问题,因而研究共享经济支付机制具有重要而深远的意义。本文以共享经济环境下的支付机制作为研究对象,以聚合支付作为主要支付方式,通过支付标记化技术进行安全保障,并以共享车位作为实际应用案例,建立支付模型,设计支付协议并通过CPNTools进行协议验证,本文的研究工作如下:首先,结合当前的支付环境对现有两种支付模式的支付流程进行了研究,分析出其中的不足,并结合共享经济提出当前在支付选择、信息安全、支付接口等方面的需求,设计了满足该需求的基于聚合支付的共享经济支付模型SEPS(Sharing economy payment system)模型,详细介绍了该模型的体系结构及共享车位支付平台在信息认证,在线支付与退款方面的流程,实现共享服务的身份认证及支付功能。此外,根据模型提出的流程,分别设计Token认证协议、在线支付协议及退款协议。给出了设计协议时的需求及假设,并结合相应安全技术,以模型接收消息及响应的形式对全流程进行描述,对协议的关键性能进行分析概括。最后,结合CPN(Colored Petri Net)理论,运用CPNTools对所设计协议进行仿真建模并模拟,生成状态空间报告,对Token验证协议,在线支付协议及退款协议所反应的可行性,可达性进行了检验,分析出以上模型均不存在死锁、活锁与非期望死标识,验证了模型及其流程的正确性与可达性。