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

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

인접 공간 객체의 무결성 지원을 위한 능동적인 공간 연산 트리거의 제안 (A Proposal of Active Spatial Operation Trigger for supporting the Integrity of Neighboring Spatial Objects)

  • 안준순;박동선;이영걸;배해영
    • 한국정보과학회:학술대회논문집
    • /
    • /
    • pp.21-23
    • /
    • 2000
  • 공간 데이터베이스 시스템에서 객체간의 인접성을 유지해야하는 공간 객체의 갱신 연산 수행시, 이와 인접한 공간 객체들은 의미적 무결성을 상실하게 된다. 이러한 의미적 무결성을 만족하기 위해서는 수작업으로 무결성을 유지하는 수동적 무결성 유지 방법보다 사용자 편의성을 위해 자동 보정 연산의 지원이 필요하다. 본 논문에서는 공간 객체의 갱신 연산 수행시 인접한 공간 객체간의 의미적 무결성을 지원하기 위한 능동적인 공간 연산 트리거를 제안한다. 제안한 기법은 무결성 제약조건 검증 단계에서 인접한 공간 객체에 대한 자동 보정 연산을 수행하여 객체간의 의미적 무결성을 유지한다. 제안한 기법의 지원을 위해 무결성 제약조건은 레이어, 공간 객체의 순서로 기술하며, 무결성 검증 단계는 공간 객체, 레이어 순으로 제약조건 검사를 수행한다. 능동적 공간 연산 트리거는 레이어 제약조건 검증 단계에서 갱신연산에 대해 공간 위상 추출연산을 포함한 확장된 SQL을 사용하여 무결성을 유지하도록 한다. 능동적 공간 연산 트리거는 레이어 제약조건 검사와 공간 객체에 대한 자동 보정 연산의 수행을 통하여 인접성을 유지해야 하는 공간 객체들의 의미적 무결성과 사용자 편의성을 제공한다.

  • PDF

동적 객체지향 모델에서 무결성과 임무 분리 메카니즘 (A Mechanism of Integrity and Saperation of Duty in an Active Object-Oriented Data Model)

  • 서재현;김영균;노봉남
    • 한국정보보호학회:학술대회논문집
    • /
    • /
    • pp.223-232
    • /
    • 1994
  • 객체지향 데이타베이스 시스템에서 무결성은 중요한 개념이다. 이 무결성이 객체의 내부 메소드로 정의되고 구현하면 응용에서의 무결성 의미 파악이 어렵고, 또한 객체의 기본적인 메소드와 함께 모형화되기 때문에 데이타베이스 설계 작업이 복잡해진다. 본 논문에서는 무결성을 매소드로 처리할 때의 문제점을 극복하기 위하여 동적 데이타베이스의 동적 규칙을 이용하여 무결성 제약조건을 정의하고 유지시키는 객체지향 데이타베이스에서 무결성과 임무 분리를 유지시키는 기립을 제안한다.

  • PDF

무결성 관리를 위한 IDS 통합 시스템 설계 (Design of IDS Unified System for Integrity Managements)

  • 김남진;강진수;김창수
    • 한국정보통신학회:학술대회논문집
    • /
    • /
    • pp.203-206
    • /
    • 2003
  • 네트워크 상에서 송수신되는 데이터를 외부의 침입으로부터 보호하는 것은 매우 중요하며, 그 중 데이터의 무결성을 검증하고 보장하기 위한 방법으로 SSL(Secure Socket Layer)을 사용한다. 본 논문에서는 클라이언트와 서버간에 송수신되는 데이터의 무결성이 위배되었을 경우 그 정보를 검증 및 관리할 수 있도록 OpenSSL을 이용한 무결성 위배 데이터 검증 및 관리 시스템을 구성하고, 검증된 데이터를 IDS(Intrusion Detection System)로 전송하여 침입 탐지 정보와 무결성 검증 정보를 통합적으로 관리할 수 있는 IDS 통합 시스템을 제안 및 설계하였다.

  • PDF

