• 제목, 요약, 키워드: 무결성

검색결과 1,181건 처리시간 0.046초

해양용 DGPS 기준국의 무결성 감시 기능 설계

  • 서기열;박상현;조득재;서상현
    • 한국항해항만학회:학술대회논문집
    • /
    • /
    • pp.63-64
    • /
    • 2009
  • 본 논문에서는 DGNSS의 현대화에 대비하고 국제적으로 논의되고 있는 소프트웨어 기반 RSIM 시스템의 기능구현을 위하여, 해양용 DGPS 기준국의 무결성 감시 기능을 설계한다. 무결성 감시국(IM)의 핵심 기능은 기준국 시스템 이상에 따른 알람정보의 생성과 피드백 메시지를 기준국(RS)으로 전송하는 것이다. 이러한 기능의 설계 및 실험적 차원의 성능검증을 위하여, 먼저 소프트웨어 RSIM의 아키텍처에 대해 살펴보고, 다음으로 RTCM SC-104 RSIM의 해양용 DGPS 기준국 무결성 감시를 위한 성능표준에 대하여 분석한다. 그리고 DGPS 기준국의 무결성 감시국 기능을 설계하고, 무결성 정보 생성 및 처리과정을 제시한다. 마지막으로 시뮬레이션을 통한 성능분석과 시스템 구현을 위한 향후 연구방향에 대해 논의한다.

  • PDF

항해데이터의 유효성 및 무결성 검증을 위한 평가방법 (Methods for Testing Navigation Data of Validity and Integrity)

  • 최항섭;박동호;김기철;진민정
    • 대한전기학회:학술대회논문집
    • /
    • /
    • pp.1136-1137
    • /
    • 2006
  • 통합항해시스템이라 함은 자동화된 선박의 운용에 관한 것으로, 다양한 항해 센서(GPS, Gyro, Speed Log, echo sounder)를 이용하여 선박의 항해에 필요한 각종 정보를 입수하여 최적의 항로를 설정해주고, 운항의 안정성과 효율을 극대화시키는 시스템을 지칭한다. 즉, 선박의 운항에 필요한 다수의 모듈들을 독립적으로 운용하는 것이 아니라 이를 통합된 형태로 운용하여 효율을 극대화시키는 시스템이 통합항해시스템이라 할 수 있다. 통합항해시스템은 다양한 항해 센서들과 항해 시스템으로 구성되며, 다양한 항해 데이터들은 항해 센서로부터 수신하여 처리하는 동작을 수행한다. 즉, 통합항해시스템은 다수의 센서들로부터 수신된 정보를 평가하고 잠재적 위험과 무결성 저하에 대해서는 적절한 경고를 제공하여야한다. 따라서, 항해센서 데이터의 유효성(Validity) 및 모호성(Plausibility) 검사와 무결성 감시(Integrity Monitoring)는 통합항해시스템의 필수적 기능이라 할 수 있다. 본 연구에서는 IEC 61924 규격에 의한 항해센서로부터 수신된 항해데이터가 정확하고 유효함을 가지는 지에 대한 가치평가의 척도와 독립적인 데이터 소스로부터 데이터를 비교하여 검증하는 무결성, 정확도 이내의 정보를 완전하고 명확한 방법으로 사용자에게 제공하는 무결성 감시의 방법을 제시하며, 항해센서들에 의해 취득되는 항해 데이터의 무결성 검사를 통한 유효성, 적용가능성, 무결성의 평가방법을 기술한다.

  • PDF

