• 제목/요약/키워드: 정형증명

검색결과 79건 처리시간 0.026초

함수 기반의 체내 삽입장치용 보안 인증프로토콜 검증 (Verification of a Function-based Security Authentication Protocol for Implantable Medical Devices)

  • 배우식;한군희
    • 디지털융복합연구
    • /
    • 제12권5호
    • /
    • pp.249-254
    • /
    • 2014
  • 최근 USN 기술의 발전으로 의료기술 분야에서 서비스를 받을 수 있는 체내 삽입장치 통신기술이 많은 발전을 하고 있다. 체내 삽입장치(Implantable Medical Device)는 환자와 장비사이에 무선으로 전송되는 구간이 있어서 외부 공격자의 해킹으로 인한 환자의 개인 의료정보 유출사고로 프라이버시 침해 발생이 우려되고 있다. 또한 환자의 의료 정보를 조작할 경우 심각한 의료 문제가 발생할 수 있다. 본 논문에서는 체내 삽입장치에 RFID/USN 기술을 이용할 때 공격자의 공격에 안전한 인증프로토콜을 제안한다. 해시함수 기반으로 연산하며 세션키와 난수를 도입하여 재 암호화를 방지하고 스푸핑공격, 정보노출 및 도청공격에 안전하며 이를 증명하기 위해 정형검증 도구인 Casper/FDR 도구를 이용하여 보안성을 검증 실험하였으며 안전함이 확인되었다.

시계열 스트림 데이터 상에서 핸드헬드 디바이스를 위한 효율적인 스트림 시퀀스 매칭 알고리즘 (Efficient Stream Sequence Matching Algorithms for Handheld Devices over Time-Series Stream Data)

  • 문양세;노웅기
    • 한국통신학회논문지
    • /
    • 제31권8B호
    • /
    • pp.736-744
    • /
    • 2006
  • 핸드헬드 디바이스의 경우, 반복 작업에 대한 CPU 연산 최소화가 성능에 중요한 요소이다. 본 논문에서는 주식 데이터, 네트워크 트래픽, 센서 데이터 등의 시계열 스트림 데이터 상에서 유사 시퀀스를 효율적으로 찾아내는 핸드헬드 디바이스용 알고리즘을 제시한다. 이를 위하여, 우선 시계열 스트림 데이터 상에서 유사 시퀀스를 찾아내는 문제를 스트림 시퀀스 매칭(stream sequence matching)으로 정형적으로 정의한다. 다음으로, 기존의 서브시퀀스 매칭에서 사용했던 윈도우 구성법을 적용하여, 스트림 시퀀스 매칭을 효율적으로 처리하는 윈도우 기반 접근법을 제안한다. 그리고 이러한 윈도우 기반 접근법을 가능하게 하는 윈도우 MBR(window MBR) 개념을 제시하고, 이 개념을 사용하면 스트림 시퀀스 매칭을 정확하게 수행할 수 있음을 증명한다. 또한, 윈도우 기반 접근법에 기반한 두 가지 스트림 시퀀스 매칭 알고리즘을 제안한다. 마지막으로, 분석과 실험을 통해 제안한 알고리즘이 단순 접근법에 비해 CPU 연산을 크게 줄이고 성능을 향상시킴을 보인다. 이 같은 결과를 볼 때, 제안한 방법은 CPU 연산 능력이 부족한 핸드헬드 디바이스의 내장형 알고리즘으로 매우 적합하다고 사료된다.

