• 제목/요약/키워드: computational primitive

검색결과 57건 처리시간 0.029초

비밀분산 기법과 Subset Difference 기법을 이용한 브로드캐스트 암호시스템 (Broadcast Encryption System Using Secret Sharing and Subset Difference Methods)

  • 이재환;박종환
    • 방송공학회논문지
    • /
    • 제20권1호
    • /
    • pp.92-109
    • /
    • 2015
  • 브로드캐스트 암호시스템은 한명의 송신자가 다수의 수신자에게 메시지를 암호화하여 안전하게 전송하는 기법이다. 2001년 Naor, Naor, Lotspiech가 유사난수생성기와 Subset Difference(SD) 방식을 이용하여 제안한 브로드캐스트 암호시스템이 가장 효율적인 기법으로 알려지고 있다. 본 논문에서는 비밀분산(secret sharing) 기법과 SD 방식을 이용하여 새로운 브로드캐스트 암호시스템을 제안한다. 새로운 기법은 효율성 측면에서 전체 사용자 수 n명, 탈퇴자 수 r명에 대해 O(r) 전송량, O($log^2n$) 비밀키 저장량, O(1) 복호화 연산량을 제공한다. 기존 SD 기법이 복호화 시 O(log n)의 유사난수생성기 계산이 필요한데 비해, 새로운 기법은 복호화 계산량이 n과 r에 관계없다는 장점을 갖는다. 안전성 측면에서는 증명과정에서 나타나는 안전성 손실(security loss)을 비교할 때, 새로운 기법이 기존 SD 기법에 비해 약 O(n log n)정도 안전성 손실이 더 적다는 장점도 갖는다. 또한 이론적으로 본 논문의 결과는 Complete Subtree 방식처럼 정보 이론적으로 안전한 키 분배방식을 이용하면서도 SD 방식의 효과를 내는 것이 가능하다는 것을 보인다.

SPA 대응 기법을 적용한 이진체 위의 타원곡선 스칼라곱셈기의 하드웨어 구현 (Hardware Implementation of Elliptic Curve Scalar Multiplier over GF(2n) with Simple Power Analysis Countermeasure)

  • 김현익;정석원;윤중철
    • 대한전자공학회논문지SD
    • /
    • 제41권9호
    • /
    • pp.73-84
    • /
    • 2004
  • 본 논문에서는 하드웨어 상에 구현된 암호 프리미티브의 안전성을 위협할 수 있는 부채널 공격의 하나인 단순 전력 분석 (Simple Power Analysis)에 대응하는 알고리즘을 제안하고 이를 하드웨어로 구현하고자 한다. 제시하는 알고리즘은 기존에 알려진 대응 알고리즘보다 스칼라 곱셈 방법이 보다 효율적인 장점이 있다. 기존의 대응 알고리즘은 연산의 종속성 때문에 하드웨어의 장점인 병렬 처리 기법을 효율적으로 적용하기 어려운 단점이 존재한다. 이러한 단점을 보완코자 본 논문에서 제시하는 알고리즘은 동작 성능의 저하를 최소화하기 위해 역원 계산 시간 동안 곱셈 및 제곱 연산을 수행할 수 있도록 구성하였다. 또한 하드웨어 기술 언어인 VHDL(VHSIC Hardware Description Language)로 제안 알고리즘을 구현하여 성능 검증을 수행하였으며 이의 활용을 모색하였다. 하드웨어 합성은 Syplify pro7.0을 사용하였으며, 타겟 칩 Xillinx VirtexE XCV2000EFG1156을 대상으로 하였을 때 전체 등가 게이트는 60,608게이트, 최대 동작 주파수는 약 30Mhz로 산출되었다. 본 논문에서 제시한 스칼라 곱셈기는 전자 서명(Digital Signature), 암호화(Encryption) 및 복호화(Decryption), 키 교환(Key Exchange)등의 핵심 연산으로 사용될 수 있을 것으로 보이며, 자원 제약이 심한 Embedded-Micom 환경에 적용하였을 경우, 단순 전력 분석에 안전하면서 효율적인 연산 기능을 제공할 수 있을 것으로 보인다.

