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

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

확장 재생성된 부울 함수의 성질 (On recursively extended Boolean functions)

  • 지성택;이상진;김광조
    • 정보보호학회논문지
    • /
    • 제5권1호
    • /
    • pp.3-16
    • /
    • 1995
  • 본 논문에서는 저차의 부울 함수를 연접시켜 고차의 부울 함수를 생성하는 방법을 소개하고, 이러한 방법으로 생성된 함수의 균등성, 비선형성, 무상관도 등의 제반 성질을 새롭게 규명한다. 또한, 두 함수 사이의 'uncorrelated'개념을 확장하여 Differential Cryptanalysis에 강한 S-box가 가져야 할 필요 조건으로 Strict Uncorrelated Criterion(SUC) 개념을 정의하고, 이를 만족하는 부울 함수를 제시하여 그 존재성을 밝히고 특히, 특수한 형태의 연접으로 생성한 함수가 이를 유지함을 보인다. 그리고, Walsh-Hadamard 변환을 이용하여 부울 함수의 상관관계 특성을 조사하여 이를 연접 방식으로 확장 재생성한 부울 함수에 적용, 이들 함수의 상관관계 특성을 조사하여 이를 연접 방식으로 확장 재생성한 부울 함수에 적용, 이들 함수의 상관관계 특성을 규명한다. 더불어 bent 함수들의 연접으로 홀수차 벡터공간 위에서 semi-bent 함수를 정의하고 이 함수에 대한 상관관계 특성과 비선형치를 규명함과 동시에 SUC을 만족함을 증명하며 연접 방식에 의해서 확장 재생성된 다른 형태의 부울 함수와 비교하여 semi-bent 함수의 암호학적 우수성을 입증한다.