유사 시퀀스 매칭을 위한 하이브리드 저차원 변환 (Hybrid Lower-Dimensional Transformation for Similar Sequence Matching)

  • 문양세;김진호
    • 정보처리학회논문지D
    • /
    • 제15D권1호
    • /
    • pp.31-40
    • /
    • 2008
  • 유사 시퀀스 매칭에서는 고차원인 시퀀스를 저차원의 점으로 변환하기 위하여 저차원 변환을 사용한다. 그런데, 이러한 저차원 변환은 시계열 데이터의 종류에 따라 인덱싱 성능에 있어서 큰 차이를 나타낸다. 즉, 어떤 저차원 변환을 선택하느냐가 유사 시퀀스 매칭의 인덱싱 성능에 큰 영향을 주게 된다. 이 문제를 해결하기 위하여, 본 논문에서는 하나의 인덱스에서 두 개 이상의 저차원 변환을 통합하여 사용하는 하이브리드 접근법을 제안한다. 먼저, 하나의 시퀀스에 두 개 이상의 저차원 변환을 적용하는 하이브리드 저차원 변환의 개념을 제안하고, 변환된 시퀀스간의 거리를 계산하는 하이브리드 거리를 정의한다. 다음으로, 이러한 하이브리드 접근법 사용하면 유사 시퀀스 매칭을 정확하게 수행할 수 있음을 정형적으로 증명한다. 또한, 제안한 하이브리드 접근법을 사용하는 인덱스 구성 및 유사 시퀀스 매칭 알고리즘을 제시한다. 다양한 시계열 데이터에 대한 실험 결과, 제안한 하이브리드 접근법은 단일 저차원 변환을 사용하는 경우에 비해서 우수한 성능을 보이는 것으로 나타났다. 이 같은 결과를 볼 때, 제안한 하이브리드 접근법은 다양한 특성을 지닌 다양한 시계열 데이터에 두루 적용될 수 있는 우수한 방법이라 사료된다.

객체지향 어플리케이션의 확장을 위한 클래스 계층 구조의 재구성에 대한 정형기법 (A Formal Approach for the Reorganization of Class Hierarchies for the Extension of Object Oriented Applications)

  • 황석형;김대원;양해술
    • 한국정보처리학회논문지
    • /
    • 제6권3호
    • /
    • pp.589-602
    • /
    • 1999
  • 객체 지향 개념에 토대를 둔 어플리케이션 개발에는 여러 가지 이점이 있으나, 그 중 하나로서, 기존 성과물의 재이용을 들 수 있다. 유효한 재이용 수법 중의 하나로서, 본 논문에서는 클래스 계층 구조를 바탕으로 하는 확장 재구성법에 대해 논한다 우선, 클래스 계층 구조를 보다 형식적인 형태로 정의하고 이론적인 논술이 가능토록 하기 위해서, 클래스 계층 구조를 유한 유방향 그래프 형태인 클래스 계층 그래프로 나타낸다 또한, 클래스 계층 그래프간의 순서관계로써 객체 확장관계 를 정의한다. 객체 확장관계를 만족하는 클래스 계층 그래프의 재구성법으로써, 다섯가지 기본조작을 정의하고, 정의된 기본 조작만을 이용하여 클래스계층 그래프를 확장 재구성할 수 있음을 보이기위해, 기본 조작의 정당성 및 완전성을 증명한다. 본 논문에서 제안한 객체 확장관계 및 기본 재구성기법은, 기존의 객체 지향 어플리케이션을 확장 재구성하고자 할 때 이론 적인 토대로서 이용할 수 있다.

  • PDF

