• 제목/요약/키워드: 존재 증명

검색결과 529건 처리시간 0.028초

타원곡선 알고리즘을 이용한 안전한 자바 메일 시스템의 설계 및 구현 (Implementation of Secure I-Mail System based on lava)

  • 이원구;조한진;이재광
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.700-702
    • /
    • 2001
  • 컴퓨터와 네트워크의 보급이 일반화되면서 인터넷을 통한 정보 전달이 일상 생활처럼 되고 있다. 또한 인터넷, 무선통신, 그리고 자료교환에 대한 증가로 인해 다른 사용자와 접속하기 위한 방식은 빠르게 변화하고 있다. 그러나 이러한 전자메일에도 많은 문제가 존재한다. 기존의 전자메일은 간단한 방법으로 내용을 열람하거나 변조할 수 있어 중요한 정보나 사생활 노출의 위험에서 벗어날 수 없다. 이러한 데이터에 대한 보안이 기대에 미치지 못하고 있기 때문에 암호학적으로 강력한 전자메일 시스템의 개발이 시급하다. 본 논문에서는 기본적인 정보보호 서비스 외에 기존의 전자메일 시스템에서는 제공되지 않는 배달 증명 및 내용 증명 기능을 제공하고 자바 암호 API를 사용하여 안전한 키 교환이 가능하도록 하였다.

  • PDF

공인인증서 유출형 안드로이드 악성앱 탐지를 위한 Tainting 기법 활용 연구 (A Study on Tainting Technique for leaking official certificates Malicious App Detection in Android)

  • 윤한재;이만희
    • 융합보안논문지
    • /
    • 제18권3호
    • /
    • pp.27-35
    • /
    • 2018
  • 공인인증서는 개인을 증명하거나 통신간의 위변조 등을 방지하기 위하여 공인인증기관에서 발행하는 전자화된 정보로써 사이버 상의 인감도장이라 할 수 있다. 공인인증서는 암호화 된 파일의 형태로 PC 및 스마트폰에 저장되어 인터넷뱅킹 및 스마트뱅킹 서비스를 이용할 때 개인을 증명하기 위해 사용하기 때문에 외부로 유출될 경우 위험할 수 있다. 급증하는 안드로이드 기반 악성 어플리케이션 중 파일로 존재하는 공인인증서와 개인정보 등을 외부의 서버에 전송하는 악성 어플리케이션 또한 발견되고 있다. 본 논문은 공인인증서 탈취 악성코드를 사전에 판단하여 차단하기 위해 안드로이드 기반 동적 분석 도구인 DroidBox를 이용하여 공인인증서 외부 유출행위 여부를 판단하는 방안을 제안한다.

  • PDF

분산신원증명 기술을 활용한 허위 부동산 매물정보 검출에 관한 연구 (A Study on the Identification of fake Estimate Service using DID)

  • 문정경;김진묵
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2021년도 춘계학술대회
    • /
    • pp.649-651
    • /
    • 2021
  • 최근 들어, 부동산 매물에 대한 O2O 서비스가 웹 플랫폼 및 앱이 널리 보급되고 있다. 이로 인해서 매도자와 매수자, 부동산 중개업자는 빠르고 편리하게 부동산 매매, 전세 계약을 수행할 수 있다. 하지만, O2O 기반의 부동산 매물 정보시스템에서 가짜 정보 게시, 매물 정보에 대한 부분 수정, 고의적인 매물 정보의 미-게시로 인해서 부동산 매수자의 시간과 비용을 낭비하게 한다. 그러므로 우리는 웹 플랫폼에서 발생 가능한 부동산 매물정보들의 허위 여부를 검출 방식을 제안하고, 이에 관한 제안시스템을 설계 및 구현한다. 이를 위해서 분산 신원인증 프로토콜인 DID를 기반으로 한 개인신원증명과 매물정보 자체에 대한 검출 방식을 제안한다. 우리가 제안한 허위 부동산 매물정보 검출시스템은 3단계로 부동산 매물정보의 존재 여부 판별, 허위 매물 정보의 부분 수정 또는 고의적 미-게시 여부를 증명할 수 있다.

  • PDF

Downs-Thomson의 역설은 존재하는가? (수도권을 중심으로) (The Equilibrium Between Public and Private Transports on Seoul Metropolitan Area)

  • 김강수;육동형;조혜진
    • 대한교통학회지
    • /
    • 제23권8호
    • /
    • pp.43-51
    • /
    • 2005
  • Thomson(1977)은 수단간 균형상태가 여러 교통 수단간에도 존재할 수 있음을 주장하였다. 즉, 특정 기 종점간의 개인교통수단과 대중교통수단의 매력도(attractiveness)가 이용자 균형상태의 각 경로들의 통행시간 균형처럼 각 수단간에도 균형이 존재 할 수 있음을 제안하였으며, Mogridge(1985)는 이를 실제로 통행시간의 측면에서 런던과 파리의 예를 들어 균형상태가 존재함을 증명해 보았다. 본 연구에서는 각 수단간의 균형상태가 존재하는가에 대한 실증적 예를 수도권을 대상으로 파악해보고 교통 정책적 관점에서 이를 어떻게 해석할 수 있는가에 대한 시사점을 알아보았다. 결론적으로 서울을 기점으로 거리별로 대중교통수단과 승용차의 통행시간 비율과 수단분담율을 분석한 결과 균형이론의 밑바탕이 되는 승용차 억제수요의 행태변화가 이론과 실제가 상이하여 현실에서는 Thomson의 균형이론이 성립하기 어려운 것으로 판명되었다.

