Protected Message Service as a Step towards Safe Distributed Systems Architecture | IEEE Conference Publication | IEEE Xplore