• 제목/요약/키워드: 연동 검증

검색결과 562건 처리시간 0.023초

정보시스템에서 시스템연동에 따른 취약점 검증방법 (System Interconnection to Verification for Security Vulnerability based on Information System)

  • 정재훈;최명길
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2009년도 추계학술발표논문집
    • /
    • pp.61-65
    • /
    • 2009
  • 본 논문에서는 정보시스템에서 시스템이 연동될 때 일어나는 잔여 취약점을 분석하고, 그 검증방법에 대해 연구하였다. 광범위하고 정밀한 정보 침해 공격은 정보시스템으로 하여금 시스템끼리 연동하게하였고, 미리 취약점 검증을 받은 시스템이라 할지라도 서로 다른 시스템이 연동되게 되면 잔여 취약점이 발생할 수 있다. 따라서 안전한 정보자산의 사용을 위해서는 정보보호제품과 연동된 정보시스템에 대한 보안성을 평가할 필요할 필요가 있다. 이와 같은 보안성을 평가하기 위해, 시스템 연동 시 어떠한 일이 발생하는지 분석하고 예상되는 잔여 취약점을 추출한다. 그리고 그것을 검증하는 방법에 대해 알아보기로 한다.

  • PDF

프레임릴레이와 ATM망간 연동 프로토콜 설계 및 검증 (Design and Verification of Interworking Protocol of Frame Relay and ATM Network)

  • 강성용;최동영;김동영;변지섭;박석천
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 1999년도 추계종합학술대회 논문집
    • /
    • pp.93-96
    • /
    • 1999
  • ATM을 근간으로한 초고속 정보 통신망은 융통성 및 효율성, 고속의 정보 전송 능력으로 인해 미래의 통신망으로 자리잡을 것으로 예상되며, 이와 같은 초고속 정보 통신망은 완전히 구축되기 전까지는 프레임릴레이 등과 같은 기존의 망들과 혼용해서 사용될 것이기 때문에 망 발전의 중간 단계에서 경제성이나 기술의 효용성 문제로 기본망과의 연동 연구는 매우 중요하다고 할 수 있다. 이에 따라 본 논문에서는 교환 가상 채널(Switched Virtual Channel SVC) 기반의 제어평면 연동을 고려하여 프레임 릴레이와 ATM간의 신호 연동을 중심으로 망간 연동 프로토콜을 설계하고 검증하였다.

  • PDF

메타버스에서 이기종 서브시스템들의 윤리적 검증을 갖는 연동-시뮬레이션 (Cosimulation with Ethical Verification of Heterogeneous Subsystems in Metaverse)

  • 방준성
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송∙미디어공학회 2022년도 하계학술대회
    • /
    • pp.574-576
    • /
    • 2022
  • 메타버스는 다수 사용자의 협업이 가능한 3 차원 가상현실 환경을 제공한다. 메타버스 공간에서의 현실과 연결된 혹은 현실이 모사된 실시간/비실시간 시뮬레이션은 비용-효율적인 이점을 가진다. 연동-시뮬레이션은 서브시스템들의 통합 시뮬레이션으로, 메타버스 공간에서의 연동-시뮬레이션을 위해 데이터-레벨, 시스템-레벨, 서비스레벨에서 기술 성능 검증 및 메타버스 윤리 검증이 필요하다. 개별 서브시스템이 윤리적으로 동작하는지 뿐만 아니라 연동된 시스템의 활용도 윤리적인가를 살펴보아야 한다. 알고리즘 및 시스템 정책이 반영되어 검증된 모델은 메타버스의 더 적은 위험성을 가지고 자동화된 디지털 사회 체계나 현실세계의 시스템에 적용되어 활용될 수 있다.

  • PDF

정지궤도위성 실시간 동역학 시뮬레이터 개발 및 연동시험을 통한 검증 (Development of VDS for Geosynchronous Satellite and Verification using PILS & HILS)

  • 박영웅;구자춘;최재동;구철회;박봉규
    • 한국항공우주학회지
    • /
    • 제34권1호
    • /
    • pp.103-109
    • /
    • 2006
  • 본 논문에서 VDS(동역학 시뮬레이터)와 ACS(자세제어 시뮬레이터)를 개발하고 VDS를 ACS와 연동한 PILS를 통해 검증하였다. VDS는 정지궤도위성의 자세제어계 하드웨어 특성을 고려한 모델링 및 모듈화로 구성하였다. ACS는 센서 데이터로부터 자세결정을 수행한 후 구동기에 적절한 명령을 생성하는 역할을 한다. 또한, VDS와 PCDU(전력제어분배장치) 하드웨어와의 데이터 송수신을 위해 데이터획득보드를 장착하였다. VDS와 PCDU와의 HILS 연동시험을 통해서도 VDS의 성능검증을 수행하였다.

