메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
한국정보과학회 프로그래밍언어연구회 프로그래밍언어논문지 프로그래밍언어논문지 제19권 제2호
발행연도
2005.11
수록면
33 - 41 (9page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
자바 언어의 사용에 있어서 안전한 데이터의 관리는 중요한 요소가 된다. 자바 바이트코드 검증기 (Java bytecode Verifier)나 클래스 로더(class loader), 보안 관리자(Security Manager)를 통한 자바언어 자체의 보안장치로서는 플랫폼 독립을 지원하는 자바언어의 특성을 살리면서 동시에 민감한 정보의 유출을 방지하는 역할을 수행하기에는 부족한 점이 있다. 이러한 점을 고려하여 안전한 정보 흐름에 관한 연구들이 수행되어 왔다. 그중 자바 가상 기계의 바이트코드 검증기의 타입 검사기능을 이용한 방법이 연구되어 왔는데 본 논문에서는 구문분석정보를 그래프로 나타내어 보다 효율적인 방법으로 안전한 정보 흐름을 분석하고 그 결과를 시각화 하여 시스템 관리자가 보다 편리하게 사용할 수 있는 안전한 정보 흐름 분석기를 구현하였다.

목차

요약
1. 서론
2. 관련 연구
3. 그래프 계산을 이용한 안전 정보 흐름 검사 방법 및 구현
4. 결론 및 향후 연구과제
참고문헌

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0