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

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

표준 모델에서 안전한 Diffie-Hellman 키 교환 프로토콜 (A Diffie-Hellman Key Exchange Protocol in the Standard Model)

  • 정익래;권정옥;이동훈;홍도원
    • 한국정보과학회논문지:정보통신
    • /
    • 제35권6호
    • /
    • pp.465-473
    • /
    • 2008
  • MQV 프로토콜은 가장 효율적인 Diffie-Hellman 키 교환 프로토콜로 여겨지고 있으며, 미국 NSA를 비롯한 많은 기관들에서 표준으로 채택되었다. Crypto 2005에서 Hugo Krawczyk는 MQV의 약점들을 보였으며, MQV를 변형한 HMQV를 제안했다. HMQV는 MQV와 비슷한 계산량을 요구하는 반면 다양한 안전성을 만족하며, 랜덤 오라클 모델에서 안전성 증명이 가능하다. 이 논문에서 HMQV가 제공하는 다양한 안전성을 만족하면서도 랜덤 오라클을 사용하지 않는 Diffie-Hellman 키 교환 프로토콜을 제안한다. 지금까지는 랜덤 오라클을 사용하지 않으면서 HMQV가 제공하는 다양한 안전성을 보장하는 Diffie-Hellman 키 교환 프로토콜은 존재하지 않았다.

이진 상보형 수열 쌍을 대역확산 부호로 사용하고 16-QAM 변조 기법을 이용한 MC-CDMA 신호의 전력 포락선 특성 분석 (Crest Factors of 16-QAM Modulated Multicode MC-CDMA Signals Employing Complementary Sequences)

  • 최병조
    • 한국통신학회논문지
    • /
    • 제31권9C호
    • /
    • pp.817-824
    • /
    • 2006
  • 본 논문은 이진(binary) 상보형 수열 쌍(complementary pair)을 대역확산 부호로 사용하여 16-QAM 변조된 2개의 심볼을 동시에 전송하는 MC-CDMA(Multi-Carrier Code Division Multiple Access) 신호의 전력 포락선 특성 분석에 대한 것이다. 전력 포락선 분석을 통해 그 특성을 결정짓는 16-QAM 심볼 조합의 관계를 파라미터로 도출하고, 256개의 가능한 전송 심볼 조합 가운데 오직 60개의 서로 다른 전력 포락선이 존재함을 보였다. 또한 복소 평면에서 직관적 등가 변환 관계를 고찰하고 60개의 전력 포락선이 결국 16개의 서로 다른 전력 포락선 변이도(crest factor)를 유발함을 확인하였다. 동일한 변조 기법을 채택한 단일 반송파 신호와 비교하기 위하여 전력 포락선 변이도를 두 전송 심볼의 조합에 의해 발생하는 평균 전력에 따라 분류하였을 때, 전송 심볼의 모든 조합에 대하여 전력 포락선의 변이도가 3dB 이하임을 증명하였다.

플래시 메모리를 이용한 다중 버전 기반의 동시성 제어 기법의 성능 평가 (Performance Evaluation of Multi-Version Concurrency Control using a Flash Memory)

  • 오주형;김재명;나갑주;이상원
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (C)
    • /
    • pp.130-133
    • /
    • 2007
  • 데이터베이스 시스템은 전통적으로 트랜잭션의 동시 접근 시 발생할 수 있는 문제들을 해결하고 동시성 향상을 위해 다양한 연구를 진행해 왔다. 다중 버전 기반의 동시성 제어 기법은 데이터 레코드에 대한 여러 버전을 전용 공간에 유지하고 이것을 통해 트랜잭션들의 동시 접근 시 블로킹 없이 원하는 데이터를 읽고 쓸 수 있게 된다. 그러나 데이터 레코드가 포함된 데이터 블록에 대해 여러 개의 트랜잭션이 동시에 데이터를 덮어쓰기 했을 경우 다수의 버전이 생성된다. 그래서 트랜잭션 별로 적합한 데이터 버전을 찾기 위해 버전들이 저장되어 있는 전용공간을 랜덤하게 검색해 데이터 블록을 찾아내야 하므로 많은 시간이 소모된다. 따라서 다중 버전 읽기의 부하를 줄이기 위해 차세대 저장 매체로 부상하고 있는 플래시 메모리를 이용할 경우 랜덤 읽기에 의한 데이터베이스 시스템의 성능저하를 줄일 수 있다. 플래시 메모리는 디스크와 달리 기계적인 파트가 존재하지 않기 때문에 저장된 모든 블록에 대해 빠른 랜덤 읽기를 가능하게 한다. 본 논문에서는 플래시 메모리를 다중 버전 기반의 동시성 기법에 적용했을 경우의 성능 평가를 통해 하드 디스크에 비해 3.5배 이상의 높은 성능을 보임을 증명한다.

  • PDF