통합시험환경 모델 검증 자동화 설계 (Design of Automatic Model Verification for System Integration Laboratory)

  • 양승구;조연제;조경용;류창명
    • 한국항행학회논문지
    • /
    • 제23권5호
    • /
    • pp.361-366
    • /
    • 2019
  • 항공전자시스템을 개발하는 과정에서 개별 구성품의 기능 및 연동 검증을 위한 통합시험환경(SIL; system integration laboratory)을 구성한다. 이러한 SIL의 구성품 개별 검증 및 시스템 통합 시 각 탑재장비의 기능 및 연동을 모의하는 SIL 모델을 개발하여 이용한다. SIL 모델은 실 장비와 연동되기 전 연동통제문서(ICD; interface control document)에 정의된 모든 데이터에 대해 선 검증되어야하며 ICD 변경 혹은 기능 변경 발생 시에도 재 검증되어야한다. 하지만 SIL모델의 검증의 수동 수행 시 개별 SIL모델의 검증에도 상당한 시간이 소요된다. 이러한 시간상의 문제로 ICD 변경이나 일부 기능 변경 시에는 SIL 모델의 영향성을 판단하여 선택적 회귀시험이 이루어지곤 한다. 본 논문에서는 이러한 SIL 모델의 검증에 소요되는 시간을 최소화하여 회귀시험 수행 시 모든 시험항목의 검증이 가능하도록 SIL 모델 검증 자동화 방안을 설계하고 설계에 따른 SIL 모델 검증 자동화도구를 개발하여 SIL 모델 검증자동화 설계의 유용성을 검증하였다.

무인항공기 체계 연동검증을 위한 시험환경 및 검증절차에 관한 연구 (A Study on Test Environment and Process for Interface Verification of Unmanned Aerial Systems)

  • 조선미
    • 항공우주시스템공학회지
    • /
    • 제13권3호
    • /
    • pp.40-47
    • /
    • 2019
  • 본 논문은 무인항공기 체계(UAS; unmanned aerial system)의 비행체 탑재장비 및 지상에서 운용하는 장비의 연동 검증을 위한 체계통합실험실(SIL; system integration laboratory) 및 체계통합시험(SIT; system integration test)의 환경 구축 및 이를 통한 검증방법에 대하여 다룬다. SIL 내 구축된 지상통제체계, 데이터링크체계, 비행체 탑재장비, 임무장비(EO/IR, SAR) 등과 같은 부체계간의 인터페이스 환경 및 모의 비행을 통한 체계 운용로직의 검증방법과 실험실 레벨에서의 검증이 완료된 각 부체계를 실제 시험 환경에서 검증하는 방법에 대해 기술한다.

실시간 인증서 검증을 위한 OCSP와 SCVP의 연동방안에 대한 연구 (A study of real-time certificate validation using OCSP and SCVP)

  • 배두현;송오영;박세현
    • 한국정보보호학회:학술대회논문집
    • /
    • 한국정보보호학회 2002년도 종합학술발표회논문집
    • /
    • pp.381-384
    • /
    • 2002
  • 현재 인증서의 상태 검증을 실시간으로 제공하기 위해 각 CA(Certificate Authority)들은 고전적 방법인 CRL(Certificate Revocation List) 배포보다는 OCSP(Online Certificate Status Protocol)을 통하여 인증서의 상태에 대한 정보를 실시간으로 제공한다. 그러나, 경로검증 및 인증서 정책 맵핑 및 정책검증과 인증서 상태검증을 제공하는 SCVP(Simple Certificate Validation Protocol)는 CRL을 사용하는 한계로 인하여 실시간 검증을 제공하지 못하고 있다. 또한 OCSP는 인증서의 실시간 상태검증만을 제공할 뿐, 인증서의 경로검증과 인증서 정책 맵핑 및 정책검증에 대한 서비스는 제공하지 못하고 있다. 따라서, 이러한 두 프로토콜의 단점을 보안하고, 인증서 검증서버가 제공해야 하는 모든 서비스를 제공하기 위해 OCSP와 SCVP의 연동방안에 대한 연구를 통하여 SCVP에서의 실시간 검증을 제공할 수 있도록 한다.

  • PDF