무결성 제약에 기초한 규칙 기반 데이타베이스 검증 시스템 (A Rule-Based Database Verification System Based on the Integrity Constranints)

  • 류명춘;박창현
    • 한국정보처리학회논문지
    • /
    • v.3 no.1
    • /
    • pp.77-86
    • /
    • 1996
  • 데이타베이스 관리 측면에서 데이타의 무결성은 매우 중요한 의미를 가진다. 따라 서 특정의 데이타베이스 구축시 무결성 규정들을 반드시 고려하여야 하며, 데이타베이 스의 무결성 유지를 위해 데이타베이스 관리자는 지속적으로 데이타베이스의 내용을 감시하면서 데이타의 무결성을 저해하는 요소가 발생될경우 이를 제거해 주어야만 한 다.그러나 이러한 무결성 유지 작업은 응용 영역 데이타의 양이 증가 할수록 더욱 복잡해지며 또한 많은 시간을 필요로 하게 된다. 본 논문에서는 이러한 문제점을 개선하기 위한 규칙 기반 데이타베이스 검증 시스템을 제시한다. 제시 하는 규칙 기반 데이타베이스 검증 시스템은 문제 영역 모델로부터 필요한 데이타 베이스와 무결성 유지를 위한 규 칙들을 생성하고, 추론 시스템과 데이타베이스의 결합을 통해 데이타베이스의 무결성 검증 작업을 수행한다.

  • PDF

해양용 DGPS 기준국의 무결성 감시 기능 설계 (Design of Integrity Monitor Functions for Maritime DGPS RSIM)

  • 서기열;박상현;조득재;서상현
    • 한국항해항만학회지
    • /
    • v.33 no.6
    • /
    • pp.395-400
    • /
    • 2009
  • 본 논문에서는 DGNSS의 현대화에 대비하고 국제적으로 논의되고 있는 소프트웨어 기반 RSIM 시스템의 기능구현을 위하여, 해양용 DGPS 기준국의 무결성 감시 기능을 설계한다. 무결성 감시국(IM)의 핵심 기능은 기준국 시스템 이상에 따른 알람정보의 생성과 피드백 메시지를 기준국(RS)으로 전송하는 것이다. 이러한 무결성 감시 기능의 설계 및 실험적 차원의 성능 검증을 위하여, 먼저 소프트웨어 RSIM의 아키텍처에 대해 살펴보고, 다음으로 RTCM SC-104 RSIM의 해양용 DGPS 기준국 무결성 감시를 위한 성능 표준에 대하여 분석한다. 그리고 성능표준에 기반한 무결성 감시국 기능을 설계하고, 무결성 정보 생성 및 처리과정을 제시한다. 마지막으로 GNSS 시뮬레이터를 이용한 실험을 통해 무결성 감시국 기능의 성능분석 결과를 제시하고 시스템 구현을 위한 향후 연구방향에 대해 논의한다.

보안 객체-관련성 모델에서 응용 트랜잭션 모델링 (Application Transaction Modeling in Secure Object-Relationship Model)

  • 심갑식;조일래;노봉남
    • 한국정보보호학회:학술대회논문집
    • /
    • /
    • pp.257-266
    • /
    • 1992
  • 지금까지는 데이터의 무결성 보장을 위해 데이터베이스의 개념적 설계단계에서 트랜잭션 모델링은 데이터의 무결성 성질만을 언급하였고 보안 성질은 표현하지 못하였다. 또한, 데이터 모델에서 데이터의 동적 성질을 모델링하는 트랜잭션은 데이터의 무결성을 완전히 보장하기 어려웠다. 응용영역의 효과적인 분석과 설계를 위해서는 데이터 모델링에서 객체, 속성, 관련성 등과 같은 정적 성질 반만 아니라 데이터의 무결성과 보안성을 보장하는 동적 성질의 모텔링이 필요하다. 본 논문은 데이터의 무결성과 보안성 정보를 표현하는 보안 객체 관련성 Secure Object-Relationship Model: SOREM)에서 보안성이 첨가되어 자동으로 생성되는 기본 연산을 바탕으로 응용 트랜잭션을 모델링 하는 방법을 제시한다. 또한, 보안 트랜잭션 모델링 과정을 정확하고 용이하게 수행하기 위한 보안 트랜잭션 정의언어(Secure Transaction Definition Language : STDL)를 사용하여 보안 트랜잭션 모델링 자동화 도구를 X 윈도우 환경에서 설계 및 구현하였다.

  • PDF

