Digital Library[ Search Result ]
Search : "[ author: Eun Bok Choi ]" (4)
A Formal Modeling of Managed Object Behaviour with Dynamic Temporal Properties
Eun Bok Choi Hyung Hyo Lee Bong Nam Noh
Vol. 7, No. 1, pp. 166-180, Jan. 2000
10.3745/KIPSTE.2000.7.1.166
Vol. 7, No. 1, pp. 166-180, Jan. 2000
10.3745/KIPSTE.2000.7.1.166
Application Design and Execution Framework in Role-Based Access Control Systems
Hyung Hyo Lee Eun Bok Choi Bong Nam Noh
Vol. 6, No. 11, pp. 3020-3033, Nov. 1999
10.3745/KIPSTE.1999.6.11.3020
Vol. 6, No. 11, pp. 3020-3033, Nov. 1999
10.3745/KIPSTE.1999.6.11.3020