지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
초록· 키워드
오류제보하기
소프트웨어보안 분야는 정보보호, 소프트웨어공학, 프로그래밍언어 분야 등이 중첩되는 곳에 위치한다. 본 고는 프로그래밍언어 기술을 이용하여 소프트웨어 보안문제를 접근하는 한 예로서 정보흐름 보안성 분석법을 설명한다. 먼저 정보흐름 보안성이 관련되는 보안 문제들을 상기시킨 후에 이를 해결하는 프로그래밍언어 기술의 기본 개념들을 프로그램 분석법 중심으로 설명하고 최신 연구 경향을 소개한다.
목차
요약
Ⅰ. 서론
Ⅱ. 정보흐름과 소프트웨어보안
Ⅲ. 정보흐름보안성의 명세: 불간섭
Ⅳ. 정보흐름보안성 분석: 보안 타입시스템
Ⅴ. 정보흐름보안성 분석: 요약해석
Ⅵ. 정보흐름보안성의 다양성
Ⅶ. 결론
참고문헌
〈著者紹介〉
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
광기술을 이용한 정보보안
전자공학회지
2001 .06
-
P2P 보안 기술
한국통신학회지(정보와통신)
2006 .09
-
네트워크 보안 기술 특집
전자공학회논문지-TC
2006 .07
-
"보안 기술" 특집을 내면서
정보과학회지
1997 .04
-
네트워크 보안기술
발명특허
2004 .01
-
홈네트워크보안 특집을 내면서
정보보호학회지
2006 .12
-
"보안" 특집을 내면서
정보과학회지
2012 .01
-
[主題] 홈네트워크 보안 관련 기술
한국통신학회지(정보와통신)
2004 .03
-
네트워크 보안 기술 동향과 전망
한국통신학회지(정보와통신)
2014 .03
-
분산 스마트 카메라 시스템 보안 이슈
정보보호학회지
2010 .06
-
ITRC의 성과를 찾아서 - 전남대학교 시스템 보안연구센터 시스템 보안의 코어
정보보호뉴스
2009 .01
-
정보사회와 정보보안
데이터베이스월드
1996 .01
-
“보안 상황 인지기술” 특집을 내면서
정보보호학회지
2006 .04
-
우리 집의 보안관리
한국화재소방학회지
1990 .01
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-015866045