Skip to content
Back to outputs

A temporal blockchain: a formal analysis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

A temporal blockchain : a formal analysis. / Dennis, Richard; Owenson, Gareth; Aziz, Benjamin.

Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems. IEEE, 2017.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Dennis, R, Owenson, G & Aziz, B 2017, A temporal blockchain: a formal analysis. in Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems. IEEE, 17th International Conference on Collaboration Technology and Systems, Orlando, United States, 31/10/16. https://doi.org/10.1109/CTS.2016.0082

APA

Dennis, R., Owenson, G., & Aziz, B. (2017). A temporal blockchain: a formal analysis. In Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems IEEE. https://doi.org/10.1109/CTS.2016.0082

Vancouver

Dennis R, Owenson G, Aziz B. A temporal blockchain: a formal analysis. In Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems. IEEE. 2017 https://doi.org/10.1109/CTS.2016.0082

Author

Dennis, Richard ; Owenson, Gareth ; Aziz, Benjamin. / A temporal blockchain : a formal analysis. Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems. IEEE, 2017.

Bibtex

@inproceedings{4b60fc8568e24fbe9ff8978a42e78e22,
title = "A temporal blockchain: a formal analysis",
abstract = "This paper presents a possible solution to a fundamental limitation facing all blockchain-based systems; scalability. We propose a temporal “rolling” blockchain which solves the problem of its current exponential growth, instead replacing it with a constant fixed-size blockchain. We conduct a thorough analysis of related work and present a formal analysis of the new rolling blockchain, comparing the results to a traditional blockchain model to demonstrate that the deletion of data from the blockchain does not impact on the security of the proposed blockchain model before concluding our work and presenting future work to be conducted.",
author = "Richard Dennis and Gareth Owenson and Benjamin Aziz",
year = "2017",
month = "3",
day = "6",
doi = "10.1109/CTS.2016.0082",
language = "English",
isbn = "978-1509023011",
booktitle = "Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - A temporal blockchain

T2 - a formal analysis

AU - Dennis, Richard

AU - Owenson, Gareth

AU - Aziz, Benjamin

PY - 2017/3/6

Y1 - 2017/3/6

N2 - This paper presents a possible solution to a fundamental limitation facing all blockchain-based systems; scalability. We propose a temporal “rolling” blockchain which solves the problem of its current exponential growth, instead replacing it with a constant fixed-size blockchain. We conduct a thorough analysis of related work and present a formal analysis of the new rolling blockchain, comparing the results to a traditional blockchain model to demonstrate that the deletion of data from the blockchain does not impact on the security of the proposed blockchain model before concluding our work and presenting future work to be conducted.

AB - This paper presents a possible solution to a fundamental limitation facing all blockchain-based systems; scalability. We propose a temporal “rolling” blockchain which solves the problem of its current exponential growth, instead replacing it with a constant fixed-size blockchain. We conduct a thorough analysis of related work and present a formal analysis of the new rolling blockchain, comparing the results to a traditional blockchain model to demonstrate that the deletion of data from the blockchain does not impact on the security of the proposed blockchain model before concluding our work and presenting future work to be conducted.

UR - http://ieeexplore.ieee.org/servlet/opac?punumber=1001747

U2 - 10.1109/CTS.2016.0082

DO - 10.1109/CTS.2016.0082

M3 - Conference contribution

SN - 978-1509023011

BT - Proceedings of the 17th International Conference on Collaboration Technology and Systems: International Symposium on Security in Collaboration Technology and Systems

PB - IEEE

ER -

ID: 5324697