지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2006.7
- 수록면
- 168 - 171 (4page)
이용수
초록· 키워드
오류제보하기
Over the past decade, the demands for building secure software have become a dominant goal for software development. Although great advances have been made in this area, the core problems of security vulnerability still exist. Buffer overflows are the most common source of security vulnerabilities in C program. To analysis these security vulnerabilities, we used a CIL (C Intermediate Language) that is written in OCaml (Objective Caml). We used well-known open test data such as Sendmail, Wuftpd, Bind, Perl on the Linux operating system. A C syntax is created to analyze the warnings and we implement the pushdown automata to check the generation of actual buffer overflows. But there was no actual buffer overflow during the source code analysis. Therefore, we conclude that the CIL does not provide the accurate buffer overflow measurement and an efficient new tool is essential for buffer overflow measurement.
목차
ABSTRACT
1. INTRODUCTION
2. RELATED WORK
3. APPLICATION AND ANALYSIS OF CIL
4. CONCLUSIONS AND FUTURE WORK
5. REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
안전한 시스템을 위한 Buffer Overflow 대응기법분석에 관한 연구
한국정보과학회 학술발표논문집
2000 .10
-
함수요약 및 버퍼의 도메인 정보흐름 추적에 의한 정적 버퍼넘침 탐지방안
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2001 .12
-
A Simple Approximation for the Overflow Probability in ATM Output Buffer
한국통신학회 학술대회논문집
1997 .01
-
A Simple Approximation for the Overflow Probability in ATM Output Buffer
한국정보과학회 학술발표논문집
1997 .04
-
A Simple Approximation for The Overflow Probability in ATM Output Buffer
대한전자공학회 학술대회
1997 .01
-
버퍼오버플로우 취약성과 인프라 공격
정보과학회지
2003 .12
-
디젤차량용 오버플로어밸브 및 성능평가 시스템 구현
한국산학기술학회 논문지
2013 .04
-
Linux 커널 수정을 통한 Buffer Overflow Attack 방지에 관한 연구
한국정보과학회 학술발표논문집
2000 .10
-
Heap과 Stack 영역에서의 경계 체크를 통한 Buffer Overflow 공격 방지 기법에 대한 연구
정보보호학회지
2001 .12
-
오버플로어 밸브 성능평가 시스템 구현
대한전자공학회 학술대회
2013 .07
-
시스템 취약점 개선의 필요성에 따른 효율적인 점검 방법을 통한 종합 보안 취약성 분석 시스템 설계
한국산학기술학회 논문지
2017 .07
-
버퍼 오버플로우 검출 도구의 메모리 오버헤드 분석
한국정보과학회 학술발표논문집
2018 .12
-
Simulation Study : Performance Evaluation of a Shared Buffer Memory Switch with Output Buffers
ICEIC : International Conference on Electronics, Informations and Communications
1998 .01
-
버퍼 오버플로우 디버깅 플랫폼의 메모리 오버헤드 분석
정보과학회 컴퓨팅의 실제 논문지
2019 .07
-
Dielectric Properties of Ta₂O5-X Thin Films with Buffer Layers
KIEE International Transactions on Electrophysics and Applications
2002 .08
-
건축공사 공정관리에서 버퍼(buffer)의 활용방안
한국건설관리학회 학술대회
2001 .01
이 논문의 저자 정보
이 논문과 함께 이용한 논문
버퍼오버플로우로부터 리턴주소를 보호하기 위한 분리된 메모리 스택 설계
임종언
대한전자공학회 학술대회
2004
.06
바이너리 파일의 코드 패칭을 통한 버퍼 오버플로우 탐지 기법
이정민
,
김현욱
,
안우현
한국정보과학회 학술발표논문집
2011
.06
스택가드를 개선한 버퍼 오버플로우 공격으로부터의 대응책
정길균
,
권영미
한국멀티미디어학회 학술발표논문집
2001
.11
분석 문맥 조절 기법을 이용한 버퍼 오버플로우 분석의 중복 경보 제거
김유일
,
한환수
정보과학회논문지 : 소프트웨어 및 응용
2010
.12
신뢰와 평판 기반의 소프트웨어 보증 시스템 구현
박대명
,
이석민
,
유대훈
외 1명
한국정보과학회 학술발표논문집
2010
.06
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2012-004-004266738