Ki-Seok Bang

Publication Activity (10 Years)

Years Active: 2000-2014
Publications (10 Years): 0

Top Topics

Security Requirements

Database Security

Healthcare Systems

Top Venues

J. Res. Pract. Inf. Technol.

Publications

Ki-Seok Bang, Il-Gon Kim, Ji-Yeon Lee, Jin-Young Choi
Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. J. Res. Pract. Inf. Technol. 46 (2-3) (2014)
Sun-Hee Lim, Okyeon Yi, Chang-Hoon Jung, Ki-Seok Bang
A Fast and Efficient Authentication Protocol for a Seamless Handover between a WLAN and WiBro. COMSWARE (2007)
Sun-Hee Lim, Ki-Seok Bang, Okyeon Yi, Jongin Lim
A Secure Handover Protocol Design in Wireless Networks with Formal Verification. WWIC (2007)
Ki-Seok Bang, Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi
System Resource Utilization Analysis Based on Model Checking Method. Informatica (Slovenia) 29 (2) (2005)
Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang
Formal Specification and Verification of Embedded System with Shared Resources. IEEE International Workshop on Rapid System Prototyping (2004)
Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi
SSR : Statechart with shared resources. HCC (2003)
Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. SPIN (2002)
Ki-Seok Bang, Jin-Young Choi, Chuck Yoo
Comments on 'The Model Checker SPIN'. IEEE Trans. Software Eng. 27 (6) (2001)
Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang
Equivalence Checking of Two Statechart Specifications. IEEE International Workshop on Rapid System Prototyping (2000)