Space syntax 기법을 활용한 Social Path 효과분석 (An Analysis of the Effectiveness of Social Path Using the Space Syntax Technique)

  • 최성택;이향숙;추상호;장진영;김수재
    • 대한교통학회지
    • /
    • 제33권2호
    • /
    • pp.192-203
    • /
    • 2015
  • 보행자는 일반적인 보행로뿐만 아니라 건물을 통과하거나 넓은 공간을 가로지르는 등의 비정형적인 보행 경로를 통해 다양한 방식으로 이동한다. 본 연구는 이러한 보행 경로를 social path로 정의하여 보행 네트워크의 범주 안에 포함시켜 정의하였다. 기존의 보행 접근성 연구에서는 이러한 보행 경로를 고려하지 못해 대상지의 공간적 위계 수준과 각 가로의 연결성을 올바르게 평가하지 못하였다. 이를 개선하기 위해 본 연구는 대중교통의 요지임과 동시에 상업 시설이 밀집된 서울의 주요 대상지를 선정하여 social path의 효과 분석을 수행하였다. 이를 위해서는 네트워크 공간 분석에서 활용되는 space syntax 기법의 공간 통합도(Integration)를 평가 지표로 설정하였다. 분석 결과, social path로 인해 각 가로의 연결성이 변화됨과 동시에 보행자의 최적 경로가 합리적으로 바뀌는 것으로 나타났다. 특히, 대상지 내부의 주요 가로와 social path의 개선효과가 두드러졌다. 이러한 점을 통해 social path의 연결성이 뛰어나고 보행자의 최적 경로를 보다 현실적으로 구현할 수 있다는 점을 증명하였다.

질의-인식 복호화를 사용한 암호화된 XML데이타에 대한 안전한 질의 처리 (Secure Query Processing against Encrypted XML Data Using Query-Aware Decryption)

  • 이재길;황규영
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제32권3호
    • /
    • pp.243-253
    • /
    • 2005
  • 인터넷에서 XML 데이타를 그대로 배포할 경우 모든 사용자가 배포된 XML 데이타를 아무 제약 없이 액세스할 수 있어, XML 데이타 제공자의 프라이버시가 보장되지 않는다. 따라서, 배포된 XML 데이타에 대해서 액세스를 통제할 수 있도록 암호화 기법을 사용하는 방법들이 최근에 제안되었다. 그러나, 이들 방법에서는 배포된 XML 데이타에 대한 질의 처리 성능이 충분히 논의되지 않았다 질의 처리기는 암호화된 XML 데이타를 복호화하기 전까지 XML 데이타의 실제 내용을 알 수 없으며, 이로 인해 질의 결과를 포함하지 않은 부분까지도 복호화해야 하는 오버헤드가 발생한다. 본 논문에서는 암호화된 XML 데이타에 대한 효율적인 질의 처리를 위해 질의-인식 복호화(Query-aware decryption)라는 개념을 제안한다. 질의-인식 복호화란 암호화된 XML 데이타 중에서 질의 결과를 포함하는 부분만 복호화하는 방법이다. 이를 위해 XML 인덱스를 암호화하여 데이타와 함께 배포한다. 암호화된 XML 인덱스만을 복호화함으로써 암호화된 XML 데이타에서 질의 결과가 포함되어 있는 위치를 알아내어, 다른 암호화된 XML 데이타의 불필요한 복호화를 방지할 수 있다. 암호화된 XML 인덱스는 암호화된 XML 데이타에 비해 그 크기가 매우 작으므로 이를 복호화하는 비용은 암호화된 XML 데이타를 불필요하게 복호화하는데 낭비된 비용에 비해 매우 작다. 실험 결과는 질의-인식 복호화를 사용하는 질의 처리 방법이 기존의 방법에 비해 질의 처리 성능을 최대 6배까지 향상시킴을 보인다. 마지막으로, 암호화된 XML 인덱스로 인해 추가적인 보안 누출이 발생하지 않음을 정형적으로 증명한다.

