개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 정형명세
3. 정형명세언어를 이용한 알고리즘 명세
4. 정형명세언어의 장단점
5. 결론
6. 참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
객체 지향 정형 명세 언어를 사용한 S / Key 시스템 명세
한국정보과학회 학술발표논문집
2001 .04
보안성 정형화 설계 및 검증 기술에 관한 연구
한국정보과학회 학술발표논문집
2003 .10
정형명세 보안기능의 코드생성 도구 비교
한국정보과학회 학술발표논문집
2002 .04
보안모델 및 정형검증 도구 개발
한국정보과학회 학술발표논문집
2003 .10
고등급 보안 시스템 개발을 위한 정형기법
한국정보과학회 학술발표논문집
2000 .10
보안기능의 정형화 설계
정보보호학회지
2000 .09
SMV를 이용한 접근통제모델의 정형적 설계방법 연구
한국정보과학회 학술발표논문집
2003 .10
고등급 평가 기술 : 정형화 기법 개요
정보보호학회지
2007 .12
홈네트워크보안 특집을 내면서
정보보호학회지
2006 .12
"보안" 특집을 내면서
정보과학회지
2012 .01
컴퓨터 보안정책을 기술하기 위한 객체-기반 시각 명세 언어 설계 및 구현
프로그래밍언어논문지
2004 .11
네트워크 보안 기술 특집
전자공학회논문지-TC
2006 .07
네트워크 보안기술
발명특허
2004 .01
"보안 기술" 특집을 내면서
정보과학회지
1997 .04
P2P 보안 기술
한국통신학회지(정보와통신)
2006 .09
정형 명세를 통한 보안 프로토콜 코드 생성
한국정보과학회 학술발표논문집
2004 .10
ITRC의 성과를 찾아서 - 전남대학교 시스템 보안연구센터 시스템 보안의 코어
정보보호뉴스
2009 .01
정형명세 기법을 이용한 보안 프로토콜 코드 생성 도구의 보안 소프트웨어 개발 분석
정보보호학회논문지
2004 .12
네트워크 보안 기술 동향과 전망
한국통신학회지(정보와통신)
2014 .03
0