A Directed Graph-Based Authentication Protocol Model and Its Security Analysis. - Hong-Bo Xie; Yuan-chen Wu; Ming-Tian Zhou (FCST, 2006)