Decentralized systems in logistics: usage overview and security issues

O.O. Letichevsky, S.O. Gorbatuk


The directions of the application and use of decentralized (distributed) systems are analyzed using the example of blockchain technology in the international logistics. The prospects and key aspects of the further development of decentralized systems and large databases are considered. The basics of the functioning of smart contracts based on Etherium and Solidity language are considered. The main security problems in the integrated supply chain are analyzed, and directions for improving the monitoring of the continuity of product quality control during movement in a multimodal supply chain are identified. Methods are proposed for strengthening security control in decentralized systems in logistics. The methodology of formal algebraic methods is considered in order to analyze and study the properties of transportations in the interaction of agents of a certain logistic environment.

Problems in programming 2020; 1: 55-73


decentralized system; blockchain; smart contract; logistics; Solidity


Nakamoto S.: Bitcoin: A Peer-to-Peer Electronic Cash System (2008).

Crosby M., Pattanayak P., Verma S., Kalyanaraman V.: Blockchain technology: beyond bitcoin. Appl. Innov. 2016. 2(6).,P. 6-10.

McPhee C., Ljutic A.: Blockchain. Technol. Innov. Manag. Rev. 2017. 7(10). P. 3-5. CrossRef

Electricity journal homepage: blockchain technology: will it make a difference? Electr. J. 2017. 30 (3). P. 86-87. CrossRef

Finextra: Marine Transport International Applies Blockchain to Shipping Supply Chain (2016). URL: pressarticle/66223/marine-transportinter-natio¬nal-applies-blockchain-to-shipping-supply-chain

Solesvik M.Z.: Interfirm collaboration in the shipbuilding industry: the shipbuilding cycle perspective. Int. J. Bus. Syst. Res. 2011. 5(4). P. 388-405. CrossRef

Official website of International Maritime Organization. URL:

Den Norske Veritas - DNV GL: Making your Asset Smarter with the Digital Twin. URL:

The Economist. The data deluge, 25 Feb 2010. URL: node/15579717.

Tien J.M.: Internet of connected servgoods: considerations, consequences and concerns. J. Syst. Sci. Syst. Eng. 2015. 24(2). P. 130-167. CrossRef

Splash 24: Dr. Martin Stopford on the Future of Shipping. URL:

Kondratenko Y.P., Kozlov O.V., Korobko O.V., Topalov A.M.: Internet of things approach for automation of the complex industrial systems. In: ICTERI-2017, CEUR Workshop Proceedings Open Access. 2017. Vol. 1844. P.3-18. URL:

Tachizawa E.M., Alvarez-Gil M.J., Montes-Sancho M.J.: How "smart cities" will change supply chain management. Supply Chain Manag. Int. J. 2015. 20(3). P. 237-248. CrossRef

Hahn G.J., Packowski J.: A perspective on applications of in-memory analytics in supply chain management. Decis. Support Syst. 2015. 76(1). P.45-52. CrossRef

Lacey M., Lisachuk H., Giannopoulos A., Ogura A.: Shipping smarter: IoT opportuni-ties in transport and logistics. The Internet of Things in Shipping. Dupress-Deloitte. 2015.

Offshore Energy Today: Meet Onboard, the Maritime Internet of Things. URL:

Maritime: Six Maritime Start-Ups That Are Changing the GAME. URL:

Den Norske Veritas - DNV GL: Certificates in the blockchain. URL: assurance/certificates-in-the-blockchain.html.

Den Norske Veritas - DNV GL: Blockchains in the shipping world. URL:¬-impact/Blockchains-in-the-shipping-world.html.

Maersk and IBM Introduce TradeLens Blockchain Shipping Solution. Aug. 9, 2018. URL:

TradeLens - official website. URL:

Forbes. IBM-Maersk Blockchain Platform Adds 92 Clients As Part Of Global Launch. URL:

Сoindesk. IBM and Maersk Struggle to Sign Partners to Shipping Blockchain. Oct 26, 2018. URL:

Сomputerworld. Maersk adds two big shipping firms to its blockchain ledger. 29 травня 2019р. URL:

ТС. IBM-Maersk blockchain shipping consortium expands to include other major shipping companies. URL:

TradeLens official brochure. Solution brief. Edition two.

SupplyChain Dive. 9 ocean carriers, terminal operators join new blockchain initiative to rival TradeLens. Nov. 7, 2018. URL:

CargoSmart. Global Shipping Business Network. URL:

Globe news wire. Top Ocean Carriers and Terminal Operators Initiate Blockchain Consortium. November 06, 2018. URL:

Supply Chain Dive. Maersk blockchain solution TradeLens adds ZIM. April 22, 2019. URL: news/maersk-blockchain-solution-tradelens-adds-zim/553146/

Ball B. Reducing Global Logistics Cost with Benchmarking and Shipping Container Pricing Transparency. Aberdeen Group. 2016.