자기조절학습을 지원하는 모바일 연동 학습관리시스템 개발연구 (Development of a Mobile Platform to Support Self-Regulated Learning)

  • 정애경
    • 컴퓨터교육학회논문지
    • /
    • 제12권4호
    • /
    • pp.23-34
    • /
    • 2009
  • 본 연구의 목적은 대학생의 자기조절학습을 지원하는 모바일 연동 학습관리시스템을 설계 개발하고 그 효과성을 검증하는 데 있다. 본 연구를 위한 자기조절학습을 지원하는 모바일 연동 학습관리시스템은 15주에 걸쳐 체제적 접근의 개발 절차를 따라 개발되었다. 개발된 학습관리시스템의 효과를 규명하기 위해 D대학 1학년 학생 136명을 8주 동안 연구집단과 비교집단으로 나누어 모바일 연동 학습관리시스템 적용 수업에 참여하게 하고 사전과 사후의 학업성취도와 자기조절학습능력의 차이가 있는 지를 검증하기 위해 공분산 분석(Analysis of Covariance)을 실시하였다. 연구결과, 자기조절학습을 지원하는 모바일 연동 학습관리시스템이 학습자의 학업성취도와 자기조절학습능력을 향상시키는 데 효과적이었음을 확인할 수 있다.

  • PDF

DiffServ와 MPLS망간 연동프로토콜 설계 및 검증 (Design and Verification of Interworking Protocol between DiffServ and MPLS)

  • 박석천;정선화;김성주;이준호;정운영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
    • /
    • pp.406-408
    • /
    • 2001
  • DiffServ와 MPLS 기술은 기존의 인터넷이 지니고 있는 많은 제약사항을 해결할 수 있는 차세대 인터넷 핵심기술로서 미래 통신망의 핵심으로 자리잡을 것으로 예상된다. 인터넷망 발전단계에서 경제성과 기술의 효용성 문제로 인해 망간의 연동 연구는 매우 중요한 연구과제이다. 따라서 인터넷 서비스의 QoS보장이나 고속의 서비스를 경계적으로 제공하기 위해 DiffServ망과 MPLS망 연동에 대한 연구는 필수적으로 이루어져야 한다. 이를 위해 본 논문에서는 DiffServ망과 MPLS망에서 QoS 제공을 위한 요소들을 분석하고, 이를 바탕으로 DiffServ와 MPLS망간 연동 프로토콜을 설계하고 검증하였다.

An Effective ESICD Verification Strategy: A case study of Military Satellite Communications System II

  • Lee, Kee-Sung;Choi, Jun-Ho;Shin, Jeong-Jin;Yoon, Hye-Jin;Kim, Seung-Ho
    • 한국컴퓨터정보학회논문지
    • /
    • 제26권9호
    • /
    • pp.105-114
    • /
    • 2021
  • 소프트웨어 연동통제문서는 시스템을 구성하는 구성품 간 연동을 위해 프로토콜 및 데이터 등을 기술하는 문서를 의미한다. 무기체계 개발 특성상 소프트웨어 연동통제문서 검증을 위해서는 각 구성품 개발자들이 특정 장소에 모여서 통합시험을 진행하게 되는데, 이때 소프트웨어 개발자들의 단순한 실수로 인하여 통합시험이 지연되는 경우가 종종 발생하게 된다. 이러한 상황이 발생하는 가장 큰 이유는 소프트웨어 개발자들이 연구실 환경에서는 시스템 환경을 구성하기 어려운 문제로 인해 충분한 검증을 수행하지 못한 경우와 통합시험 간 발생한 오류에 대해서 즉각적으로 원인을 발견하지 못한 경우 때문이다. 따라서 본 논문에서는 무기체계 개발 단계의 제작 및 구현단계부터 시스템 통합시험 단계 사이에 많은 시간이 소요되는 소프트웨어 연동통제문서 검증을 효과적으로 수행하기 위한 전략을 제안한다.