A New Approach to the Verification of a Message Protocol : Fuzzy Integral

퍼지적분을 이용한 메시지 프로토콜 검증

  • 신승중 (중부대학교 정보공학부 컴퓨터안전관리학과) ;
  • 박인규 (중부대학교 정보공학부 전자계산학과)
  • Published : 2000.06.01

Abstract

The objective of this paper was to cope with the verification of the message transfer protocol that integrates the electronic signature and the distribution and authentication of public key in TCP/IP using fuzzy integral. They were classified into the security technology, the security policy, the electronic document processing, the electronic document transportation and the encryption and decryption keys in its function. The measures of items of the message security protocol were produced for the verification of the implemented document in every function.

본 논문은 TCP/IP상에서 전자서병고 공개키 분배 및 인증 등의 기능이 포함된 메시지전송 프로토콜로 구현된 프로그램의 검증문제를 퍼지적분을 이용하여 해결하였다. 기능별로 보안기술, 보안정책, 전자문서처리, 전자문서전송, 임.복호화키로 나누어 분류하여 구현된 내용을 기능별점수와 전문가의 요구사항을 구현된 크로토콜에서 산출 값과 비교하여메시지 보안프로토콜을 기능별로 점수화하여 검증하였다.

Keywords

References

  1. 김현수, 정보시스템 진단과 감리, 법영사. p 3, 1999
  2. 정보보호센터, 정보보호뉴스 22호 한국정보보호센타, p.2, 1999
  3. 정보보호 심포지움 '99, '인증관리 센터 구축 및 운영계획', 1999
  4. H Feistel, 'Cryptography and Computer Privacy,' Scientific American, pp.15-23, 1973
  5. National Bureau of Standards, Data Encryption Standard, U.S. FIPS PUB49, pp.17 -18, 1977
  6. A. Simmizu and S. Miyaguchi, 'Fast Data Enciphernent Algorithm FEAL,' Eurocrypt'87, pp.267-278, 1987
  7. 한국 정보 보호 센터, '인증 업무 준칙', 한국 정보 보호 센터 내부 자료, 1999
  8. 정보통신부, '정보보호산업발전대책(1998-2002)', pp.70-77. 1997
  9. 한국전자통신 연구원, '인터넷 상거래의 물결'. 한국전자통신 연구원, pp.128-129, 1998
  10. http://www.kisa.or.kr/pds/att/missi hwp
  11. http://www.imc.org/workshop/sdn70l txt 1994
  12. Caption J Detombe CD, A Comparison of Two Protocols-PEM vs MSP, 7th ACCSS, May. 1995
  13. http://www.imc.org/workshop/sdn70l.txt 1997
  14. http://www.armadillo.huntsville.al.us/index.html