Browse > Article

융합소프트웨어 안전성을 위한 소프트웨어공학 기술 적용  

Cha, Seong-Deok (고려대학교 정보통신대학)
Choe, Jin-Yeong (고려대학교 정보통신대학)
Kim, Seon-Han (고려대학교 의과대학)
Lee, Hui-Jo (고려대학교 정보통신대학)
Jang, Gil-Su (고려대학교 전기전자전파공학부)
Nam, Won-Hong (고려대학교 정보통신대학)
Choe, Jae-Sun (고려대학교 의과대학)
Lee, Jeong-Ju (고려대학교 의과대학)
Jeong, Se-Hun (고려대학교 컴퓨터학과)
Hwang, Dae-Yeon (고려대학교 컴퓨터공학과)
Song, Gyeong-Seop (고려대학교 컴퓨터전파통신공학과)
Sin, Byeong-Yun (고려대학교 전자전기공학과)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.28, no.2, 2010 , pp. 63-69 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 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.
2 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.
3 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.
4 한국인공장기센터. Korea Artificial Organ Center. http://www.kaoc.or.kr/
5 Gerard J. Holzmann: The Model Checker SPIN. IEEE Transactions on Software Engineering, vol.23(5): 279-295, 1997.   DOI   ScienceOn