Mads Dam. Proving Trust in Systems of 2nd-Order Processes: Preliminary Results. In Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998. pages 255-264, IEEE Computer Society, 1998. [doi]
Abstract is missing.