자료유형
발행기관
- 한국정보처리학회(12)
- 인문사회과학기술융합학회(4)
- 한국정보보호학회(4)
- 한국IT서비스학회(3)
- 대한전자공학회(2)
- 은행법학회(2)
- 한국CAD/CAM학회(2)
- 한국멀티미디어학회(2)
- 한국전자통신연구원(2)
- 한국조명전기설비학회(2)
- 한국콘텐츠학회(2)
- 한국통신학회(2)
- 21세기사회복지학회(1)
- 국립특수교육원(1)
- 대한고령친화산업학회(1)
- 대한기계학회(1)
- 대한산업공학회(1)
- 대한전기학회(1)
- 에너지기후변화교육학회(1)
- 제어로봇시스템학회(1)
- 한국ITS학회(1)
- 한국경호경비학회(1)
- 한국공간정보학회(1)
- 한국광고PR실학회(1)
- 한국교육학회(1)
- 한국교육행정학회(1)
- 한국군사과학기술학회(1)
- 한국어린이미디어학회(1)
- 한국웰니스학회(1)
- 한국장애인복지학회(1)
- 한국전자거래학회(1)
- 한국전자통신학회(1)
- 한국정보과학회(1)
- 한국정보통신기술협회(1)
- 한국정보통신설비학회(1)
- 한국정보통신학회(1)
- 한국창의력교육학회(1)
- 한국컴퓨터그래픽스학회(1)
- 한국컴퓨터정보학회(1)
- 한국해양공학회(1)
간행물
- 정보처리논문지(6)
- 예술인문사회융합멀티미디어논문지(4)
- 멀티미디어학회논문지(2)
- 은행법연구(2)
- 전자공학회논문지. JOURNAL OF THE INSTITUTE OF ELECTRONICS ENGINEERS OF KOREA. SP, 신호처리(2)
- 정보보호학회논문지(2)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART D. PART D(2)
- 조명-전기설비학회논문지(2)
- 통신정보보호학회논문지(2)
- 한국IT서비스학회지= JOURNAL OF THE KOREA SOCIETY OF IT SERVICES(2)
- 한국콘텐츠학회논문지(2)
- 21세기사회복지연구(1)
- ETRI JOURNAL(1)
- JOURNAL OF INTERNATIONAL COUNCIL ON ELECTRICAL ENGINEERING(1)
- TTA 저널(1)
- 광고PR실학연구(1)
- 교육학연구(1)
- 교육행정학연구(1)
- 대한고령친화산업학회지(1)
- 대한기계학회론문집. TRANSACTIONS OF THE KOREAN SOCIETY OF MECHANICAL ENGINEERS. A. A(1)
- 산업공학(1)
- 시큐리티연구(1)
- 어린이미디어연구(1)
- 에너지기후변화교육(1)
- 전자통신동향분석(1)
- 정보과학회논문지. JOURNAL OF KISS (C) : COMPUTING PRACTICES. C(1)
- 정보와 통신 : 한국통신학회지(1)
- 정보처리학회논문지. KIPS TRANSACTIONS ON COMPUTER AND COMMUNICATION SYSTEMS 컴퓨터 및 통신 시스템(1)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART A. PART A(1)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART B. PART B(1)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART C PART C(1)
- 정보통신설비= JOURNAL OF INFORMATION AND TELECOMMUNICATION FACILITY ENGINEERING(1)
- 제어-자동화-시스템공학회지(1)
- 창의력교육연구(1)
- 컴퓨터그래픽스학회논문지(1)
- 특수교육연구(1)
- 한국CAD/CAM학회논문집(1)
- 한국CAD/CAM학회지(1)
- 한국ITS학회 논문지(1)
- 한국SI학회지(1)
- 한국공간정보학회지(1)
- 한국군사과학기술학회지(1)
- 한국웰니스학회지(1)
- 한국장애인복지학(1)
- 한국전자거래학회지(1)
- 한국전자통신학회 논문지(1)
- 한국컴퓨터정보학회논문지(1)
- 한국통신학회논문지. THE JOURNAL OF KOREA INFORMATION AND COMMUNICATIONS SOCIETY. 네트워크 및 서비스(1)
- 한국해양공학회지(1)
- 한국해양정보통신학회논문지(1)
전체 선택해제
총 67건 검색
본문검색 결과만 보기
-
적합성 시험에서 그래프 재표기 시스템을 활용한 강한 연결 판단 방법
이준원, 김성원, 구연설, Lee. Jun-Won, Kim. Seong-Won, Gu. Yeon-Seol 한국정보처리학회 정보처리논문지 10 Pages
한국정보처리학회 정보처리논문지 1997, Vol.4 No.5 1327-1336 (10 pages)
I/O FSM 모델로 표현된 프로토콜들로부터의 시험 계열 생성은 I/OFSM 명세 자체가 강하게 접속되어야 하며 (strongly connected) 상태(state) 수가 최소(minimal)하여야 하며, 그리고 또 결정형(determinstic) 이어야 한다는 가정에서 출발한다. 본 논문에서는 프로토콜을 나타내는 명세 I/OFSM(또는 Graph)이 이러한 가정으로 출발 되는 이유를 객관화 시키고, 또 그래프 재표기 시스템(Graph Rewriting System)을 정의하고, 이를 명세 그래프(명세 I/OFSM)에 적용시켜 기존의 알고리즘보다 훨씬 빨리 강한 접속 여부를 판단하는... -
형식기술법에 의한 AIN 프로토콜 적합성 시험 계열 생성
김상기, 김성운, 정재윤, Kim. Sang-Ki, Kim. Seong-Un, Jeong. Jae-Yun 한국정보처리학회 정보처리논문지 11 Pages
한국정보처리학회 정보처리논문지 1997, Vol.4 No.2 552-562 (11 pages)
본 논문은 형식 기술 기법에 의한 차세대 지능망의 INAP(Intelligent Network Application Protocol) 프로토콜 적합성 시험 계열 생성을 위해 형식 기술 기법(formal Description Tehnique)을 사용하여 프로토콜을 명세화한후 이것으로부터 최소 길이의 최소 비용을 요구 하는 시험계열 생성을 위한 최적화 기술에 의한 방법을 제안한다. 제안된 방법을 구연하고 효율성을 증명하기 위해, INAP 프로토콜 SRF(Serivece Rexource Function)의 SRSM(SRF Call State Machine)을 형식 기술 기법 중의 하나인 SDL(System Description... -
암호기술 구현물 검증도구 구현
이종후, 김충길, 이재일, 이석래, 류재철 한국정보보호학회 通信情報保護學會論文誌 14 Pages
한국정보보호학회 通信情報保護學會論文誌 2001, Vol.11 No.2 45-58 (14 pages)
암호기술 검증에 대한 연구는 암호 알고리즘의 안전성 및 신뢰성을 검증하는데 집중되어 있는 경우가 대부분이다. 그러나 정보보호 시스템의 수준 향상과 안전성 신뢰성 확보를 위해서는 암호기술 자체에 대한 검증뿐만 아니라, 암호기술을 구현한 구현물에 대한 검증이 필요하다. 특히, 암호기술에 대해서 국내외적으로 폭 넓은 표준화가 진행되고 있는 가운데, 이들 기술표준을 정화하게 구현하는 것은 정보보호 시스템의 안전성 및 신뢰성 향상을 가져올 뿐만 아니라, 정보보호 시스템 간의 상호연동성 확보 및 사용자 편익 증대라는... -
VDM-SL을 이용한 보안 알고리즘의 형식적 표현과 참조구현 코드 생성
김영길, 김기수, 김영화, 류재철, 장청룡, Kim. Young-Gil, Kim. Ki-Su, Kim. Young-Wha, Ryou. Jae-Cheol, Jang. Chung-Ryong 한국정보보호학회 通信情報保護學會論文誌 18 Pages
한국정보보호학회 通信情報保護學會論文誌 1996, Vol.6 No.4 67-84 (18 pages)
및 실행코드 생성의 정확성과 편리성을 제공하기 위한 다양한 도구들이 개발되고 있으며 이들 중 IFAD VDM-SL Toolbox는 가장 널리 사용되고 있는 도구이다. 본 논문에서는 IFAD VDM-SL Toolbox를 이용해 MD4 Message Digest Algorithm을 VDM-SL로 기술하고, 이에 대한 C++ 코드를 생성하여 보안 알고리즘에 대한 참조구현 코드 생성 기법을 제시하고자 한다. 또한, 이를 안전한 해쉬코드 생성 알고리즘에 대하여 적용한 결과를 검토하여 최근 보안 시험 방법으로 제시되고 있는 Strict Conformance Test 와의 연계성을 제시하고자 한다. -
ATM 프로토콜 적합성 시험시스템의 개발과 적용
강성원, 서영수, 홍미정, 양준환, 고일국, 강득윤, 유상조, 이채우, 김명철 한국정보과학회 정보과학회논문지. Journal of KISS (c) : computing practices. C 9 Pages
한국정보과학회 정보과학회논문지. Journal of KISS (c) : computing practices. C 1999, Vol.5 No.4 498-506 (9 pages)
위한 자동시험시스템인 ACTS(ATM Conformance Test System)의 개발과 적용을 소개한다. ACTS는 ITU-T 또는 ATM Forum의 ATM 사용자-망 접속표준을 준용하는 ATM 단말과 망장비의 프로토콜적합성을 확인하는데 사용된다. 본 논문에서는 ACTS 개발에 사용된 방법을 소개한 뒤, ACTS를 실제 ATM 단말과 장비에 적용한 사례들을 소개한다. ACTS의 적용을 통하여 시험대상 장비들이 지닌 프로토콜구현상의 문제점을 파악하였고, 문제에 대한 원인분석을 수행하였다. 또한 이러한 문제점들이 상호운용에 미치는 장애를 예측함으로써, ACTS를... -
적합성 시험 및 TTCN에 관한 고찰
임상식, 김선영, Lim. S.S., Kim. S.Y. 한국전자통신연구원 전자통신동향분석 13 Pages
한국전자통신연구원 전자통신동향분석 1999, Vol.14 No.6 38-50 (13 pages)
적합성 시험(conformance test)은 통신 프로토콜 제품에 대해 그 제품이 프로토콜 표준에 따라 올바르게 구현되었는지를 검증하는 것이다. 그러므로 적합성 시험은 구현제품의 기능과 그 기능의 동작 행위가 프로토콜 표준에서 기술된 요구사항을 만족하는지를 조사하는 것을 요구하며 이를 시험규격으로 표현한다. 이때 프로토콜의 동작행위에 대한 시험 시나리오는 적합성 시험규격의 핵심을 이루는 것으로 시험을 기술하기 위한 국제표준 언어인 TTCN(Tree and Tabular Combined Notation)으로 기술한다. 본 논문에서는 적합성 시험 및... -
전자책 표준 적합성 도구의 개발
김재경, 손원성, 임순범, 김성혁, 최윤철 한국전자거래학회 한국전자거래학회지 16 Pages
한국전자거래학회 한국전자거래학회지 2004, Vol.9 No.1 269-284 (16 pages)
산업표준심의를 거쳐 제정되었다. 그러므로 한국문서형표준에 기반하여 작성된 전자책 문서들은 표준의 목적과 명세를 준수하여야 하며 표준의 준수 여부를 판별하기 위해서 적합성 검사가 요구된다. 본 논문에서는 이러한 적합성 검사의 기준이 되는 적합성 조항(Conformance Clause)의 정의와 이에 따른 적합성 검사 도구(Conformance Testing Tool)를 개발하였다. 따라서 본 논문에서 정의된 조항들을 통하여 전자책 제작자들은 전자책표준의 목적과 명세에 보다 적합한 전자책문서들을 제작할 수 있으며, 서비스 제공자들은 적합성 검사... -
통신 프로토콜 검정기 및 적합성시험 도구 개발
서미선, 황종규, 이재호, 김성운, Seo. Mi-Seon, Hwang. Jong-Gyu, Lee. Jae-Ho, Kim. Sung-Un 한국멀티미디어학회 멀티미디어학회논문지 15 Pages
한국멀티미디어학회 멀티미디어학회논문지 2005, Vol.8 No.8 1119-1133 (15 pages)
프로토콜 명세의 검정과 적합성시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 LTS(Labeled Transition System)로 명세화된 프로토콜 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지에 대한 검사를 실험적으로 증명하는 도구를 구현하였다. 구현된 프로토콜 검정기는 modal mu-calculus를 사용하여 modal 논리로 표현된 특성이... -
SDL을 사용한 INAP 프로토콜 시험
도현숙, 조준모, 김성운 한국멀티미디어학회 멀티미디어학회논문지 11 Pages
한국멀티미디어학회 멀티미디어학회논문지 1998, Vol.1 No.1 109-119 (11 pages)
본 논문은 형식기술기법으로 기술된 차세대지능망 응용프로토콜(INAP: Intelligent Network Application Protocool)로부터 추상시험스위트 (Abstract Test Suite) 자동생성에 대한 연구 결과를 기술한다. 시험 자동생성을 위해 RCP tour(Rural Chinese Postman tour) 개념과 UIO 시퀀스 (UIO:Unique Input Output Sequence) 개념을 응용하였다. SDL(System Description Language) 형식기술 기법으로 명세화된 INAP명세로부터 생성한 I/O FSM(Input/Output Finite State Machine)을 중간모델로 하여 UIO 시퀀스를 정의하고, 정의된 UIO... -
NCW환경에서 지휘통제체계(C4I) 상호운용성 시험평가체계 개선방안 연구
김경희, 강석중, Kim. Kyung-Hee, Kang. Seok-Joong 한국군사과학기술학회 韓國軍事科學技術學會誌 16 Pages
한국군사과학기술학회 韓國軍事科學技術學會誌 2012, Vol.15 No.6 786-801 (16 pages)