지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. SEW(Safety Evaluation Workshop)
3. SPR(Safety Problem Resilver) 도구
4. 접근통제모델 분석 예제
5. 결론 및 향후 연구 방향
6. 참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
보안성 정형화 설계 및 검증 기술에 관한 연구
한국정보과학회 학술발표논문집
2003 .10
SMV를 이용한 접근통제모델의 정형적 설계방법 연구
한국정보과학회 학술발표논문집
2003 .10
보안 기능을 위한 정형화 설계 방법 연구
한국정보과학회 학술발표논문집
1999 .10
정형 검증 도구를 이용한 보안 소프트웨어 개발 방안
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2006 .04
보안운영체제의 검증을 위한 정형기법 및 도구에 관한 연구
한국정보과학회 학술발표논문집
2003 .10
정형 명세를 통한 보안 프로토콜 코드 생성
한국정보과학회 학술발표논문집
2004 .10
"보안" 특집을 내면서
정보과학회지
2012 .01
홈네트워크보안 특집을 내면서
정보보호학회지
2006 .12
네트워크 보안기술
발명특허
2004 .01
"보안 기술" 특집을 내면서
정보과학회지
1997 .04
P2P 보안 기술
한국통신학회지(정보와통신)
2006 .09
네트워크 보안 기술 특집
전자공학회논문지-TC
2006 .07
정형명세 보안기능의 코드생성 도구 비교
한국정보과학회 학술발표논문집
2002 .04
보안기능의 정형화 설계
정보보호학회지
2000 .09
스마트 카드의 보안성에 대한 정형검증 방법 연구
한국정보과학회 학술발표논문집
2001 .10
분산 시스템을 위한 정형화된 보안 모델 분석
정보보호학회지
1994 .03
홈네트워크 환경에서의 지식기반 서비스를 위한 보안 및 정책 연구
정보보호학회지
2006 .12
고등급 평가 기술 : 정형화 기법 개요
정보보호학회지
2007 .12
우리 집의 보안관리
한국화재소방학회지
1990 .01
0