SPOT 4 영상의 기하보정을 위한 시선 벡터 조정 모델 (Line-of-Sight (LOS) Vector Adjustment Model for Restitution of SPOT 4 Imagery)

  • 정형섭
    • 한국측량학회지
    • /
    • 제28권2호
    • /
    • pp.247-254
    • /
    • 2010
  • SPOT 4 위성영상의 기하 왜곡을 보정하기 위하여 새로운 접근방법을 연구하였다. 우주공간에서 위성과 지구의 관계를 정립함으로서 새로운 조건 방정식을 유도하였다. 초기 위성에 대한 정보가 어떤 일정한 변화에 의해 왜곡이 있다고 가정하고, LOS(Line-Of-Sight) 벡터를 변화시켜 위성영상의 기하를 보정하는 LOS 벡터 조정 모델을 연구하였다. 본 모델을 증명하기 위하여 관측각이 큰 SPOT 4 위성영상을 대상으로 실험하였다. 또한, 정확한 실험을 위하여 GPS로부터 측량한 10개의 지상기준점(GCPs)과 25개의 검사점(check points)을 사용하였다. SPOT 4 위성영상에 주어진 초기 위성정보(위성 위치, 속도, 자세, 관측각 등)를 그대로 이용하여 계산한 위성영상 기하는 총 35개의 지상기준점과 검사점에 대하여 거의 일정한 변화량을 지녔으며, 이를 통해 SPOT 4 위성영상에 시선벡터조정모델을 적용할 수 있음을 확인하였다. 시선벡터조정모델을 적용하여 영상에 고르게 분포하는 지상기준점을 2점에서 10점까지 변화시키면서 검사점의 오차를 계산하였고, 25개 검사점 오차는 모두 1픽셀 미만이었다. 새로운 접근 방법인 이 모델은 2점 이상의 지상기준점을 이용하여 SPOT 4 영상 기하를 효과적으로 보정하였으며, 또한 SPOT 영상과 촬영방식이 동일한 고해상 위성영상에 대해서도 좋은 결과를 얻을 것으로 기대한다.

MR 유체 댐퍼의 동적모델을 고려한 사장교의 반(半)능동제어 (Semi-active Control of a Seismically Excited Cable-Stared Bridge Considering Dynamic Models of MR Fluid Damper)

  • 정형조;박규식;;이인원
    • 한국지진공학회논문집
    • /
    • 제6권2호
    • /
    • pp.63-71
    • /
    • 2002
  • 본 논문에서는 미국토목학회(ASCE)의 사장교에 대한 첫번째 벤치마크 문제를 이용하여 제어-구조물 상호작용을 고려한 새로운 반능동제어 기법을 제안하였다. 이 벤치마크 문제에서는 2003년 완공 예정으로 미국 Missouri주에 건설 중인 Cape Girardeau 교를 대상 구조물로 고려하였다. Cape Girardeau 교는 New Madrid 지진구역에 위치하고, Mississippi 강을 횡단하는 주요 교량이라는 점 때문에 설계단계에서부터 내진 문제를 중요하게 고려하였다. 본 연구에서는 MR 유체 감쇠기를 제어 장치로 제안하였고, clipped-optimal 알고리듬을 제어 알고리듬으로 사용하였다. 또한, 대용량 MR 유체 감쇠기 실험 결과를 이용하여, Bingham 모델, Bouc-Wen 모델, 수정된 Bouc-HWen 모델과 같이 수치해석에 이용할 수 있는 다양한 동적 모델을 개발하였다. MR 유체 감쇠기는 제어가능한 에너지 소산장치이며 구조물에 에너지를 가하지 않기 때문에 제안된 제어기법은 한정입출력 안정성이 보장된다. 수치해석을 통해, MR 유체 감쇠기를 이용한 반능동제어 기법이 사장교의 응답 감소에 효과적인 방법임을 증명하였다.

