A Digital Evidences Preservation Framework for a Logic Based Smart Contract

Walaa Alomari, Khair Eddin Sabri, Nadim Obeid

Abstract


Recently, smart contracts were introduced as a necessity to automatically execute specific operations within blockchain systems.  The popularity and diversity of blockchain systems attracted intensive attentions from academia, industry and other sectors. Blockchain systems were implemented using different programming languages that used in defining the triggering events and their consequent actions within the smart contract. In this article, we propose a digital evidences preservation framework that supports logic-based smart contracts to manage entries associated with digital evidences. Combining logic-based approach and blockchain systems may result in ensuing contracts that have technical advantages over procedural coding. The paper shows the motivation for choosing logic-based approach to define a smart contract. We introduce the rules and structure of the proposed logic-based contract.

Full Text:

PDF

References


M. Alghamdi, "Digital forensics in cyber security—recent trends, threats, and opportunities", Cybersecurity Threats with New Perspectives, IntechOpen, 2021.‏

S. Bonomi, M. Casini and C. Ciccotelli, "B-coc: A blockchain-based chain of custody for evidences management in digital forensics", arXiv preprint arXiv:1807.10359, 2018.‏

S. Brotsis, et al., "Blockchain solutions for forensic evidence preservation in IoT environments", 2019 IEEE Conference on Network Softwarization (NetSoft), IEEE, 2019.‏

F. Alruwaili, "CustodyBlock: a distributed chain of custody evidence framework", Information 12.2: 88., 2021.

A. Lone and R. Mir, “Forensic-chain: Blockchain based digital forensics chain of custody with PoC in Hyperledger Composer”, Digital investigation, 28, 44-55., 2019.

D. Le, H. Meng, L. Su, S. Yeo and V. Thing, “Biff: A blockchain-based IOT forensics framework with identity privacy”, In TENCON, IEEE Region 10 Conference (pp. 2372-2377), IEEE, 2018.

Z . Zheng, “An overview on smart contracts: challenges, advances and platforms”, Future Generation Computer Systems, 105, 475-491, 2020.

G. Governatori, et al., “On legal contracts, imperative and declarative smart contracts, and blockchain systems”, Artificial Intelligence and Law, 26(4), 377-409, 2018.

M. Cebe , E. Erdin , K. Akkaya , H. Aksu and S. Uluagac, “Block4forensic: An integrated lightweight blockchain framework for forensics applications of connected vehicles”, IEEE Communications Magazine, 56(10), 50-57,‏ 2018.

M. Hossain, Y. Karim and R. Hasan, “FIF-IoT: A forensic investigation framework for IoT using a public digital ledger”, In 2018 IEEE International Congress on Internet of Things (ICIOT) (pp. 33-40), IEEE, 2018.

J. Ryu, P. Sharma, J. Jo and J. Park, “A blockchain-based decentralized efficient investigation framework for IoT digital forensics”, The Journal of Supercomputing, 75(8), 4372-4387, 2019.

Z. Tian, M. Li, M. Qiu, Y. Sun and S. Su, “Block-DEF: A secure digital evidence framework using blockchain”, Information Sciences, 491, 151-165, 2019.

M. Stoyanova, Y. Nikoloudakis, S. Panagiotakis, E. Pallis and K. Markakis, “A survey on the internet of things (IoT) forensics: challenges, approaches, and open issues”, IEEE Communications Surveys & Tutorials, 22(2), 1191-1221, 2020.

A. Almasoud, F. Hussain and O. Hussain, “Smart contracts for blockchain-based reputation systems: A systematic literature review”, Journal of Network and Computer Applications, 170, 102814, 2020.

M. Alharby and A.Van Moorsel, “Blockchain-based smart contracts: A systematic mapping study”, arXiv preprint arXiv: 1710.06372, 2017.

F. Idelberger, G. Governatori, R. Riveret and G. Sartor, “Evaluation of Logic-Based Smart Contracts for Blockchain Systems”, 9718. 10.1007/978-3-319-42019-6_11, 2016.

K. Delmolino, M. Arnett, A. Kosba, A. Miller and E. Shi, “Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab”, In international conference on financial cryptography and data security (pp. 79-94), Springer, Berlin, Heidelberg, 2016.

K. Bhargavan, et al., “Formal verification of smart contracts: Short paper”, In proceedings of the 2016 ACM workshop on programming languages and analysis for security (pp.91-96), 2016.

G. Bigi, A. Bracciali, G. Meaccia and E. Tuosto, “Validation of decentralised smart contracts through game theory and formal methods”, In Programming Languages with Applications to Biology and Security (pp. 142-161), Springer, Cham, 2015.

A. Pandey, et al., “Current challenges of digital forensics in cyber security”, 10.4018/978-1-7998-1558-7.ch003, 2020.

R. Montasari, R. Hill, S. Parkinson, A. Hosseinian-Far and A. Daneshkhah, “Digital forensics: challenges and opportunities for future studies”, International Journal of Organizational and Collective Intelligence, 10. 10.4018/IJOCI.2020040103, 2020.

J. Muhr and T. Laurence, Blockchain for Dummies, 2rd ed., John Wiley & Sons Incorporated, 2017.

A. Bahga and V. Madisetti, “Blockchain platform for industrial internet of things”, Journal of Software Engineering and Applications, 9(10), 533-546, 2016.

S. Wang, et al., “An overview of smart contract: architecture, applications, and future trends”, In 2018 IEEE Intelligent Vehicles Symposium (IV) (pp. 108-113), IEEE, 2018.

S. Rezaei, E. Khamespanah, M. Sirjani, A. Sedaghatbaf, and S. Mohammadi, “Developing safe smart contracts”, In 2020 IEEE 44th Annual Computers Software and Applications Conference (COMPSAC) (pp. 1027-1035), IEEE, 2020.

M. Li, C. Lal, M. Conti and D. Hu, “LEChain: A blockchain-based lawful evidence management scheme for digital forensics”, Future Generation Computer Systems, 115, 406-420, 2021.

J. Hu and Y. Zhong, “A method of logic-based smart contracts for blockchain system”, In Proceedings of the International Conference on Data Processing and Applications (pp. 58-61), 2018.

A. Stancu and M. Dragan, “Logic-based smart contracts”, In World Conference on Information Systems and Technologies (pp. 387-394), Springer, Cham, 2020.

A. Rodis, “Fitbit Data and the Fourth Amendment: Why the Collection of Data from a Fitbit Constitutes a Search and Should Require a Warrant in Light of Carpenter v. United States” Wm & Mary Bill Rts, 29, 533, 2020.

T. Khairallah and A. Shamlawi, “Wearables as Digital Evidence”, 2019.

D. Altimari, “A marriage marked by secrets, a murder case months in the making”, [Online] Available: http://www.courant.com/news/connecticut/hc-ellington-murder-fit-bit-20170422-story.html.

N. Black, “Fitbit data, other digital evidence used by prosecution in murder case” [Online] Available: http://www.legalnews.com/washtenaw/1443244.




DOI: https://doi.org/10.31449/inf.v47i8.4132

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.