정보과학회지 (Communications of the Korean Institute of Information Scientists and Engineers)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

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

  • 차성덕 (고려대학교 정보통신대학) ;
  • 최진영 (고려대학교 정보통신대학) ;
  • 김선한 (고려대학교 의과대학) ;
  • 이희조 (고려대학교 정보통신대학) ;
  • 장길수 (고려대학교 전기전자전파공학부) ;
  • 남원홍 (고려대학교 정보통신대학) ;
  • 최재순 (고려대학교 의과대학) ;
  • 이정주 (고려대학교 의과대학) ;
  • 정세훈 (고려대학교 컴퓨터학과) ;
  • 황대연 (고려대학교 컴퓨터공학과) ;
  • 송경섭 (고려대학교 컴퓨터전파통신공학과) ;
  • 신병윤 (고려대학교 전자전기공학과)
  • 발행 : 2010.02.17
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

키워드

참고문헌

  1. 한국인공장기센터. Korea Artificial Organ Center. http://www.kaoc.or.kr/
  2. 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.
  3. 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
  4. 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.
  5. 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.