M2M 통신환경에서 안전한 P2P 보안 프로토콜 검증 (Verifying a Safe P2P Security Protocol in M2M Communication Environment)

  • 한군희;배우식
    • 디지털융복합연구
    • /
    • 제13권5호
    • /
    • pp.213-218
    • /
    • 2015
  • 최근 정보통신 기술의 발전과 함께 M2M(Machine-to-Machine) 산업분야의 시스템이 다기능 고성능화 되고 있으며 IoT(Internet of Things), IoE(Internet of Everything)기술 등과 함께 많은 발전해가고 있다. 통신상 보안적인 서비스를 제공하기 위해서는 인증, 기밀성, 익명성, 부인방지, 데이터신뢰성, 비연결성, 추적성 등이 충족 되어야 한다. 그러나 통신방식이 무선 전송구간에서는 공격자의 공격에 노출되어 있다. M2M 무선통신 프로토콜에서 보안상 문제가 생기면 시스템오류, 정보유출, 프라이버시문제 등의 심각한 상황이 발생할 수 있다. 따라서 프로토콜 설계는 상호인증과 보안이 필수적인 요소이며, 최근 보안통신프로토콜에 대한 분야가 매우 중요한 부분으로 연구되고 있다. 본 논문에서는 안전한 통신프로토콜을 위해 해시함수, 난수, 비밀키 및 세션키를 적용하여 설계하였다. 제안 프로토콜이 공격자의 각종공격에 안전함을 증명하기 위해 프로토콜 정형검증도구인 Casper/FDR 도구를 이용하여 실험하였다. 실험결과 제안프로토콜은 안전성을 충족했으며 문제없이 종료됨을 확인하였다.

다차원 색인을 이용한 하향식 계층 클러스터링 (Top-down Hierarchical Clustering using Multidimensional Indexes)

  • 황재준;문양세;황규영
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제29권5호
    • /
    • pp.367-380
    • /
    • 2002
  • 최근 공간 데이타 분석, 영상 분석 등과 같은 대용량 데이타를 관리하는 다양한 응용 업무들이 증가함에 따라, 대용량의 데이타베이스를 위한 클러스터링 기법이 많이 연구되고 있다. 그 중에서도 계층 클러스터링 기법은 데이타베이스의 계층 분할을 표현하는 계층 트리를 생성하고 이를 이용하여 효율적인 클러스터링을 수행하는 방법으로서, 지금까지는 주로 트리를 하위 계층으로부터 상위 계층으로 생성해 가는 상향식(bottom-up) 계층 클러스터링 기법들이 연구되었다. 이러한 상향식 클러스터링 방법은 트리를 생성하기 위하여 전체 데이타베이스를 한 번 이상 액세스하여야 할 뿐만 아니라, 하위 계층에서부터 검색을 시작하기 때문에 트리의 많은 부분을 검색하여야 하는 문제점이 있다. 본 논문에서는 대부분의 데이타베이스 응용에서 이미 유지하고 있는 다차원 색인을 이용하여 클러스터링을 수행하는 새로운 하향식(top-down) 계층 클러스터링 기법을 제안한다. 일반적으로 다차원 색인에서는 가까운 객체들이 동일한 (혹은 인접한) 페이지에 저장될 가능성이 큰 클러스터링 성질을 가진다. 이러한 다차원 색인의 클러스터링 성질을 사용하면 각 객체들간의 거리를 일일이 계산하지 않고도 이웃한 객체들을 식별할 수 있다. 우선 객체들의 밀도에 기반하여 클러스터를 정형적으로 정의한다. 이를 위하여, 객체를 포함하는 영역의 밀도를 이용한 영역 대조 분할(region contrast partition) 개념을 사용한다. 또, 클러스터링 알고리즘에서의 빠른 검색을 위하여 분기 한정(branch-and-bound) 알고리즘을 사용하며, 여기서의 한계값(bound)을 제안하고 이의 정확성을 이론적으로 증명한다. 실험 결과, 제안한 방법은 상향식 계층 클러스터링 방법인 BIRCH와 비교하여, 정확성 측면에서 우수하거나 유사한 것으로 나타났으며, 데이타 페이지 액세스 횟수를 데이타베이스 크기에 따라 최고 26~187배까지 감소시킨 것으로 나타났다. 이 같은 결과로 볼 때, 제안한 방법은 대용량 데이타베이스에서의 클러스터링 성능을 크게 향상시키는 기법으로서, 일반 데이타베이스 응용에 실용적으로 적용 가능하다고 판단된다.