RFID 시스템을 이용한 거리 비종속 위치추정기법 -도서위치추정을 중심으로- (A Range-Free Localization Method using an RFID System -Applied to a Library Book Location System-)

  • 최정욱;오동익
    • 한국산학기술학회논문지
    • /
    • 제11권2호
    • /
    • pp.559-569
    • /
    • 2010
  • 본 논문에서는 RFID 시스템을 기반으로 거리 비종속(range-free) 방식의 위치추정기법을 제안한다. 이 기법에서는 위치가 알려져 있는 참조태그를 먼저 인식한 후, 함께 인식되는 대상태그들이 어떤 참조태그 주변에 존재하는지를 파악할 수 있도록 하는데, 이때 대상태그의 위치를 참조태그와의 관계(근접여부)로 표현할 수 있게 하여 위치를 추정한다. 이를 위해 RFID 시스템에서 인식 빈도에 따라 거리를 추정할 수 있도록 에이징 카운터(Aging Counter)를 이용한다. 제안하는 위치추정기법의 유효성을 증명하기위해 본 논문에서 개발한 기법을 도서관에서 사용할 수 있는 도서위치추정 시스템과 연계하여 설명하도록 한다.

네트워크 이동성 지원을 위한 인증된 경로 최적화(ATRO) 프로토콜 (Authenticated Route Optimization (ATRO) Protocol for Network Mobility Support)

  • 구중숙;김진근;박종혁;구중두;이기성
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2007년도 춘계학술발표논문집
    • /
    • pp.203-207
    • /
    • 2007
  • NEMO 기본 지원 (NEMO-BS, NEMO Basic Support) 프로토콜에서 MNN(Mobile Network Node)가 CN(Correspondent Node) 과 통신을 하기 위해서는 항상 MR(Mobile Router)과 HA(Home Agent) 사이의 양방향 터널을 이용해야 한다. 그러나 NEMO-BS 방식은 노드 간 데이터 전송 지연과 부분 구간에 대한 공격 가능성이 존재한다. 따라서 본 논문에서는 NEMO를 위한 인증된 경로 최적화(ATRO) 프로토콜을 제안한다. MR은 홈 링크로부터 멀어졌다고 판단되면 MNN으로부터 위임 권한을 얻기 위해 권한 위임 프로토콜을 수행한다. 그런 후에 MR과 CN은 공개키 암호 방식을 이용하여 자신의 의탁주소(CoA, Care-of Address)를 MNN의 홈 주소(HoA, Home-of Address)와 매핑하기 위한 등록 과정을 수행한다. 이때 각 노드의 주소 소유권 증명을 위해 암호학적으로 생성한 주소(CGA, Cryptographically Generated Address)를 이용한다. 성능분석에서는 구간별 안전성과 종단간 패킷 전송 지연 시간을 통해 프로토콜을 분석한다.

  • PDF

900 MHz 대역 고이득 원형 슬릿 안테나의 설계 (Design of a High-Gain Circular-Slit Antenna at 900 MHz)

  • 최영석;조춘식
    • 한국위성정보통신학회논문지
    • /
    • 제12권1호
    • /
    • pp.72-75
    • /
    • 2017
  • 본 논문은 소형화와 고이득을 위하여 패치 안테나에 원형 슬릿을 구현하였으며 900 MHz 대역에서 동작이 되도록 설계하였다. 사각형 모양의 패치형태를 변형하여 안테나 크기를 일차적으로 줄였으며 나아가 패치 안에 원형 슬릿을 추가하여 추가적으로 안테나의 크기를 감소시켰다. 원형슬릿의 개수와 반지름을 설계 변수로 설정하여 원하는 대역에서 반사손실을 약 -30 dB까지 되도록 Tuning 하였으며 방사패턴의 최대 이득도 약 4 dBi에 이르도록 안테나의 설계를 수행하였다. 원형슬릿이 존재하지 않는 경우 대비 약 20 MHz 정도의 공진 주파수 하향천이를 구현하여 본 논문에서 설계한 안테나의 소형화가 달성되었음을 증명하였다.

민주주의와 인권 그리고 기록물의 역할과 기능 (Democracy, Human Rights and the Function of Archives)

  • 김정하
    • 한국기록관리학회지
    • /
    • 제9권2호
    • /
    • pp.41-58
    • /
    • 2009
  • 역사적으로 권력과 기록물의 관계는 불가분의 관계이다. 기록물은 권력행위의 기록된 흔적이며 권력의 의지는 기록물의 존재에 상당한 영향을 미친다. 민주주의 사회에서 권력은 자신의 행위를 증거하는 기록물을 통해 국민에게 봉사하며 동시에 자신의 투명성을 증명한다. 하지만 그 반대의 경우 권력은 국민을 탄압하고 불행으로 이끈다. 이처럼 기록물은 민주주의의 핵심인 권력의 균형을 위해서도 매우 중요한 역할을 수행한다. 기록물의 상징성과 역할을 고려할 때, 이들에 대한 합리적이고 올바른 관리는 궁극적으로 국민의 권리보호에 직결된다.

