Backup path allocation based on a correlated link failure probability model in overlay networks | IEEE Conference Publication | IEEE Xplore