국가 슈퍼컴퓨팅 서비스 프레임워크의 설계 및 구현 (Design and Implementation of National Supercomputing Service Framework)

  • 유정록;변희정;김한기
    • 정보과학회 컴퓨팅의 실제 논문지
    • /
    • 제22권12호
    • /
    • pp.663-674
    • /
    • 2016
  • 기존의 슈퍼컴퓨팅 서비스는 사용자(연구자)가 쉘 터미널을 통해 로그인 서버에 접속하여 커맨드 라인에서 계산 작업을 수행하는 단순한 형태를 띠고 있으며, 이는 컴퓨팅 자원에 대한 접근성 및 활용성을 저해하는 주요 요소이다. 이러한 문제점을 해결하고, 슈퍼컴퓨팅 서비스의 다양성을 제공하기 위하여 본 논문에서는 국가 슈퍼컴퓨팅 서비스 프레임워크의 설계 및 구현에 대해 상세히 기술한다. 제안된 프레임워크는 사용자 관리 및 인증, 이기종 컴퓨팅자원 관리, HPC(High Performance Computing) 작업 관리 등의 기능에 대해 HTTP 방식의 RESTful OpenAPI들을 제공함으로써, 슈퍼컴퓨터 자원과 연계하여 새로운 서비스를 만들고자 하는 개발자들이 편리하게 원하는 서비스를 만들 수 있는 기능을 제공한다. 또한 다양한 이기종 클러스터 자원을 활용하여 HPC 작업을 수행할 수 있도록 플러그-인 기반 표준 인터페이스 및 확장 플러그-인(LoadLeveler, Open Grid Scheduler(OGS), TORQUE)을 제공한다. 아울러, 본 논문에서는 제안한 프레임워크의 유용성을 검증하기 위해, 고에너지 물리 분야의 Lattice-QCD 프로그램을 활용한 적용 사례를 기술한다.

굴곡 기반 형태 그래프를 이용한 모양 검색 (Shape Retrieval using Curvature-based Morphological Graphs)

  • 방난효;엄기현
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제32권5호
    • /
    • pp.498-508
    • /
    • 2005
  • 모양 데이타는 이미지가 나타내는 의미를 가장 잘 반영하는 데이타로서 이미지 검색에 중요한 정보로 사용된다 특히 구조적으로 표현된 모양 특징은 모양이 갖는 기초적 특성과 그들간의 관계 정보를 잘 나타내므로 폭넓게 연구되고 있다. 그러나 대개의 구조적 모양 특징들은 그래프나 트리와 같은 구조로 표현되므로 모양 데이타 검색에서 효율적인 검색 시간을 보장할 수 없는 문제를 지니고 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 모양의 윤곽선 정보를 기반으로한 굴곡 기반 형태 그래프를 생성하고 이를 일반화한 구조로부터 모양을 클러스터링할 수 있는 키를 설계한다. 제안한 굴곡 기반 형태 그래프는 모양이 가지고 있는 윤곽선 특성과 영역의 형태적 특성을 모두 가지고 있다. 모양 검색은 단계적으로 이루어진다. 클러스터링을 통해 검색 공간을 축소하고 외부 굴곡 특징을 이용한 굴곡의 패턴 매칭을 통해 종합적인 유사도가 결정된다. 다양한 실험을 통해 굴곡 기반 형태 그래프와 클러스터링을 통해 검색 공간과 비용이 줄어드는 것을 보여준다.

