Proving trust in systems of second-order processes | IEEE Conference Publication | IEEE Xplore