균형 통행분포모형연구 (Equilibrium trip distribution model)

  • 임용택
    • 대한교통학회지
    • /
    • 제28권6호
    • /
    • pp.159-166
    • /
    • 2010
  • 통행분포(trip distribution)에서는 첫 단계인 통행발생(trip generation)에서 구해진 통행 유출량(trip production)과 통행 유입량(trip attraction)을 연결시키는 작업이 행해진다. 즉 하나의 존에서 유출되는 통행량을 다른 존에 분포시키는 과정이라 할 수 있다. 그런데, 통행분포모형에 사용되는 통행시간이나 비용 등의 통행저항들이 통행수요가 변함에 따라 함께 변함에도 불구하고 현재 사용하고 있는 중력모형에서는 이를 고려하지 못하는 한계를 갖고 있다. 즉, 목적지까지의 통행비용이 커지면 통행수요는 줄어들며, 반대로 통행비용이 적으면 통행수요가 커지는 것과 같은 관계가 존재하게 된다. 이런 측면에서 본 연구는 통행분포시 목적지간에 균형(equilibrium condition of trip distribution)이 존재함을 증명한다. 이를 위하여 대표적인 통행분포모형인 중력모형을 이용하여 통행분포시 균형조건을 유도하며, 이런 균형조건을 만족시키는 통행분포를 구하는 방법론을 제시한다. 또한, 본 연구에서 제시된 모형은 간단한 예제를 통하여 평가하며, 통행분포시 균형상태의 해가 도출됨을 확인한다.

순위차원라우팅을 사용한 완전 이진트리의 3차원 메쉬로의 링크 충돌 없는 임베딩 (Link-Disjoint Embedding of Complete Binary Trees into 3D-Meshes using Dimension-Ordered Routing)

  • 박상명;이상규;문봉희
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제27권2호
    • /
    • pp.169-176
    • /
    • 2000
  • 본 논문에서는 령크 충돌을 최소화 하는데 중점을 두고 순위차원 라우팅을 사용하여 완전이진트리를 3차원 메쉬로 임베딩하는 방법을 제안한다. 기존의 연구[14]에서는, 완전이진트리를 3차원 메쉬에 임베딩 할 때 순위차원 라우팅을 사용하는 경우 1, 2 차원에서 링크 충돌이 발생하였고, 순위차원 라우팅을 따르지 않는 경우 1차원에서만 링크 충돌이 존재하도록 하는 임베딩 방법을 보였었다. 이와 비교하여 본 논문에서는 순위차원 라우팅을 사용하고 링크 충돌이 존재하지 않는 임베딩 방법을 제안하며, 이 방법에 의해 임베딩을 수행한 결과, 임베딩을 위해 사용된 메쉬의 크기가 최적크기의 1.27 배를 넘지 않음을 증명한다.

  • PDF

구역전기사업자로 분리된 배전계통의 신뢰도 평가 (Reliability of Distribution System Divided into Community Energy Systems)

  • 배인수;김진오
    • 조명전기설비학회논문지
    • /
    • 제24권1호
    • /
    • pp.85-90
    • /
    • 2010
  • 본 논문은 기존 분산전원 신뢰도에 관한 연구를 기반으로, 여러 구역전기사업자로 인해 분산전원의 소유권과 수용가에 대한 전력공급 책임이 분리된 배전계통에 적용할 수 있는 신뢰도 해석기법을 제안한다. 구역전기사업자는 자신의 수용가에게 양질의 전력서비스를 제공할 의무가 있으므로, 계통사고시 자신의 분산전원 비상전력을 자신의 수용가에게 우선적으로 공급하는 비상대책을 선호한다. 기존 신뢰도 해석기법에서는 하나의 운영주체가 모든 전력원과 전력망을 관리하기 때문에, 여러 구역전기사업자가 존재하는 계통운영 상황에서 분산전원의 소유권을 별도로 고려하지 않는 해석결과는 실제 신뢰도 지수와 차이를 보일 수 있다. 본 논문의 사레연구에서는 RBTS 2번 모선에 2개의 구역전기사업자가 존재하는 경우를 모의하였으며, 기존 기법과 제안된 기법의 신뢰도 지수 결과를 비교하여 제안된 기법의 유효성을 증명하였다.

