A Theoretical Model for Fork Analysis in the Bitcoin Network | IEEE Conference Publication | IEEE Xplore