NDLI: Statistical model checking for blockchain-based applications

Please wait, while we are loading the content...

Statistical model checking for blockchain-based applications

Content Provider	Scilit
Author	Maksimov, D. B. Yakimov, I. A. Kuznetsov, A. S.
Copyright Year	2020
Description	Journal: Iop Conference Series: Materials Science and Engineering Blockchain-based applications have become increasingly popular in recent years. Security concerns are rising as blockchain users are becoming aware of how their private data is stored across this decentralized network of computing nodes. Formal verification allows developers to improve software quality and hence make it more secure. The main hypothesis of this paper is that it is achievable to perform formal verification of a model that represents a smart contract responsible for user registration. In order to test the hypothesis, we have created a model of such a smart contract and checked it against a set of formal constraints. As a result of the conducted study, a conclusion can be made that the hypothesis is correct.
Related Links	https://iopscience.iop.org/article/10.1088/1757-899X/734/1/012152/pdf
ISSN	17578981
e-ISSN	1757899X
DOI	10.1088/1757-899x/734/1/012152
Journal	Iop Conference Series: Materials Science and Engineering
Issue Number	1
Volume Number	734
Language	English
Publisher	IOP Publishing
Publisher Date	2020-01-01
Access Restriction	Open
Subject Keyword	Journal: Iop Conference Series: Materials Science and Engineering Hardware and Architecture Formal Verification Smart Contract Applications Blockchain Based
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in