Dhanji T.: Blockchain - Where Oil and Gas Traders Dare to Trade. Ernest Young Publications. 2017. URL:

Freight Waves.: Swiss firm brings blockchain to the biopharmaceutical cold chain. 02/23/2018. URL:

John G. Smith.: Block by Block: How blockchain will transform trucking. 18.01.2018. URL: https://www.todaystruc-king.¬com/block-block-blockchain-will-transform-trucking/

Ana Alexandre.: New Blockchain-Based Supply Chain System Is Presented by Microsoft and Adents. URL:

Suku. The future of supply chain is here. URL:

DHL Trend Research. URL:

OriginTrail. URL:

Shipchain. The end-to-end logistics platform of the future: trustless, transparent tracking. URL:

Nick Szabo - Smart Contracts: Building Blocks for Digital Markets. URL:

Nick Szabo. Formalizing and Securing Relationships on Public Networks.

Welcome to ERights.Org. URL:

A Formal Language for Analyzing Contracts. URL:

Gideon Greenspan.: Smart contracts make slow blockchains. URL:

StackEdit Viewer / Benoit Schweblin. URL:!url=

Solidity - Solidity 0.2.0 documentation. URL:

Zigurat. Blockchain Success cases: Supply Chain and Logistics. URL:

Robert Hackett.: Walmart and 9 Food Giants Team Up on IBM Blockchain Plans. URL:

Map of cases of African swine fever in Ukraine and quarantine areas. [In Ukrainian] URL: asfinukraine

The State Service of Ukraine for Food Safety and Consumer Protection: African swine fever? [In Ukrainian] URL:

Ukrinform. The butterfly invasion is the pay for human indiscretion. 03.06.2019. [In Ukrainian] URL: rubric-economy/2713807-nasesta-metelikiv-rozplata-za-ludsku-nenazerlivist.html

Petropavlivka.City. Mykolayivka is attacked by a caterpillar. 05.06.2019. [In Ukrainian] URL: experiance/33845/mikolaivku-atakue-gusin

Carnet Maritime. Collision CMA CGM Verlaine et Odessa Star. 04.04.2010 URL:

Information portal "Transport business of Ukraine". On the situation of collision of the container carrier Verlaine and the ship Odessa Star on April 4 in the Marmara Sea - International Legal Service. [In Ukrainian] URL: stolknoveniia_konteinerovoza_verlaine_i_teplohoda_odessa_star_4_aprelia_v_mramornom_more___mejdunarodnaia_uridicheskaia_slujba_foto.html

Cristina Commendatore.: Blockchain in trucking: What about the middlemen? 20.10.2017

URL: electronic-security/blockchain-trucking-what-about-middlemen

Robert Hackett.: IBM and Maersk Are Creating a New Blockchain Company. 16.01.2017 URL: 2018/01/16/ibm-blockchain-maersk-company/

Winnesota.: How blockchain is revolutionizing the world of transportation and logistics. URL: blockchain

Temperature Measurement in the Fish Industry. URL: X5992e01.htm

Yang, J., Chen, T., Wu, M., Xu, Z., Liu, X., Lin, H., Yang, M., Long, F., Zhang, L., Zhou, L. 2009. MODIST: transparent model checking of unmodified distributed systems. URL:

Spin. URL: whatispin.html

Killian, C., Anderson, J. W., Jhala, R., Vahdat, A. 2006. Life, death, and the critical transition: finding liveness bugs in system code. URL: papers/MaceMC_TR.pdf

Lamport, L., Yu, Y. 2011. TLC-the TLA+ model checker. URL: http://

Wilcox J. R., Woos D., Panchekha P., Tatlock Z., Wang X., Ernst M. D., Anderson T. 2015. Verdi: a framework for implementing and formally verifying distributed systems. Proceedings of the ACM SIGPLAN 2015 Conference on Programming Language Design and Implementation: 357-368. URL: ~mernst/pubs/verify-distsystem-pldi2015-abstract.html CrossRef

Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving Waqar Ahmed , Osman Hasan , and Sofi'ene Tahar EPiC Series in Computing Volume 40, 2016, Pages 1-14 IWIL-2015. 11th International Workshop on the Implementation of Logics

Li Y., Yi H. Research on the Inherent Reliability and the Operational Reliability of the Supply Chain. u- and e-Service, Science and Technology. 2014. 7(1). Р. 104-112. CrossRef

Letichevsky A., Letychevskyi O., Peschanenko V. "Insertion Modeling and Its Applications", Computer Science Journal of Moldova. 2016. Vol. 24. Issue 3. Р. 357-370.

Letichevsky A. and Gilbert D. "Interaction of agents and environments," in: Recent Trends in Algebraic Development Technique, LNCS 1827 (D. Bert and C. Choppy, eds.), Springer-Verlag, 1999.



  • There are currently no refbacks.