물리적/인지적 사용성을 고려한 모바일 기기 QWERTY 키패드 디자인 고려 요소 (Evaluating design elements of Mobile devices with QWERTY keypad to guarantee physical and cognitive usability)

  • 송치원;임민택;김훈
    • 한국HCI학회:학술대회논문집
    • /
    • 한국HCI학회 2007년도 학술대회 2부
    • /
    • pp.333-338
    • /
    • 2007
  • 모바일 기기의 디자인은 제약적인 물리적 조건하에서 이루어지기 때문에, 사용자는 제품을 손으로 만지는 순간부터 제품 혹은 디자인의 물리적 사용성을 평가하게 된다. 근래 사용자들이 모바일를 장시간, 밀착해서 소지/사용하는 행태를 볼 때, 사용 초기에는 물리적 사용성 위주로 제품 사용성을 평가하고 이런 평가 결과는 사용 후반 까지 영향을 미친다. 이런 물리적 사용성에 관해서는 전 연구를 통해 제품 제품 개발 과정에서 모바일 기기의 물리적 사용성 문제 (PUI)가 발생하는 영역과 특성을 정의하였다. 또한, 물리적 사용성 문제가 개발 과정상에서 체크되고 개선 / 반영 하기 위한 하였다. 본 사례 연구에서는 QWERTY 키 패드 모바일 기기를 디자인 하기 위해 물리적 사용성 고려 요소를 평가 하고, 사용자의 인지적 사용성에도 영향을 미치는 물리적 요소를 평가하는 과정을 소개한다. 제품 디자인 전제 벤치마킹/ 컨셉 회의는 의례적으로 이루어 지지만, 사용성 관점에서 디자인시 고려할 요소를 평가하는 과정을 논의하고자 한다. 본 사례 연구 결과 본 연구를 통해 사용자가 느끼는 컨텐츠 만족도를 제외한 모바일 기기의 만족도는 다분히 물리적 사용성 부분에 존재하며 제품 디자인시 물리적 사용성 고려 요소를 조사하고 반영해야 한다는 필수성을 증명하고 있다.

  • PDF

$0.18{\mu}m$ CMOS Technology에 인터커넥트 라인에 의한 지연시간의 게이트 폭에 대한 의존성 분석 (Characterization of the Dependence of Interconnect Line-Induced Delay Time on Gate Width in ${\mu}m$ CMOS Technology)

  • 장명준;이희덕
    • 대한전자공학회논문지SD
    • /
    • 제37권11호
    • /
    • pp.1-8
    • /
    • 2000
  • 본 논문에서는 인터커넥트 라인을 구동하는 CMOS소자의 게이트 폭의 변화에 따라 소자 및 인터커넥트라인에 의한 RC 지연시간이 어떤 특성을 보이는지에 대하여 분석하였다. 인터커넥트 라인의 캐패시턴스 성분만이 주로 나타나는 구조에서는 MOSFET의 크기가 커질수록 전체 지연시간이 감소하는 특성을 보였다. 반면에 인터커넥트 라인의 저항 및 캐패시턴스 성분이 대등하게 지연시간에 영향을 미치는 구조에서는 전체회로의 지연시간이 최소가 되는 MOSFET 크기가 존재함을 수식적으로 제안하고 실험치와 비교하여 잘맞음을 증명하였다.

  • PDF

제어불가능 불안정 선형화를 가지는 비선형 시스템에 대한 다이나믹 안정화 (Dynamic Stabilization for a Nonlinear System with Uncontrollable Unstable Linearization)

  • 서상보;심형보;서진헌
    • 전자공학회논문지SC
    • /
    • 제46권4호
    • /
    • pp.1-6
    • /
    • 2009
  • 본 논문에서 우리는 비선형 시스템에 대한 다이나믹 스무스 상태 궤환 안정화기를 설계한다. 이 시스템은 우반평면에 고유값이 존재함으로 제어불가능 모드를 가질 수 있다. 이 시스템을 지수적으로 안정화하기 위해서 우리는 추가 다이나믹스를 고려한 다이나믹 제어기를 제안한다. 추가 다이나믹스의 설계 후에 다이나믹 차수 보정법과 역진기법을 이용하여 안정화기와 미분 가능, positive definite, proper인 리아푸노프 함수를 설계한다. 설계된 제어기의 수렴성은 차수 지표자라는 새로운 개념의 도입으로 증명될 것이다.