배양액 내에서 성숙한 생쥐 난자의 $Ca^{2+}$ Uptake (Calcium Uptake in Mouse Oocyte Matured in Vitro)

  • 배인하;장보영
    • Clinical and Experimental Reproductive Medicine
    • /
    • 제16권1호
    • /
    • pp.1-7
    • /
    • 1989
  • 배양중인 생쥐 난자의 성숙에 미치는 배양액 내 calcim의 영향을 알아보기 위하여 1.71mM $Ca^{2+}$을 처리한 배양액과 $Ca^{2+}$이 존재하지 않는 배양액에서 난자를 배양하여 불꽃 원자 흡수 분광 광도계를 이용하여 배양된 난자의 $Ca^{2+}$농도를 측정하였다. 1) $Ca^{2+}$처리한 배양액에서 배양된 cumulus-cell이 제거된 (denuded oocyte)난자들은 시간이 지남에 따라 $Ca^{2+}$농도가 높게 나타났고, 2) $Ca^{2+}$처리하지 않은 배양액에서는 denuded난자는 3시간째 배양될때 부터 $Ca^{2+}$양이 줄어 들었다. Cumulus-enclosed난자는 $Ca^{2+}$존재하에서는 GVBD가 일어났다고 생각되는 4시간까지 계속 증가를 보인 반면 $Ca^{2+}-free$에서는 배양되지 않은 난자와 거의 차이가 없게 나타났다. 3) 핵막붕괴가 일어난 후부터 15시간까지 배양시컸을 때에는 CEO와 denuded oocyte에서 공히 $Ca^{2+}$의 농도는 다시 증가된 상태로 계속 되었다. 이런 결과로 미루어 보아 난자 성숙시 부터 성숙과정이 끝날때가지 exteral $Ca^{2+}$이 요구되고 있음을 증명해 주고있다. 그러나 이러한 세포질내의 $Ca^{2+}$및 bound calcium이 난자 성숙시부터 어떤 역활을 하고 있는 기작에 대해서는 좀 더 연구가 있어야겠다.

  • PDF

게임 캐릭터의 전략적인 이동을 위한 상성 정보에 기반한 영향력 분포도 방법 (Influence Map Method based on Intransitive Relationship Information for Game Character's Strategic Movement)

  • 윤태복;이지형;최영미;주문원
    • 디지털콘텐츠학회 논문지
    • /
    • 제10권4호
    • /
    • pp.615-623
    • /
    • 2009
  • 게임에는 여러 가지의 유닛이 존재한다. 각각의 유닛들 사이에는 가위, 바위, 보와 같은 관계가 존재 한다. 이것을 유닛간의 상성이라고 부른다. 유닛 간의 상성은 다양한 선택의 기회를 보장해줌으로써, 심리전의 즐거움을 보장한다. 유닛간의 상성은 매우 복잡한 관계를 이루기 때문에 대부분의 게임인공지능들이 유닛간의 상성을 무시하고 있다. 본 논문에서는 유닛간의 상성을 수치화하는 방법과, 이를 이용하여 영향력 분포도를 변경하는 방법을 제안한다. 이처럼 변경된 영향력을 바탕으로 인공지능은 보다 전략적인 행동을 하게 된다. 전략적 이동을 통해 변경되는 영향력 분포도의 효용성을 증명하였다.

  • PDF

Growth of high quality InSb on InxAl1-xSb grading buffer on GaAs ($x=1{\rightarrow}0$)

  • 신상훈;송진동;한석희;김태근
    • 한국진공학회:학술대회논문집
    • /
    • 한국진공학회 2010년도 제39회 하계학술대회 초록집
    • /
    • pp.223-223
    • /
    • 2010
  • InSb 물질은 다른 III-V족 물질들과 비교해서 bandgap이 낮고 전자 이동도가 높아, 소자 구현 시 낮은 전압으로도 고속 동작 특성을 제어할 수 있다는 장점이 있다. 그러나 Si, GaAs 또는 InP 등 쉽게 구할 수 있는 기판과 격자 부정합이 커서 상기 기판에 성장시 많은 defect가 존재하는 단점이 있다. 그러므로 이를 상기 기판에 성장하는데 meta-morphic이라 불리는 성장 기술이 요구되는 어려움이 있다. 본 발표에서 Semi-insulating GaAs 기판위에 고품질의 InSb 박막을 성장하기 위해 grading buffer technique을 도입하며 이에 대한 여러 가지 비교실험과 함께 최적의 성장 방법과 기술에 대해 논의 한다. GaAs와 InSb 물질사이의 bandgap과 격자 부정합을 고려하여 AlSb 물질을 먼저 성장하면서 동시에 InxAl1-xSb로 변화를 주어 InSb 박막이 성장되도록 하였다. ($x=0{\rightarrow}1$). 성장 온도 변화 및 In과 Al의 조성비에 변화를 주어 grading 기법으로 성장하였고 상기 grading buffer위에 InSb 박막을 0.65um 성장하였다. $10um{\times}10um$ AFM 측정결과 2.2nm 정도의 표면 거칠기를 가지며 상온에서의 전자 이동도는 약 46, 300 cm2/Vs 이고 sheet electron density는 9.47(e11) /cm2의 결과를 확인하였다. 실험결과 InSb 박막을 올리는데 있어 가장 고려할 사항인 GaAs 기판과 InSb 박막 사이에 존재하는 격자 부정합을 어떻게 해결하는가에 대해서, 기존의 여러가지 방법과 비교해서 grading buffer 기술이 유효하다는 것을 증명하였다.

  • PDF