Advancing assurance for secure distributed communications | IEEE Conference Publication | IEEE Xplore