데이터베이스 아웃소싱 환경에서 암호화된 데이터를 위한 힐버트 커브 기반 질의 결과 무결성 검증 기법 (A Hilbert Curve-based Query Integrity Auditing Method for Encrypted Data in Database Outsourcing)

  • 윤들녁;장미영;장재우
    • 한국정보처리학회:학술대회논문집
    • /
    • /
    • pp.804-807
    • /
    • 2013
  • 최근 클라우드 컴퓨팅에 대한 관심이 고조됨에 따라, 이를 활용한 데이터베이스 아웃소싱(Outsourcing)에 대한 연구가 활발히 진행되고 있다. 그러나 아웃소싱 된 데이터베이스는 사용자 개인 정보, 증권, 또는 의료 정보 등 민감한 정보를 포함하기 때문에 서비스 제공자로부터 수행한 질의 결과 데이터가 데이터 소유자로부터 생성된 데이터이며, 정확한 질의 결과를 포함하는지 확인하기 위한 질의 결과 무결성 검증 기법의 필요성이 대두되었다. 기존 질의 결과 무결성 검증 기법은 질의 결과에 포함되는 무결성 검증 데이터의 크기가 증가하여 검증 데이터 전송 오버헤드 증가 및 데이터 노출 위험 증가 문제를 지닌다. 따라서, 본 논문에서는 데이터 보호를 지원하는 암호화 데이터 기반 질의 결과 무결성 검증 기법을 제안한다. 제안하는 질의 결과 무결성 검증 기법은 암호화된 데이터 그룹을 주기 함수를 이용하여 재분할하고, 최종 데이터 그룹 id를 힐버트 커브를 통해 변환한다. 따라서, 검증 데이터 오버헤드를 감소시켜 효율적인 질의 처리를 지원하며, 그룹 id 변경을 통해 검증 데이터 유출 위험을 방지한다. 성능평가를 통해, 제안하는 기법이 기존 기법에 비해 질의 처리 시간 측면에서 평균 2배, 검증 데이터 오버헤드 측면에서 최대 20배의 성능을 개선함을 보인다.

  • PDF

무결성 검증 기능을 제공하는 가상사설망 구현에 관한 연구

  • 박성준;김창배;김창수
    • 한국전자거래학회:학술대회논문집
    • /
    • /
    • pp.95-100
    • /
    • 1999
  • 인터넷의 급속한 보급과 공용망을 통한 전자상거래 등의 활용이 늘어나면서 무결성 보장과 보안장치의 필요성이 부각되고 있다. 무결성 보장을 위하여 여러 가지 방법들이 사용되고 있으며 특히 해쉬함수를 이용한 메시지 인증 방법이 다양한 형태로 응용되어 사용되고 있다. 최근 공용망의 보안취약성을 개선하여 사설망과 같은 환경을 구성하기 위해 가상사설망(VPN)의 개념이 제안되었다. 특히 IP계층에서 VPN을 구성하는 표준으로 IETF에서 제안된 IPsec은 암호화와 무결성기능을 포함한 VPN구성 방법으로 최근 활발히 연구되고 있다. 본 논문에서는 IPsec에 따라 실제로 호스트간의 통신 암호화와 해쉬함수를 이용한 무결성 검증 기능을 제공하는 VPN을 구현하였다.

  • PDF

유도루프식 열차제어시스템 안전무결성등급 할당 (An Allocation of Safety Integrity Level to Inductive Loop type Train Control System)

  • 류승균;박재영;윤학선
    • 한국전자통신학회논문지
    • /
    • v.8 no.12
    • /
    • pp.1905-1910
    • /
    • 2013
  • 논문은 유도 루프식 열차제어시스템에 대하여 준 정량적 안전무결성 등급(Safety Integrity Level : SIL)할당 방법을 적용하여 안전무결성 등급을 할당한 결과이다. 유도 루프식 열차제어시스템은 ATS장치, 지상ATP장치, 차상ATP장치, 지상ATO장치, 차상ATO 지상장치 하드웨어 및 소프트웨어로 구성되어 있으며, 안전무결성 등급 할당은 각 서브시스템에 대한 안전무결성 등급을 의미한다. 준 정량적 방법의 세 원칙에 근거하여, 열차제어시스템을 구성하고 있는 서브시스템에 대한 안전무결성 등급을 할당하였다.

