주제분류
- 기타(286)
- 의약학(128)
- 교육학(56)
- 자연과학(42)
- 사회과학(41)
- 보건학(30)
- 유아교육학(20)
- 심리학(16)
- 농수해양학(13)
- 특수교육학(13)
- 사회복지학(10)
- 예체능(8)
- 공학(6)
- 종교(3)
- 인문학(2)
자료유형
발행기관
- 테크노프레스(69)
- 물리치료재활과학회(58)
- 대한생리학회-대한약리학회(44)
- 한국탄소학회(29)
- 인문사회과학기술융합학회(24)
- 대한기계학회(20)
- 한국정보과학회(17)
- 한국전산구조공학회(16)
- 한국지진공학회(14)
- 대한수의학회(13)
- 한국식물병리학회(13)
- 환태평양유아교육연구학회(12)
- 한국보건기초의학회(11)
- 대한신경정신의학회(10)
- 대한전기학회(8)
- 한국교육학회(8)
- 한국시각장애교육재활학회(8)
- 한국정밀공학회(8)
- 경인교육대학교 교육연구원(7)
- 대한고령친화산업학회(7)
- 한국공작기계학회(7)
- 한국정보처리학회(7)
- 한국항공우주학회(7)
- 한국초등체육학회(6)
- 한국해양공학회(6)
- 대한치과교정학회(5)
- 한국경호경비학회(5)
- 한국미술치료학회(5)
- 한국여가문화학회(5)
- 한국열환경공학회(5)
- 한국지반공학회(5)
- 한국철도학회(5)
- 대한건축학회(4)
- 대한신경계작업치료학회(4)
- 부산대학교 교육발전연구소(4)
- 이화여자대학교 교과교육연구소(4)
- 한국교육방법학회(4)
- 한국성인교육학회(4)
- 한국안전학회(4)
- 한국인간발달학회(4)
- 한국자동차공학회(4)
- 한국정보보호학회(4)
- 한국청각언어재활학회(4)
- 한국콘크리트학회(4)
- 한방비만학회(4)
- 국민연금연구원(3)
- 대한조선학회(3)
- 대한치과이식임플란트학회(3)
- 대한토목학회(3)
- 제어로봇시스템학회(3)
- 한국강구조학회(3)
- 한국교육치료학회(3)
- 한국교육행정학회(3)
- 한국기초간호학회(3)
- 한국동력기계공학회(3)
- 한국복합재료학회(3)
- 한국소음진동공학회(3)
- 한국어린이미디어학회(3)
- 한국장애인복지학회(3)
- 한국컴퓨터정보학회(3)
- 한국콘텐츠학회(3)
- 한국항공우주연구원(3)
- 고령자치매작업치료학회(2)
- 대한생리학회(2)
- 대한약리학회(2)
- 대한전자공학회(2)
- 한국교류분석상담학회(2)
- 한국군사과학기술학회(2)
- 한국농업기계학회(2)
- 한국멀티미디어학회(2)
- 한국발달지원학회(2)
- 한국보육지원학회(2)
- 한국불교상담학회(2)
- 한국생산제조시스템학회(2)
- 한국식품과학회(2)
- 한국아동권리학회(2)
- 한국아동미술학회(2)
- 한국웰니스학회(2)
- 한국음악교육학회(2)
- 한국임상사회사업학회(2)
- 한국임상움직임치료학회(2)
- 한국청소년상담학회(2)
- 한국통신학회(2)
- 한국통합교육학회(2)
- 한국학부모학회(2)
- 한국해안해양공학회(2)
- 공주교육대학교 초등교육연구원(1)
- 과학기술정책연구원(STEPI)(1)
- 국제사회복지학회(1)
- 대한물리의학회(1)
- 대한설비공학회(1)
- 대한치과보철학회(1)
- 대한환경공학회(1)
- 아시아아동지원학회(1)
- 아시아태평양암예방학회(1)
- 유공압시스템학회(1)
- 인지발달중재학회(1)
- 전력전자학회(1)
- 한국가스학회(1)
- 한국가족치료학회(1)
- 한국광고PR실학회(1)
- 한국교원대학교 뇌기반교육연구소(1)
- 한국교육시설학회(1)
- 한국교육정치학회(1)
- 한국구조물진단유지관리공학회(1)
- 한국기계가공학회(1)
- 한국기업교육학회(1)
- 한국노년학연구회(1)
- 한국노인간호학회(1)
- 한국농공학회(1)
- 한국대학박물관협회(1)
- 한국동서정신과학회(1)
- 한국마린엔지니어링학회(1)
- 한국마이크로전자및패키징학회(1)
- 한국모래상자치료학회(1)
- 한국박물관학회(1)
- 한국방송공학회(1)
- 한국보조공학회(1)
- 한국복지상담교육학회(1)
- 한국부모교육학회(1)
- 한국사회과수업학회(1)
- 한국사회복지교육협의회(1)
- 한국산업정보학회(1)
- 한국소성가공학회(1)
- 한국수산학회(1)
- 한국아동심리치료학회(1)
- 한국에너지공학회(1)
- 한국예술심리치료학회(1)
- 한국융합학회(1)
- 한국음악교육공학회(1)
- 한국음악치료학회(1)
- 한국인터넷정보학회(1)
- 한국전기전자재료학회(1)
- 한국전자파학회(1)
- 한국정보통신설비학회(1)
- 한국조형교육학회(1)
- 한국종교교육학회(1)
- 한국지역학회(1)
- 한국창의력교육학회(1)
- 한국특수교육교과교육학회(1)
- 한국항공운항학회(1)
- 한국항만경제학회(1)
- 한국항해항만학회(1)
- 한국헬스커뮤니케이션학회(1)
- 한국화재소방학회(1)
간행물
- PHYSICAL THERAPY REHABILITATION SCIENCE(58)
- STRUCTURAL ENGINEERING AND MECHANICS : AN INTERNATIONAL JOURNAL(49)
- THE KOREAN JOURNAL OF PHYSIOLOGY & PHARMACOLOGY(44)
- CARBON LETTERS(29)
- 예술인문사회융합멀티미디어논문지(24)
- 한국지진공학회논문집(14)
- ASIA-PACIFIC JOURNAL OF RESEARCH IN EARLY CHILDHOOD EDUCATION(12)
- THE PLANT PATHOLOGY JOURNAL (11)
- 대한기계학회론문집. TRANSACTIONS OF THE KOREAN SOCIETY OF MECHANICAL ENGINEERS. A. A(11)
- 한국보건기초의학회지(11)
- 한국전산구조공학회논문집(11)
- 신경정신의학(9)
- JOURNAL OF VETERINARY SCIENCE(8)
- 교육논총(8)
- 시각장애연구(8)
- 대한고령친화산업학회지(7)
- 정보과학회논문지. JOURNAL OF KIISE. 컴퓨팅의 실제 및 레터(7)
- 정보과학회논문지. JOURNAL OF KIISE. 소프트웨어 및 응용(6)
- 한국초등체육학회지(6)
- THE KOREAN JOURNAL OF ORTHODONTICS(5)
- 교육학연구(5)
- 미술치료연구(5)
- 시큐리티연구(5)
- 여가학연구(5)
- 열환경공학(5)
- 전산 구조 공학(5)
- 한국공작기계학회논문집(5)
- 한국정밀공학회지(5)
- 한국지반공학회논문집(5)
- 한국항공우주학회지(5)
- 한국해양공학회지(5)
- ANDRAGOGY TODAY(4)
- AUDIOLOGY AND SPEECH RESEARCH(4)
- COMPUTERS & CONCRETE(4)
- KOREAN JOURNAL OF VETERINARY RESEARCH(구 대한수의학회지)(4)
- 교과교육학연구(4)
- 교육방법연구(4)
- 대한한방비만학회지(4)
- 재활치료과학(4)
- 정보보호학회논문지(4)
- 콘크리트학회논문집(4)
- 한국철도학회 논문집(4)
- INTERNATIONAL JOURNAL OF AUTOMOTIVE TECHNOLOGY(3)
- INTERNATIONAL JOURNAL OF PRECISION ENGINEERING AND MANUFACTURING(3)
- JOURNAL OF DENTAL IMPLANT RESEARCH(3)
- JOURNAL OF KOREAN BIOLOGICAL NURSING SCIENCE(3)
- JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY(3)
- STEEL & COMPOSITE STRUCTURES : AN INTERNATIONAL JOURNAL(3)
- WIND & STRUCTURES(3)
- 교육치료연구(3)
- 교육행정학연구(3)
- 교육혁신연구(3)
- 대한건축학회논문집 : JOURNAL OF THE ARCHITECTURAL INSTITUTE OF KOREA : STRUCTURE & CONSTRUCTION / 구조계(3)
- 대한기계학회논문집(3)
- 어린이미디어연구(3)
- 인간발달연구(3)
- 전기학회논문지. THE TRANSACTIONS OF THE KOREAN INSTITUTE OF ELECTRICAL ENGINEERS. A / A, 전력기술부문(3)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART A. PART A(3)
- 한국공작기계학회지(3)
- 한국교육학회 학술대회논문집(3)
- 한국동력기계공학회지(3)
- 한국안전학회지(3)
- 한국장애인복지학(3)
- 한국컴퓨터정보학회논문지(3)
- 한국콘텐츠학회논문지(3)
- 항공우주기술(3)
- ADVANCES IN AIRCRAFT AND SPACECRAFT SCIENCE(2)
- EARTHQUAKES AND STRUCTURES(2)
- INTERACTION AND MULTISCALE MECHANICS(2)
- INTERNATIONAL JOURNAL OF NAVAL ARCHITECTURE AND OCEAN ENGINEERING(2)
- JOURNAL OF COMPUTING SCIENCE AND ENGINEERING(2)
- KSME INTERNATIONAL JOURNAL(2)
- SMART STRUCTURES AND SYSTEMS(2)
- 고령자-치매작업치료학회지(2)
- 교류분석상담연구(2)
- 국민연금연구원 연구보고서(2)
- 대한생리학회지(2)
- 대한약리학잡지(2)
- 멀티미디어학회논문지(2)
- 발달지원연구(2)
- 복합재료 : 한국복합재료학회지(2)
- 불교상담학연구(2)
- 식물병연구(2)
- 아동과 권리(2)
- 아동미술교육(2)
- 음악교육연구(2)
- 임상사회사업연구(2)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART D. PART D(2)
- 제어-로봇-시스템학회 논문지(2)
- 통합교육연구(2)
- 학부모연구(2)
- 한국강구조학회 논문집(2)
- 한국군사과학기술학회지(2)
- 한국보육지원학회지(2)
- 한국소음진동공학회논문집(2)
- 한국웰니스학회지(2)
- 한국임상움직임치료학회지(2)
- 한국청소년상담학회지(2)
- 한국통신학회논문지. THE JOURNAL OF KOREA INFORMATION AND COMMUNICATIONS SOCIETY. 통신이론 및 시스템(2)
- 한국해안-해양공학회논문집(2)
- ADVANCED COMPOSITE MATERIALS : THE OFFICIAL JOURNAL OF THE JAPAN SOCIETY OF COMPOSITE MATERIALS AND (1)
- ADVANCES IN ROBOTICS RESEARCH(1)
- AGRICULTURAL AND BIOSYSTEMS ENGINEERING(1)
- ARCHITECTURAL RESEARCH(1)
- ASIAN PACIFIC JOURNAL OF CANCER PREVENTION : APJCP(1)
- BRAIN & LEARNING(1)
- FOOD SCIENCE AND BIOTECHNOLOGY(1)
- GEOMECHANICS & ENGINEERING(1)
- INTERNATIONAL JOURNAL OF AERONAUTICAL AND SPACE SCIENCES(1)
- INTERNATIONAL JOURNAL OF AIR-CONDITIONING AND REFRIGERATION(1)
- INTERNATIONAL JOURNAL OF OCEAN SYSTEM ENGINEERING(1)
- INTERNATIONAL JOURNAL OF RAILWAY(1)
- JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY(1)
- JOURNAL OF POWER ELECTRONICS : JPE(1)
- JOURNAL OF THE KOREA ELECTROMAGNETIC ENGINEERING SOCIETY(1)
- KIEE INTERNATIONAL TRANSACTIONS ON ELECTRICAL MACHINERY AND ENERGY CONVERSION SYSTEMS(1)
- KIEE INTERNATIONAL TRANSACTIONS ON POWER ENGINEERING(1)
- KSAS INTERNATIONAL JOURNAL(1)
- KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS : TIIS(1)
- PSYCHIATRY INVESTIGATION(1)
- 가족과 가족치료(1)
- 고문화(1)
- 광고PR실학연구(1)
- 교육시설 : 한국교육시설학회논문집(1)
- 교육연구(1)
- 교육정치학연구(1)
- 국민연금연구원 용역보고서(1)
- 국제사회복지학(1)
- 기업교육과 인재연구(1)
- 노인간호학회지(1)
- 대한기계학회지(1)
- 대한물리의학회지(1)
- 대한수의학회 학술대회발표집(1)
- 대한조선학회 논문집(1)
- 대한치과보철학회지(1)
- 대한토목학회논문집, JOURNAL OF THE KOREAN SOCIETY OF CIVIL ENGINEERS, B. 수공학, 해안 및 항만공학, 환경 및 생태공학(1)
- 대한토목학회논문집, JOURNAL OF THE KOREAN SOCIETY OF CIVIL ENGINEERS, D. 교통공학, 도로공학, 시공관리, 정보기술, 지역 및 도시계획, 철(1)
- 대한토목학회논문집, JOURNAL OF THE KOREAN SOCIETY OF CIVIL ENGINEERS. A. 구조공학, 원자력공학, 콘크리트공학(1)
- 대한환경공학회지(1)
- 동서정신과학(1)
- 마이크로전자 및 패키징 학회지(1)
- 모래상자치료연구(1)
- 바이오시스템공학(1)
- 박물관학보(1)
- 방송공학회논문지(1)
- 보조공학저널(1)
- 복지상담교육연구(1)
- 부모교육연구(1)
- 사회과수업연구(1)
- 소성가공(1)
- 소음진동(1)
- 아시아아동지원연구(1)
- 에너지공학(1)
- 예술심리치료연구(1)
- 유공압시스템학회논문집(1)
- 음악교육공학(1)
- 인지발달중재학회지(1)
- 전기전자재료학회논문지(1)
- 전기학회논문지. THE TRANSACTIONS OF THE KOREAN INSTITUTE OF ELECTRICAL ENGINEERS. B, 전기기기 및 에너지변환시스템부문(1)
- 전기학회논문지= THE TRANSACTIONS OF THE KOREAN INSTITUTE OF ELECTRICAL ENGINEERS(1)
- 전자공학회논문지. JOURNAL OF THE INSTITUTE OF ELECTRONICS ENGINEERS OF KOREA. CI, 컴퓨터(1)
- 전자공학회논문지. JOURNAL OF THE INSTITUTE OF ELECTRONICS ENGINEERS OF KOREA. SD, 반도체(1)
- 정보과학회논문지(1)
- 정보과학회논문지. JOURNAL OF KISS (A):COMPUTER SYSTEMS AND THEORY. A(1)
- 정보처리학회논문지. KIPS TRANSACTIONS ON COMPUTER AND COMMUNICATION SYSTEMS 컴퓨터 및 통신 시스템(1)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART C PART C(1)
- 정보통신설비= JOURNAL OF INFORMATION AND TELECOMMUNICATION FACILITY ENGINEERING(1)
- 정책자료(1)
- 제어-자동화-시스템공학 논문지(1)
- 조형교육(1)
- 종교교육학연구(1)
- 지역연구(1)
- 창의력교육연구(1)
- 특수교육교과교육연구(1)
- 한국가스학회지(1)
- 한국강구조학회지(1)
- 한국구조물진단유지관리공학회 논문집(1)
- 한국기계가공학회지(1)
- 한국노년학연구(1)
- 한국농공학회지(1)
- 한국마린엔지니어링학회지(1)
- 한국사회복지교육(1)
- 한국산업안전학회지(1)
- 한국산업정보학회 논문지A(1)
- 한국생산제조시스템학회지(1)
- 한국수산학회지: BULLETIN OF THE KOREAN FISHERIES SOCIETY(1)
- 한국식품과학회지(1)
- 한국아동심리치료학회지(1)
- 한국융합학회논문지(1)
- 한국음악치료학회지(1)
- 한국인간발달학회 학술대회지(1)
- 한국자동차공학회논문집(1)
- 한국항공운항학회지(1)
- 한국항만경제학회지(1)
- 한국항해항만학회지(1)
- 한국화재소방학회 논문지= JOURNAL OF KOREAN INSTITUTE OF FIRE SCIENCE & ENGINEERING(1)
- 헬스커뮤니케이션연구(1)
전체 선택해제
총 674건 검색
본문검색 결과만 보기
-
PHP 파일 삽입 취약성 검사를 위한 정적 분석기의 구현
안준선, 임성채, Ahn. Joon-Seon, Lim. Seong-Chae 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 12 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2011, No.0 193-204 (12 pages)
인터넷 상의 웹 응용 프로그램은 불특정 다수의 사용자가 접근할 수 있기 때문에 보안상의 위험이 가중된다. 특히, 응용 프로그램의 소스코드에 보안 취약성이 있을 경우에는 침입 탐지 시스템과 같은 시스템 수준의 방어가 어렵기 때문에 이를 미리 제거하는 것이 중요하다. 본 논문에서는 웹 응용 프로그램의 대표적인 소스 코드 취약성인 PHP 파일 삽입 취약성을 자동으로 검출할 수 있는 정적 분석기의 구현에 대해 다룬다. 본 연구에서는 의미 기반의 정적 분석을 사용하여 소스 코드의 취약성을 미리 자동으로 검출하고 수정하도록... -
웹 응용 프로그램의 문자열 삽입 보안 취약성 분석기 개발
안준선, 김영민, 조장우, Ahn. Joon-Seon, Kim. Yeong-Min, Jo. Jang-Wu 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 8 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2008, No.0 181-188 (8 pages)
오늘날 대부분의 웹사이트는 웹 응용 프로그램이 적절한 웹 페이지를 생성하여 전송하는 형태인 동적 웹페이지를 사용하고 있다. 이에 대하여, 취약한 웹 응용 프로그램에 악의적인 문자열을 전달하는 공격의 형태가 증가하고 있다. 본 논문에서는 대표적인 문자열 삽입 공격인 SQL 삽입(SQL Injection) 공격과 크로스 사이트 스크립팅(Cross Site Scripting, XSS) 공격에 대하여 웹 응용 프로그램내의 보안 취약성을 자동으로 찾아 주는 프로그램 정적 분석기를 개발하였다. 요약 해석을 사용한 프로그램 분석을 위하여 가능한 문자열... -
데이터 구조를 고려한 소스코드 표절 검사 기법
이기화, 김연어, 우균, Lee. Kihwa, Kim. Yeoneo, Woo. Gyun 한국정보처리학회 정보처리학회논문지. KIPS transactions on computer and communication systems 컴퓨터 및 통신 시스템 8 Pages
한국정보처리학회 정보처리학회논문지. KIPS transactions on computer and communication systems 컴퓨터 및 통신 시스템 2014, Vol.3 No.6 189-196 (8 pages)
표절은 불법이고 피해야 하지만 여전히 빈번하게 발생하고 있다. 특히, 소스코드 표절은 그 특성상 복사가 용이해 다른 저작물보다 더 빈번히 발생한다. 코드 표절을 방지하기 위한 다양한 연구가 있었다. 하지만 앞서 연구된 소스코드 표절 검사 기법을 살펴보면 프로그램이 알고리즘과 데이터 구조로 구성됨에도 불구하고 데이터 구조는 전혀 고려하지 않고 있다. 이 논문에서는 데이터 구조를 고려한 소스코드 표절 검사 기법을 제안한다. 구체적으로 말해서 두 소스코드의 데이터 구조를 트리 집합으로 나타내고, 헝가리안 메소드를... -
소스코드의 보안성 메트릭 설계에 관한 연구
서동수, Seo. Dong-Su 한국정보보호학회 情報保護學會論文誌 9 Pages
한국정보보호학회 情報保護學會論文誌 2010, Vol.20 No.6 147-155 (9 pages)
소스코드의 정적분석 기술은 소스코드 자체에 내재된 취약성을 찾는데 활용되는 중요한 기술로 인식되고 있다. 본 논문은 정보시스템의 소스코드 보안성 수준을 평가하는 방법으로 정적분석 결과인 소스코드의 취약성 정보와 프로그램이 처리하는 정보의 중요도를 활용하는 평가 메트릭의 설계 및 활용을 소개한다. 소스코드 보안성 메트릭은 소스코드의 취약점 수준을 개발 과정에서 미리 파악할 수 있도록 도움을 준다는 측면에서 평가자와 개발자 모두가 활용할 수 있다. 특히 평가자는 보안 메트릭을 통해 소스코드의 성격과 요구되는... -
SQL 질의 애트리뷰트 값 제거 방법을 이용한 효과적인 SQL Injection 공격 탐지 방법 연구
이인용, 조재익, 조규형, 문종섭, Lee. In-Yong, Cho. Jae-Ik, Cho. Kyu-Hyung, Moon. Jong-Sub 한국정보보호학회 情報保護學會論文誌 14 Pages
한국정보보호학회 情報保護學會論文誌 2008, Vol.18 No.5 135-148 (14 pages)
인터넷이 발전함에 따라 웹 애플리케이션을 이용한 서비스가 대중화되었고, 웹 애플리케이션의 취약점을 목표로 하는 공격들도 증가하게 되었다. 많은 웹 공격 중의 하나인 SQL Injection 공격은 민감한 데이터를 처리하는 곳에서는 매우 치명적이고 위험하기 때문에 이를 탐지하고 예방하기 위한 연구들이 다양하게 이루어져 왔다. 이로 인하여 SQL Injection 공격들이 많이 감소했지만 아직도 이를 우회하는 방법들이 존재하며, 기존의 연구 방법들 또한 매우 복잡하여 실제 웹 애플리케이션에 적용하여 사용하기 어렵다. 따라서 본... -
웹 응용프로그램의 삽입취약점 탐지를 위한 문자열분석
최태형, 김정준, 도경구, Choi. Tae-Hyoung, Kim. Jung-Joon, Doh. Kyung-Goo 한국정보보호학회 情報保護學會論文誌 5 Pages
한국정보보호학회 情報保護學會論文誌 2007, Vol.17 No.6 149-153 (5 pages)
삽입취약점은 웹 응용프로그램에 공격자가 악성코드를 정상적인 입력 값 대신 넣어 시스템에 피해를 입힐 수 있는 대표적인 취약점이다. 삽입공격에서 안전한 애플리케이션은 외부에서 들어오는 입력 값에 들어있을 수 있는 악성문자를 여과하도록 작성해야 한다. 특정 문자의 여과 여부는 주요지점에서 문자열 변수에 특정 문자가 포함될 수 있는지를 검사하여 정적으로 알아낼 수 있다. 본 논문에서는 조건식의 의미를 분석에 적용하는 향상된 방식으로 응용프로그램의 삽입 취약점을 정적으로 판정하는 방법을 제안한다. -
간격제한 스케줄이에 정적 우선순위 정책의 적용
정학진, 설근석, 이해영, 이상호 한국정보과학회 정보과학회논문지. Journal of KISS (a):computer systems and theory. A 11 Pages
한국정보과학회 정보과학회논문지. Journal of KISS (a):computer systems and theory. A 1999, Vol.26 No.11 1333-1343 (11 pages)
previous execution of the task.Much work on the distance-constrained task scheduling has been based on the reduction technique. In this paper, we propose a new scheme for the distance-constrained task scheduling which does not use the reduction technique but adopts static priority and static separation constraint assignment policy. We show that our static assignment approach can simplify the scheduling analysis and its implementation, and can also reduce the run-time overhead of the scheduler. -
임베디드 S/W 개발 시 프로그래밍 개선점- MISRA-C를 중심으로
정다혜, 안소진, 최진영, Jung. Da-Hye, Ahn. So-Jin, Choi. Jin-Young 한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 4 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 2013, Vol.19 No.3 149-152 (4 pages)
소프트웨어 개발 시 코딩 규칙을 준수하면 소프트웨어에 잠재적으로 존재하는 프로그래밍 오류를 예방하는데 많은 도움이 된다. MISRA-C: 2004는 고 신뢰성과 고품질이 요구되는 자동차, 우주항공, 통신, 등 제조분야에 대한 C언어 코딩 규칙이다. 본 논문에서는 자동차와 우주항공같이 높은 안전성이 요구되는 원자력 발전소 활용 가능한 감시 시스템(가칭)을 타깃으로 하여 정적 분석한다. 그리고 분석 결과에서 발견된 오류 중 가장 빈번히 일어나는 오류에 대한 문제점을 분석하고 임베디드 소프트웨어 품질 개선을 위하여 각... -
사례연구를 통한 정적 프로그램 분석 기법을 사용하는 도구의 비교
김윤호, 박용배, 김문주, Kim. Yunho, Park. Yongbae, Kim. Moonzoo 한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 5 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 2013, Vol.19 No.8 424-428 (5 pages)
프로그램 신뢰성 향상을 위해서 정적 프로그램분석 도구가 많이 사용되고 있다. 하지만, 정적 분석 결과에서 거짓 경보를 걸러내기 위한 추가적인 분석이 필요하고 실제 오류를 찾지 못할 수 있는 문제점이 있다. 본 논문에서는 상용 정적 프로그램 분석 도구인 Coverity와 Sparrow 및 오픈 소스 도구인 Clang analyzer를 buffer overflow 벤치마크와 libexif 0.6.20 소스코드에 적용하여 실험 대상 도구가 오류를 찾아내는데 얼마나 효과적인지 사례 연구를 수행하였다. 실험 결과 buffer overflow 벤치마크에서는 Coverity, Sparrow,... -
시한폭탄 기반의 악성 웹 콘텐츠들의 효율적인 탐지 방법
김동진, 조성제, 김홍근, Kim. Dong-Jin, Cho. Seong-Je, Kim. Hong-Geun 한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 5 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 2011, Vol.17 No.1 51-55 (5 pages)
악성 웹 콘텐츠에 의한 클라이언트 측 공격이 급증하면서, 이들 공격들에 효과적으로 대응 가능한 고 상호작용 클라이언트 허니팟(high-interaction client honeypot) 시스템이 주목받고 있다. 동적분석 기반의 고 상호작용 클라이언트 허니팟이 알려지자, 이 클라이언트 허니팟에 의한 탐지를 회피하기 위한 기술들이 등장하였다. 대표적인 탐지회피 기술이 시한폭탄(time-bomb) 공격이다. 본 논문에서는 시한폭탄 공격을 효율적으로 탐지하기 위해 기존의 동적분석에 정적분석을 결합한 시스템 모델을 제안한다. 즉, 먼저 시한폭탄 공격...