区块链内容流转安全协议测评工具

对区块链内容流转安全协议的安全属性进行形式化分析和测评，
包括： 机密性、鲜活性、一致性、同步性、匿名性、不可链接性等，
并对不安全协议给出攻击路线。