References
- 한국인공장기센터. Korea Artificial Organ Center. http://www.kaoc.or.kr/
- E. Clarke, D. Kroening, N. Sharygina, K. Yorav. SATABS: SAT-based Predicate Abstraction for ANSI-C. Tools and Algorithms for the Construction and Analysis of Systems(TACAS2005), pp.570-574, 2005.
- Gerard J. Holzmann: The Model Checker SPIN. IEEE Transactions on Software Engineering, vol.23(5): 279-295, 1997. https://doi.org/10.1109/32.588521
- Hyunsang Choi, Heejo Lee, Hyogon Kim. BotGAD: Detecting Botnets by Capturing Group Activities in Network Traffic. Int'l Conf. on Communication System software and middleware(COMSWARE), 2009.
- Keun Park, Dongwon Seo, Jaewon Yoo, Heejo Lee, Hyogon Kim. Unified Rate Limiting in Broadband Access Networks for Defeating Internet Worms and DDoS Attacks. Information Security Practice and Experience Conference(ISPEC), pp.176-187, 2008.