@article{Unal2020b,
	title = {Policy specification and verification for blockchain and smart contracts in {5G} networks},
	volume = {6},
	issn = {24059595},
	url = {https://linkinghub.elsevier.com/retrieve/pii/S240595951930181X},
	doi = {10.1016/j.icte.2019.07.002},
	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.},
	number = {1},
	journal = {ICT Express},
	author = {Unal, Devrim and Hammoudeh, Mohammad and Kiraz, Mehmet Sabir},
	month = mar,
	year = {2020},
	keywords = {5G networks, Blockchain, Security policy, Smart contract},
	pages = {43--47},
}

{"_id":"69BuiHbXSevKNn9sg","bibbaseid":"unal-hammoudeh-kiraz-policyspecificationandverificationforblockchainandsmartcontractsin5gnetworks-2020","author_short":["Unal, D.","Hammoudeh, M.","Kiraz, M. S."],"bibdata":{"bibtype":"article","type":"article","title":"Policy specification and verification for blockchain and smart contracts in 5G networks","volume":"6","issn":"24059595","url":"https://linkinghub.elsevier.com/retrieve/pii/S240595951930181X","doi":"10.1016/j.icte.2019.07.002","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.","number":"1","journal":"ICT Express","author":[{"propositions":[],"lastnames":["Unal"],"firstnames":["Devrim"],"suffixes":[]},{"propositions":[],"lastnames":["Hammoudeh"],"firstnames":["Mohammad"],"suffixes":[]},{"propositions":[],"lastnames":["Kiraz"],"firstnames":["Mehmet","Sabir"],"suffixes":[]}],"month":"March","year":"2020","keywords":"5G networks, Blockchain, Security policy, Smart contract","pages":"43–47","bibtex":"@article{Unal2020b,\n\ttitle = {Policy specification and verification for blockchain and smart contracts in {5G} networks},\n\tvolume = {6},\n\tissn = {24059595},\n\turl = {https://linkinghub.elsevier.com/retrieve/pii/S240595951930181X},\n\tdoi = {10.1016/j.icte.2019.07.002},\n\tabstract = {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.},\n\tnumber = {1},\n\tjournal = {ICT Express},\n\tauthor = {Unal, Devrim and Hammoudeh, Mohammad and Kiraz, Mehmet Sabir},\n\tmonth = mar,\n\tyear = {2020},\n\tkeywords = {5G networks, Blockchain, Security policy, Smart contract},\n\tpages = {43--47},\n}\n\n\n\n","author_short":["Unal, D.","Hammoudeh, M.","Kiraz, M. S."],"key":"Unal2020b","id":"Unal2020b","bibbaseid":"unal-hammoudeh-kiraz-policyspecificationandverificationforblockchainandsmartcontractsin5gnetworks-2020","role":"author","urls":{"Paper":"https://linkinghub.elsevier.com/retrieve/pii/S240595951930181X"},"keyword":["5G networks","Blockchain","Security policy","Smart contract"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/wmarshedi","dataSources":["6oX56jrCWfxNpSJQs"],"keywords":["5g networks","blockchain","security policy","smart contract"],"search_terms":["policy","specification","verification","blockchain","smart","contracts","networks","unal","hammoudeh","kiraz"],"title":"Policy specification and verification for blockchain and smart contracts in 5G networks","year":2020}