공간 레이어에서 상접한 공간 객체의 무결성 지원을 위한 능동적인 공간연산 트리거의 설계 (A Design of Active Spatial-Operation-Trigger for supporting the Integrity of Meet-Spatial-Objects in a Spatial Layer)

  • 안준순;김재홍;정보흥;배해영
    • 한국정보처리학회:학술대회논문집
    • /
    • /
    • pp.933-936
    • /
    • 2001
  • 공간데이터베이스 시스템에서 데이터베이스의 일관성 유지를 위해 의미적 무결성을 지원해야 한다. 예를 들어, 실세계의 구경계 레이어에서 공간 객체인 구는 주위의 구들과 항상 접해 있어야만 하는 상접 (Meet)한 성질과 두개 이상의 다른 구가 동일한 이름을 가질 수 없는 성질을 가진다. 이 성질은 실세계에서 묵시적으로 인지되는 개념이다. 따라서 공간객체의 갱신으로 인해 레이어에 대한 묵시적인 개념이 위배될 경우 무결성 유지가 필요하다. 본 논문에서는 이 레이어에 대한 공간 객체의 무결성을 유지하기 위한 능동적 공간 연산 트리거를 제안한다. 제안한 기법은 레이어에 대한 무결성 제약조건이 위배될 때 수행되며, 동일 레이어에 대한 공간과 비공간 데이터 트리거로 나누어 수행되고, 다른 레이어에 대한 비공간 데이터 트리거를 수행하는 기법이다. 동일한 레이어에 대한 능동적 공간 연산 트리거는 공간객체인 공간 비공간 데이터에 대한 각각 또는 모두에 대한 갱신인지를 구분하여 공간 데이터에 대한 트리거 수행단계와 비공간 데이터에 대한 트리거의 수행단계로 나누어 수행 전략를 결정하여 수행되고, 마지막으로 다른 레이어에 대한 비공간 데이터에 대한 트리거를 수행한다. 능동적 공간 연산 트리거는 상접성을 유지해야 하는 공간 객체들의 의미적 무결성을 위해 각각의 공간과 비공간 데이터에 대하여 3 단계 수행으로 공간 객체에 대한 의미적 무결성 유지와 자동 보정으로 사용자 편의성을 제공한다.

  • PDF

무선 센서 네트워크에서 데이터 무결성을 보장하기 위한 다중 해쉬 체인 기법 (A Multi-hash Chain Scheme for Ensure Data Integirty Nodes in Wireless Sensor Network)

  • 박길철;정윤수;김용태;이상호
    • 한국정보통신학회논문지
    • /
    • v.14 no.10
    • /
    • pp.2358-2364
    • /
    • 2010
  • 최근 무선 센서 네트워크에서는 센서 노드의 에너지 소모뿐만 아니라 센서 노드에서 수집된 데이터의 무결성을 보장하기 위한 연구가 진행되고 있다. 그러나 기존 연구에서는 센서 노드로부터 데이터를 병합하는 클러스터 헤드의 오버헤드 및 데이터의 무결성을 보장하지 못하고 있다. 이 논문에서는 센서 노드로부터 전달된 데이터를 클러스터 헤드가 병합할 때 클러스터 헤드의 오버헤드를 줄이고 병합된 데이터의 무결성을 보장하기 위한 다중 경로 해쉬체인 기법을 제안한다. 제안된 기법은 데이터 병합시 클러스터 헤드의 데이터 무결성을 보장하기 위해서 주경로와 보조경로로 나누어 다중 해쉬 체인을 형성한다. 주경로 이외에 사용되는 보조 경로는 센서 노드의 인증 시 클러스터 헤드의 오버헤드를 최소화하면서 센서 노드의 무결성을 지원한다.