거리함수와 속력함수의 관계에서 거리함수의 상수항에 대한 학생들의 인식과 표현 (A Study of Students' Perception and Expression on the Constant of Distance Function in the Relationship between Distance Function and Speed Function)

  • 이동근
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제56권4호
    • /
    • pp.387-405
    • /
    • 2017
  • The purpose of this study is to investigate the change of students 'perception and expression about the motion of object following distance function $={x \atop 3}$ and distance function $y=\frac{x^3}{3}+3$ according to the necessity of research on students' perception and expression about integral constant. In this paper, we present the recognition and the expression of the difference of the constant in the relationship between the distance function and the speed function of the students, while examining the process of constructing the speed function and the inverse process of the distance function. This provides implications for the relationship between the derivative and the indefinite integral corresponding to the inverse process. In particular, in a teaching experiment, a constructive activity was performed to analyze the motion of two distance functions, where the student had a difference of the constant term. At this time, the students used the expression 'starting point' for the constants in the distance function, and the motion was interpreted by using the meaning. This can be seen as a unique 'students' mathematics' in the process of analyzing the motion of objects. These scenes, in introducing the notion of the relation between differential and indefinite integral, it is beyond the comprehension of the integral constant as a computational procedure, so that the learner can understand the meaning of the integral constant in relation to the motion of the object. It is expected that it will be a meaningful basic research on the relationship between differential and integral.

비대칭 1차원 5-이웃 선형 MLCA의 합성 (Synthesis Of Asymmetric One-Dimensional 5-Neighbor Linear MLCA)

  • 최언숙
    • 한국전자통신학회논문지
    • /
    • 제17권2호
    • /
    • pp.333-342
    • /
    • 2022
  • 셀룰라 오토마타(이하 CA)는 이산적이고 추상적인 계산 모델로 다양한 분야에서 적용되고 있다. 우수한 의사 난수열 생성기로 적용 가능한 CA는 최근에 암호 시스템의 기본 요소로 발전했다. CA 기반 스트림 암호에 대한 여러 연구가 수행되었으며 적절한 CA 규칙이 사용되는 경우 CA의 이웃의 반경이 증가될 때, 암호화 강도가 증가됨이 관찰되었다. 본 논문에서는 1차원 의사 난수열 생성기(PRNG)로 응용될 수 있는 CA 중 1차원 5-이웃 CA를 이웃의 연결 상태에 따라 분류하고, 특성다항식의 점화관계를 구한다. 또한 1차원 3-이웃 90/150 CA의 상태 전이행렬을 이용하여 이웃의 반경을 2로 증가시킨 비대칭 5-이웃 선형 MLCA를 합성 알고리즘을 제안한다.

Geometry 및 Topology측면에서 일관성을 유지한 방법을 이용한 연방과 지방정부의 공간데이터 융합 (Geometrically and Topographically Consistent Map Conflation for Federal and Local Governments)

  • 강호석
    • 대한지리학회지
    • /
    • 제39권5호
    • /
    • pp.804-818
    • /
    • 2004
  • 공간데이터자원이 많아 질수록 그들끼리 불일치가 일어날 확률은 높아지고 있다. 이러한 불일치는 같은 지역을 커버하는 같은 종류의 공간데이터사이에서도 일어날 수 있다. 그러므로, 이런 공간데이터를 효율적으로 연결시켜 Geometry 및 Topology측면에서 일관성을 지닌 새로운 공간데이터를 생성시키는 일의 중요성은 증가 할 것이다. 이러한 공간데이터중의 하나로서 미국 인구통계국의 TIGER파일을 예로 들 수 있다. 현재 인구통계국 지도들은 지방정부의 지도 레이어들과 공간적으로 일치 하지 않기 때문에 인구적, 경제적인 많은 유용한 정보가 지방정부의 레이어들과 연계되어 공간적으로 충분히 활용되어지고 있지 않고 있다. 그러므로, 인구통계국 지도의 위치정보는 좀 더 정확한 위치정보를 가지고 있는 지방정부의 레이어들과 융합되어 Geometry 및 Topology측면에서 새로운 정보로 대체되어져야 한다. 이 논문은 참고맵을 이용하여 Geometry 및 Topology측면에서 일관성을 지닌지도를 만들기 위한 개념적인 프레임과 두가지 맵모델을 제시한다. 첫번째 모델은 셀 모델인데 맵은 0셀, 1셀, 그리고 2셀로 구성되어진다. 두번째 모델은 수학적으로 다른 원형을 가진 물체는 지도 일반화후에도 유사성을 가지고 있다는 것이다. 새롭게 제시된 계층적인 맵 융합은 물리적, 수학적, 논리적 경계에 바탕을 두고 있고 복잡성과 계산적인 부담을 감소시킬 수 있다. 반복성을 가진 맵 융합 원리는 인구통계지도를 예로하여 형성되었다. 이것들은 속성 매치, 의미있는 노드발견, 지도학적인 0-cell 매치. 지도학적인 1-cell 매치, 그리고 맵 변형으로 구성된다.