Policy specification and verification for blockchain and smart contracts in 5G networks[J] ICT EXPRESS 2020(6) Unal, Devrim Hammoudeh, Mohammad Kiraz, Mehmet Sabir
