Ki-Seok Bang

According to our database, Ki-Seok Bang authored at least 9 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems.

Ki-Seok Bang, Il-Gon Kim, Ji-Yeon Lee, Jin-Young Choi

J. Res. Pract. Inf. Technol., 2014

2007

A Secure Handover Protocol Design in Wireless Networks with Formal Verification.

Sun-Hee Lim, Ki-Seok Bang, Okyeon Yi, Jongin Lim

Proceedings of the Wired/Wireless Internet Communications, 5th International Conference, 2007

A Fast and Efficient Authentication Protocol for a Seamless Handover between a WLAN and WiBro.

Sun-Hee Lim, Okyeon Yi, Chang-Hoon Jung, Ki-Seok Bang

Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

2005

System Resource Utilization Analysis Based on Model Checking Method.

Ki-Seok Bang, Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi

Informatica (Slovenia), 2005

2004

Formal Specification and Verification of Embedded System with Shared Resources.

Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang

Proceedings of the 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 2004

2003

SSR : Statechart with shared resources.

Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi

Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

2002

Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach.

Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha

Proceedings of the Model Checking of Software, 2002

2001

Comments on 'The Model Checker SPIN'.

Ki-Seok Bang, Jin-Young Choi, Chuck Yoo

IEEE Trans. Software Eng., 2001

2000

Equivalence Checking of Two Statechart Specifications.

Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang

Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), 2000