의미적 무결성을 지원하는 공간 데이터 모델의 설계 (Design of Spatial Data Model Supporting Semantic Integrity Constraint)

  • 임정옥;이영걸;배해영
    • 한국정보과학회:학술대회논문집
    • /
    • /
    • pp.48-50
    • /
    • 1999
  • 본 논문은 공간데이터와 비공간데이터를 통합처리하는 공간 데이터베이스 시스템에서 데이터의 의미적 무결성을 보장하는 확장된 공간 데이터 모델을 설계한다. 공간 데이터베이스 시스템에서 다루는 단순 객체가 아닌 추상화된 복합 객체로 다양한 유도 데이터에 대한 의미적 무결성을 데이터베이스 시스템 내부에서 효율적으로 유지해야 하며, 공간 데이터의 의미적 무결성 제약 조건을 사용자에 의해 정의할 수 있어야 한다. 본 논문에서는 공간 데이터베이스에서 사용하는 공간 데이터에 대한 무결성 정보를 술어 논리 형태로 표현하고 유지할 수 있는 무결성 공간 데이터 모델 (ISRDM: Integrity supported Spatial-Relational Data Model)을 제안한다. 제안된 공간 데이터 모델은 하부 단계 저장 구조, 개념적 데이터 표현 단계, 무결성 표현 단계가 독립적으로 구성되는 다단계 구조로 기존의 공간 데이터베이스 시스템을 용이하게 확장하고 다양한 응용 요구에 대해 유연하게 대처할 수 있도록 설계한다.

  • PDF

BLP 모델과 Biba 모델 결합을 통해서 기밀성과 무결성을 보장하는 보안 모델 (A security model considering secrecy and integrity using the combination of BLP model and Biba model)

  • 김민정;박석
    • 한국정보보호학회:학술대회논문집
    • /
    • /
    • pp.336-345
    • /
    • 1996
  • 정보 보안의 세 가지 목적은 기밀성, 무결성, 유용성이다. 모든 정보 시스템에서 정보 보안에 관한 필요성이 대두되면서 기밀성뿐만 아니라 무결성도 보장하는 보안 모델이 필요하다. BLP와 Biba는 각각 기밀성과 무결성을 보장하는 보안 모델로서 BLP 모델이 무결성을 고려하지 않기 때문에, Biba 모델은 기밀성을 고려하지 않기 때문에 접근할 수 있는 정보에 한계가 있다. 본 논문에서는 여러 정보시스템 중에서 주로 군사 정보 시스템으로 구현된 BLP와 Biba 모델을 이용해서 기밀성과 무결성을 만족하는 보안 모델을 제시한다. BLP 모델과 Biba 모델을 결합함으로써 BLP 모델을 통해 기밀성을, Biba 모델을 통해 무결성을 보장한다

  • PDF

침입탐지시스템과 연계된 SSL 무결성 정보 관리 시스템 구현 (Implementation of Management System for SSL Integrity Data with Intrusion Detection System)

  • 김남진;강진수;김창수;김진천
    • 한국멀티미디어학회:학술대회논문집
    • /
    • /
    • pp.154-157
    • /
    • 2003
  • 네트워크 상에서 송수신되는 데이터를 외부의 침입으로부터 보호하는 것은 매우 중요하며, 그 중 데이터의 무결성을 검증하고 보장하기 위한 방법으로 SSL(Secure Socket Layer)을 사용한다. 본 논문에서는 웹 환경에서 클라이언트와 서버간에 송수신되는 데이터의 무결성이 위배되었을 경우, 그 정보를 검증 및 관리할 수 있는 무결성 위배 데이터 검증 및 관리 시스템을 OpenSSL을 이용하여 구성하고, 꾑 서버를 통해 기록된 무결성 위배 로그 데이터는 IDS(Intrusion Detection System)로 전송하여 침입 탐지 정보와 항께 데이터의 무결성 검증 정보를 통합적으로 관리할 수 있도록 IDS와 연계된 무결성 정보 통합관리 시스템을 제안 및 설계하고자 한다.

  • PDF

스마트폰을 위한 안전하고 효율적인 무결성 검증 방법 (A Method for Safe and Efficient Integrity Verification of Smartphones)

  • 한진희;전용성
    • 한국정보처리학회:학술대회논문집
    • /
    • /
    • pp.423-426
    • /
    • 2014
  • 본 논문에서는 MTM(Mobile Trusted Module)과 커널상에 저장된 무결성 검증 파일을 이용하여 스마트폰의 부트로더 이미지 및 커널 이미지, 커널이 로딩되며 실행되는 실행파일, 라이브러리 파일 등의 무결성을 안전하고 효율적으로 검증하는 방법을 제안한다. 부트로더 이미지와 커널 이미지, 외부로부터 악의적으로 변경되거나 수정될 경우 심각한 문제를 일으킬 수 있는 실행 파일이나 라이브러리 파일 등의 무결성 검증은 MTM 을 이용하여 안전하게 처리하고, 그 외 파일들의 무결성 검증은 커널상에 저장된 무결성 검증 파일을 이용하여 처리함으로써 MTM 기반 무결성 검증 기능을 모든 파일에 적용하는 경우에 발생될 수 있는 처리 시간 지연, 성능 저하 등의 문제점을 방지할 수 있다.

  • PDF

