港口供应链在经济全球化进程中发挥着非常重要的作用。机制信任缺失是制约港口供应链发展的主要因素。区块链有很大的潜力来解决使用港口供应链的所有参与者之间的信任问题，这可以降低成本和提高效率。作为连接区块链和港口供应链的桥梁，智能合约重构了区块链授权的港口供应链的业务流程。在本文中，我们提出了一个联盟区块链赋能的港口供应链系统的架构，并提出了一个具有概率行为的港口供应链智能合约的系统验证框架。智能合约被...