Policy specification and verification for blockchain and smart contracts in 5G networks

Devrim Unal; Mohammad Hammoudeh; Mehmet Sabir Kiraz

doi:10.1016/j.icte.2019.07.002

Policy specification and verification for blockchain and smart contracts in 5G networks

Devrim Unal^*, Mohammad Hammoudeh, Mehmet Sabir Kiraz

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

45 Scopus citations

Abstract

Blockchain offers unprecedented opportunities for innovation in financial transactions. A whole new world of opportunities for banking, lending, insurance, money transfer, investments, and stock markets awaits. However, the potential for wide-scale adoption of blockchain is hindered with cybersecurity and privacy issues. We provide an overview of the risks and security requirements and give an outlook for future research that could be helpful in solving some of the challenges. We also present an approach for policy specification and verification of financial transactions based on smart contracts.

Original language	English
Pages (from-to)	43-47
Number of pages	5
Journal	ICT Express
Volume	6
Issue number	1
DOIs	https://doi.org/10.1016/j.icte.2019.07.002
State	Published - Mar 2020
Externally published	Yes

Bibliographical note

Publisher Copyright:
© 2020 The Korean Institute of Communications and Information Sciences (KICS)

Keywords

5G networks
Blockchain
Security policy
Smart contract

ASJC Scopus subject areas

Software
Information Systems
Hardware and Architecture
Computer Networks and Communications
Artificial Intelligence

Access to Document

10.1016/j.icte.2019.07.002

Cite this

@article{f9c261f82dae444e8d8643870449cbfd,

title = "Policy specification and verification for blockchain and smart contracts in 5G networks",

abstract = "Blockchain offers unprecedented opportunities for innovation in financial transactions. A whole new world of opportunities for banking, lending, insurance, money transfer, investments, and stock markets awaits. However, the potential for wide-scale adoption of blockchain is hindered with cybersecurity and privacy issues. We provide an overview of the risks and security requirements and give an outlook for future research that could be helpful in solving some of the challenges. We also present an approach for policy specification and verification of financial transactions based on smart contracts.",

keywords = "5G networks, Blockchain, Security policy, Smart contract",

author = "Devrim Unal and Mohammad Hammoudeh and Kiraz, \{Mehmet Sabir\}",

note = "Publisher Copyright: {\textcopyright} 2020 The Korean Institute of Communications and Information Sciences (KICS)",

year = "2020",

month = mar,

doi = "10.1016/j.icte.2019.07.002",

language = "English",

volume = "6",

pages = "43--47",

journal = "ICT Express",

issn = "2405-9595",

publisher = "Korean Institute of Communications and Information Sciences",

number = "1",

}

TY - JOUR

T1 - Policy specification and verification for blockchain and smart contracts in 5G networks

AU - Unal, Devrim

AU - Hammoudeh, Mohammad

AU - Kiraz, Mehmet Sabir

PY - 2020/3

Y1 - 2020/3

N2 - Blockchain offers unprecedented opportunities for innovation in financial transactions. A whole new world of opportunities for banking, lending, insurance, money transfer, investments, and stock markets awaits. However, the potential for wide-scale adoption of blockchain is hindered with cybersecurity and privacy issues. We provide an overview of the risks and security requirements and give an outlook for future research that could be helpful in solving some of the challenges. We also present an approach for policy specification and verification of financial transactions based on smart contracts.

AB - Blockchain offers unprecedented opportunities for innovation in financial transactions. A whole new world of opportunities for banking, lending, insurance, money transfer, investments, and stock markets awaits. However, the potential for wide-scale adoption of blockchain is hindered with cybersecurity and privacy issues. We provide an overview of the risks and security requirements and give an outlook for future research that could be helpful in solving some of the challenges. We also present an approach for policy specification and verification of financial transactions based on smart contracts.

KW - 5G networks

KW - Blockchain

KW - Security policy

KW - Smart contract

UR - https://www.scopus.com/pages/publications/85068971382

U2 - 10.1016/j.icte.2019.07.002

DO - 10.1016/j.icte.2019.07.002

M3 - Article

AN - SCOPUS:85068971382

SN - 2405-9595

VL - 6

SP - 43

EP - 47

JO - ICT Express

JF - ICT Express

IS - 1

ER -

Policy specification and verification for blockchain and smart contracts in 5G networks

Abstract

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this