Knowledge-Based Modeling and Simulation of Network Access Control Mechanisms Representing Security Policies. - Jong-Young Koh; Mi Ra Yi; Tae Ho Cho; Hyung-Jong Kim 002; Hong-Geun Kim (ICICS, 2002)