Protecting distributed software upgrades that involve message-passing | IEEE Conference Publication | IEEE Xplore