Interconnecting domains with heterogeneous key distribution and authentication protocols. - Frank Piessens; Bart De Decker; Phil Janson (S&P, 1993)