부트로더와 물리적으로 독립된 저장장치를 이용한 모바일 운영체제 무결성 검증 (A Mobile OS Integrity Verification Using Bootloader & Physically Independent Storage Device)

  • 박재경;이상훈;권미영;김효남
    • 한국컴퓨터정보학회논문지
    • /
    • v.19 no.12
    • /
    • pp.123-132
    • /
    • 2014
  • 본 논문에서는 보안의 문제가 발생 할 경우 앱보다 치명적일 수 있는 운영체제 무결성에 대한 검증 기법에 대해 연구하였다.최근 스마트폰의 보급은 급속도로 발전하고 있으며, PC와 유사한 서비스를 제공하는 단계까지 왔다. 그리고 그에 따르는 보안 위협도 PC와 유사한 부분이 많다. 최근의 모바일 네트워크 환경에서 단말기의 루트 권한 탈취 및 운영체제 위변조 등에 의한 피해가 날로 늘어나고 있는 추세이며 이를 종합적으로 대응할 수 있는 시스템에 대한 연구가 필요하다. 모바일 위협에 대한 피해를 막기 위한 방법으로 운영체제의 무결성을 검사하는 방법이 사용되기도 한다. 무결성 검증 알고리즘은 운영체제 부팅 이전 레벨에서의 검증과 제어권이 운영체제로 넘어간 시점에서의 검증으로 구분될 수 있다. 무결성 검증은 앱 무결성과 운영체제 무결성으로 나뉘어 볼 수 있는데, 본 논문에서는 부트로더와 단말기 내부의 물리적으로 독립된 저장장치를 이용하여 운영체제의 무결성을 검증하는 기법을 제안하였다.

응용계층 무선 보안 시스템 데이터 무결성 평가 도구 구현 (Implementation of Data Integrity Evaluation Tool for Mobile Security Systems in Application Layer)

  • 김기욱;김창수;박지환;정민수;심규박
    • 한국멀티미디어학회:학술대회논문집
    • /
    • /
    • pp.198-202
    • /
    • 2002
  • 이동 네트워크 기술의 발달과 이의 활용도가 증가함에 따라 무선 보안 시스템에 대한 연구 및 솔루션 개발이 활발히 진행중이다. 그러나 개발된 제품들의 신뢰성과 안정성을 검증할 만한 평가도구 및 연구가 매우 미비하다. 따라서 본 논문에서는 이동 네트워크 보안 장비들의 안전성을 검증할 수 있는 응용계층 전송 데이터 무결성 평가 도구를 설계 및 구현하였다. 설계된 무결성 평가 도구는 Web서버와 이동 단말간에 전송되는 패킷의 데이터 변조 기능을 수행하는 변조서버 시스템과 무선 보안 시스템의 무결성 모듈이 변조된 데이터의 무결성 위반을 탐지하는지를 검증하는 무결성 검증 시스템으로 구성된다.

  • PDF

이동 에이전트의 안전한 전송을 위한 무결성 메커니즘 (An Integrity Mechanism for Secure Transmission of Mobile Agents)

  • 정은주;김영갑;정동원;백두권
    • 한국정보과학회:학술대회논문집
    • /
    • /
    • pp.43-45
    • /
    • 2003
  • 이동 에이전트가 갖는 많은 장정에도 불구하고 실생활에서 이동 에이전트를 사용하는데 보안 문제는 큰 장애물로 작용하고 있다. 이동 에이전트 보안문제는 크게 이동 에이전트에 대한 보안과 이동 에이전트 시스템에 대한 보안으로 나눌 수 있는데 실질적인 이동 에이전트 보호에 대한 연구는 미비하다. 이동 에이전트나 이동 에이전트 시스템을 불법적인 공격으로부터 보호하기 위해 요구되는 가장 기본적인 서비스는 기밀성. 무결성, 인증, 접근 통제, 부인 봉쇄 및 가용성 등이며, 이 중 무결성은 보안 서비스가 제대로 작동하기 위한 가장 기본 서비스라고 할 수 있다. 일반적으로 무결성은 해쉬함수를 사용해서 무결성 검사값을 생성한 후, 데이터나 코드의 불법적인 변경을 감시한다. 따라서 이 논문에서는 에이전트를 전송 또는 수신하는 호스트의 상호인증과 해쉬함수(HMAC)를 사용해 이동 에이전트의 안전한 전송을 위한 무결성 매커니즘을 제안하고자 한다.

  • PDF