모바일 디바이스에서의 전자금융사고 예방을 위한 사용자입력패턴분석 기반 이상증후 탐지 방법 (Novel Anomaly Detection Method for Proactive Prevention from a Mobile E-finance Accident with User"s Input Pattern Analysis)

  • 서호진;김휘강
    • 정보보호학회논문지
    • /
    • 제21권4호
    • /
    • pp.47-60
    • /
    • 2011
  • 모바일 디바이스(mobile device)를 통한 전자금융거래가 급속하게 증가하면서 이를 대상으로 한 공격시도도 점차 늘어나고 있다. 다양한 보안수단들이 적용되고 있지만, 모바일뱅킹(mobile banking)에 사용되는 디바이스에 원격으로 침입을 한 뒤 공격하는 방법 및 디바이스를 물리적으로 획득하여 전자금융사고를 유발할 수 있는 위험이 여전히 존재한다. 본 논문에서는 모바일 디바이스에서의 전자금융사고 예방 대책으로 개인별 입력패턴을 분석하여 본인에 의한 전자금융거래 시도인지 유무를 판단하여 선제적으로 대응할 수 있는 방안을 제안한다. 화면 터치(touch)를 통해 입력하는 모바일 디바이스의 특성상 터치 시간이나 압력 등의 패턴(pattern)은 개인별로 차이가 있으므로 이를 모니터링(monitoring) 함으로써 정상적인 모바일뱅킹 고객과 공격자를 구분할 수 있다. 본 논문에서 제시된 방안의 효용성을 증명하기 위해 모바일 디바이스에서의 개인별 입력패턴 정보를 실제 수집하여 실험하였고, 실험결과 입력패턴 정보 분석을 통해 전자금융사고를 효과적으로 예방할 수 있음을 확인하였다. 또한, 본 논문에서는 이러한 입력패턴 정보의 모니터링을 이용하여 불법적인 전자금융거래에 실시간으로 대응하는 방안도 제안한다.

재식별 시간에 기반한 k-익명성 프라이버시 모델에서의 k값에 대한 연구 (Analysis of k Value from k-anonymity Model Based on Re-identification Time)

  • 김채운;오준형;이경호
    • 한국빅데이터학회지
    • /
    • 제5권2호
    • /
    • pp.43-52
    • /
    • 2020
  • 빅데이터 활용 기술의 발전으로 데이터의 저장 및 공유가 늘어나면서 그에 따른 프라이버시 침해가 일어나게 되었다. 이 문제를 해결하기 위해 비식별 기술이 도입되었지만 비식별된 데이터에 대해서도 재식별이 가능하다는 것이 여러 차례 증명되었다. 재식별 가능성이 존재하기 때문에 완전히 안전할 수 없지만 그럼에도 불구하고 충분한 비식별처리가 이루어져야 하는데, 현재 법령이나 규제는 어느 정도로 비식별 처리를 해야 하는지 정량적으로 규정하고 있지 않다. 본 논문에서는 재식별 작업을 할 때 소요되는 시간을 고려하여 적절한 비식별 기준을 제시하려고 한다. 다양한 비식별 평가 모델 중에서 k-익명성 모델에 대해 집중적으로 연구하였으며 어느 정도의 k값이 적절한 지 판단하였다. 본 연구의 결과를 일반화시킬 수 있다면 각종 법률 및 규제에서 적절한 비식별 강도를 규정하는 데 사용할 수 있을 것이다.

소액보험의 수요: 건강보험을 중심으로 (The Demand of Microinsurance: a Case of Health Insurance)

  • 홍지민
    • 한국산학기술학회논문지
    • /
    • 제21권12호
    • /
    • pp.469-474
    • /
    • 2020
  • 본 연구는 기존의 연구가 설명하지 못하는 저소득계층의 낮은 수요, 위험회피성향이 높을수록 낮은 수요를 보이는 점과 같은 소액보험의 특성을 건강보험에 관한 이론모형을 바탕으로 설명하고 있다. 특히 이러한 특성은 소득이 낮을 수록, 위험회피성향이 높을수록 보험 수요가 높다는 기존의 보험 이론과 배치되는 측면이 존재한다. 본 연구는 기존 1기간 모형에 비해 본 연구는 2기간 모형을 가정하고 있다. 그 결과 첫째, 기존 1기간 모형 하에서와 달리 소득의 감소가 언제나 질병 예방의 노력을 감소시킨다는 것을 보이고 있다. 둘째, 계리적으로 공정한 보험료 하에서 개인이 전부보험을 선택한다는 기존 연구결과와는 달리 소득이 낮은 경우 보험 수요가 낮아질 수 있다는 것을 보이고 있다. 셋째, 본 연구는 미래에 대한 전망이 개선될수록 보험 수요가 낮아질 수 있으며, 넷째, 위험회피성향이 증가할수록 보험수요가 증가해야 한다는 기존 연구결과와는 달리, 보험자에 대한 신뢰 부족 및 파산 우려가 큰 경우 위험회피성향이 증가할수록 보험수요가 오히려 낮아질 수 있다는 것을 이론적으로 증명하고 있다.

연속적인 질의에서 사용자의 이동 경로를 보호할 수 있는 효율적인 k-ATY 기법 (Efficient k-ATY Method to Protect the User's Trajectory in Continuous Queries)

  • 송두희
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제10권8호
    • /
    • pp.231-234
    • /
    • 2021
  • 위치를 이용한 애플리케이션이 증가함에 따라 사용자의 위치 정보 및 이동 패턴의 노출 등 다양한 문제점들이 야기되고 있다. 이러한 문제점을 해결하기 위하여 사용자의 위치를 보호하기 위한 다양한 연구들이 진행되고 있다. 사용자의 위치 정보가 노출되는 근본적인 이유는 사용자가 서비스 제공자(서버)에게 자신의 위치 정보를 제공해야만 서비스를 제공받기 때문이다. 이러한 문제를 개선하기 위하여 클로킹(cloaking) 영역을 생성하거나 자신의 주변에 더미(dummy; 가상의 사용자)를 생성하는 연구 등이 존재한다. 그러나 사용자가 주기적으로 서버에게 질의를 요청할 경우 사용자의 시간대별 이동 경로가 노출될 수 있다. 본 논문에서는 이러한 문제점을 개선하고자 사용자가 연속적인 질의를 요청하더라도 이동 경로의 노출 확률을 개선할 수 있는 k-Anonymity Trajectory(k-ATY) 기법을 제안한다. 실험 결과를 통하여 제안 기법의 우수성을 증명했다.

소프트웨어 정의 라디오를 활용한 초소형위성용 선박정보수집장치의 수신시험 (Utilizing Software-Defined Radio, Reception Test of AIS Payload Used in a Cube-Satellite)

  • 김신형;이창현;김건우;조동현
    • 우주기술과 응용
    • /
    • 제2권2호
    • /
    • pp.121-136
    • /
    • 2022
  • 선박 통신에 있어서 선박자동식별시스템(automatic identification system)은 연안 해역의 선박 운항 모니터링, 선박 간의 항해 안전을 위한 정보 교환뿐만 아니라 해상관제 수단에도 필요하다. 그러나 이는 대략 160 MHz의 very high frequency (VHF) 대역을 사용함과 동시에 지구의 곡률로 인해 통신 거리의 한계가 존재한다. 이를 인공위성을 통해 해결하고 있지만, 저궤도의 초소형 위성에 대해서는 아직 많은 작업이 이루어지지 않았다. 본 논문에서는 소프트웨어 정의 라디오(SDR)를 활용하여 초소형위성용 선박정보수집장치의 수신시험을 증명하였다. R820T2 SDR을 활용하여 부산항에 정박해 있는 선박으로부터 AIS(automatic identification system) 데이터를 수집하였고, Adalm-Pluto와 매트랩 시뮬링크를 활용하여 이를 송신할 수 있는 환경을 구축하였다. 또한 감쇠기를 활용하여 위성까지 신호세기가 약해지는 과정을 모사하였다. 일련의 과정을 통해 AIS 탑재체에서 AIS 데이터의 수신 성공 여부를 시연하였다.

안전한 Lora 네트워크를 위한 블록체인(A-PBFT) 기반 인증 기법 (Blockchain (A-PBFT) Based Authentication Method for Secure Lora Network)

  • 김상근
    • 산업융합연구
    • /
    • 제20권10호
    • /
    • pp.17-24
    • /
    • 2022
  • 장거리 무선 표준 LPWAN 표준의 비 대역망 기술인 Lora는 내부 단말 인증 및 무결성 검증에 ABP, OTTA 방식과 AES-128 기반 암호 알고리즘(공유키)을 사용한다. Lora는 최근 펌웨어 변조 취약점과 공유키 방식의 암호 알고리즘 구조상 MITM 공격 등에 방어가 어려운 문제가 존재한다. 본 연구는 Lora 네트워크에 안전성 강화를 위해 블록체인을 합의 알고리즘(PBFT)을 적용한다. GPS 모듈을 활용하여 노드 그룹을 검색하는 방식으로 인증과 PBFT의 블록체인 생성과정을 수행한다. 성능분석 결과, 새로운 Lora 신뢰 네트워크를 구축하고 합의 알고리즘의 지연 시간이 개선했음을 증명하였다. 본 연구는 4차 산업 융합연구로써 향후 Lora 장치의 보안 기술 개선에 도움이 되고자 한다.

대체불가능 토큰을 생성할 때 어떻게 예술가의 신원을 증명할까? (How to Prove the Identity of Artist When Creating Non-fungible Tokens)

  • 김태경;양지연
    • 문화기술의 융합
    • /
    • 제8권5호
    • /
    • pp.669-676
    • /
    • 2022
  • 대체불가능 토큰(non-fungible token, NFT)은 제작 이후의 내역을 신뢰성 있게 관리할 수 있다는 장점이 있으나 NFT의 창작자를 직접적으로 보호하기 어렵다는 문제가 있다. 창작자의 고유한 아이디어는 어떻게 보호할 수 있을까? 디지털 자산의 가치를 높이기 위한 NFT 활용은 증가하고 있으나 창작자의 동의 없이 NFT가 생성되고 판매되는 문제 또한 늘어나고 있다. 기존의 창작자 보호 방법으로 전통적 인증 시스템을 사용하는 방법과 소셜 네트워크를 사용하는 방법이 제안되었으나 각각의 한계점이 존재한다. 본 연구에서는 새롭게 정체성 토큰(identity token)을활용하는 방법을 제안하여 기존의 한계점을 보완하고자 한다. 정체성 토큰을 사용하여 공신력을 높이고 법적 분쟁에 대응하여 실제 창작물의 귀속문제를 해결함으로써 창작물 NFT의 거래를 활성화할 수 있을 것으로 기대한다.

기록학과 읽기 '아카이브에서 기록읽기'라는 사건을 중심으로 (Archives and Reading)

  • 이영남
    • 기록학연구
    • /
    • 제75호
    • /
    • pp.249-297
    • /
    • 2023
  • 아카이브는 시민들이 아카이브 안에서 기록을 읽을 수 있는 기회를 제공해야 한다. 그런데 이상하지 않은가. 당연한 말이기도 하지만, 열람을 통해 이미 수행하고 있기 때문이다. 그러나 <아카이브에서 기록 읽기>를 탐색하는 이 글은, 열람이 오히려 아카이브에서 다양하게 추진할 수 있는 기록읽기를 방해한다고 보고 있다. 그래서 이 글에서는 아카이브에서 기록읽기를 새로운 각도에서 볼 것을 주장하고 있다. 그 대안적 논의로 제시한 것은 <이야기 형식의 기록읽기>이다. 이 글에서는 기록읽기에 적합한 이야기 형식을 찾기 위해, 시어터(theater)를 모티브로 삼았다. 시어터는 "공연, 동시에 공연을 하는 장소"의 뜻이다. 시어터에 주목하는 데에는 이유가 있다. 그것은 아카이브도 이야기 작업에 참여할 수 있다는 것을 증명할 필요가 있기 때문이다. 아카이브는 자체적으로 보유하고 있는 기록을 이용해 이야기 실천을 할 수 있다. 이때 중요한 것은 기록이다. '기록을 기반으로 이야기 작업을 할 수 있다'는 것, 이것이 다른 분야에서 할 수 없는 아카이브만의 특이성이기 때문이다. 그렇다면, 아카이브도 자신의 고유한 이야기 실천방안을 가지고 사회 곳곳에서 전개되는 이야기 실천에 합류할 수 있을 것이다. 한편, 이야기 형식의 기록읽기는 비단 이야기 작업의 효과만 내지는 않을 것이다. 아카이브의 본령인 기록이라는 이 존재에 대해서도, 그것이 얼마나 가치가 있는지 알려줄 것이다. 이야기 작업은 사람들이 아카이브에서 보유하고 있는 기록을 그들의 삶으로 수용하여 체화할 수 있는 기회가 될 것이다.

폴리아크릴로나이트릴/리그닌 복합소재로부터 생성된 탄소 필름의 전기적 성질 및 흡착 성능 (Preparation of Carbon Films from Polyacrylonitrile@Lignin Composites, and Their Electrical Properties and Adsorption Behavior)

  • 배준원
    • 공업화학
    • /
    • 제34권2호
    • /
    • pp.106-110
    • /
    • 2023
  • 리그닌(lignin)은 고분자와 혼합될 수 있고 탄화도 가능하므로 효용성이 크다. 본 실험에서는, 탄화에 유리한 고분자인 폴리아크릴로나이트릴(polyacrylonitrile, PAN)과 리그닌을 혼합하여 탄소 전구체(precursor)로 제조하고, 탄화(carbonization)하여 안정한 탄소 필름이 제어된 탄화 과정을 통해 제조되었다. 얻어진 탄화 소재의 형태적, 전기적 특성들이 분석되었으며, 흡착 성능이 실험적으로 제시되었다. 탄소 전구체 복합소재의 형성은 적외선 분광기(Fourier-transform infrared, FT-IR)를 통해 확인하였고, 생성된 탄소 필름의 외형적 특성은 주사전자현미경(scanning electron microscope, SEM)을 이용하여 고찰하였다. 이를 통해 전구체 필름의 구조적 안정성이 탄화 이후에도 유지됨을 확인하였으며, 필름 내부에 존재하는 리그닌의 흔적도 고찰할 수 있었다. 탄소 필름의 미세 구조는 라만(Raman) 분광기를 통해 분석하였으며, 표면적 및 기공 구조는 BET (Brunauer-Emmett-Teller) 법으로 측정하여, 비교적 균일한 기공이 형성됨을 확인하였다. 탄소 시료의 전기적 특성도 고찰하여, 흡착 소재로서 사용 가능함을 확인하였고, 흡착(adsorption) 테스트를 통해 금속 양이온을 효율적으로 제거할 수 있음을 증명하였다. 본 연구는 해당 분야 향후 연구에 중요한 정보를 제공할 것이다.