KR102284877B1 - 효율적인 교집합 연산을 위한 함수 암호 기술 - Google Patents

효율적인 교집합 연산을 위한 함수 암호 기술 Download PDF

Info

Publication number
KR102284877B1
KR102284877B1 KR1020200174799A KR20200174799A KR102284877B1 KR 102284877 B1 KR102284877 B1 KR 102284877B1 KR 1020200174799 A KR1020200174799 A KR 1020200174799A KR 20200174799 A KR20200174799 A KR 20200174799A KR 102284877 B1 KR102284877 B1 KR 102284877B1
Authority
KR
South Korea
Prior art keywords
equation
data set
user
key
ciphertext
Prior art date
Application number
KR1020200174799A
Other languages
English (en)
Inventor
이광수
Original Assignee
세종대학교산학협력단
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 세종대학교산학협력단 filed Critical 세종대학교산학협력단
Priority to KR1020200174799A priority Critical patent/KR102284877B1/ko
Application granted granted Critical
Publication of KR102284877B1 publication Critical patent/KR102284877B1/ko

Links

Images

Classifications

    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/08Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
    • H04L9/0816Key establishment, i.e. cryptographic processes or cryptographic protocols whereby a shared secret becomes available to two or more parties, for subsequent use
    • H04L9/0819Key transport or distribution, i.e. key establishment techniques where one party creates or otherwise obtains a secret value, and securely transfers it to the other(s)
    • H04L9/0822Key transport or distribution, i.e. key establishment techniques where one party creates or otherwise obtains a secret value, and securely transfers it to the other(s) using key encryption key
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F17/00Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10Complex mathematical operations
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/06Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols the encryption apparatus using shift registers or memories for block-wise or stream coding, e.g. DES systems or RC4; Hash functions; Pseudorandom sequence generators
    • H04L9/0618Block ciphers, i.e. encrypting groups of characters of a plain text message using fixed encryption transformation
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L2209/00Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
    • H04L2209/04Masking or blinding
    • H04L2209/046Masking or blinding of operations, operands or results of the operations

Abstract

효율적인 교집합 연산을 위한 함수 암호 기술이 개시된다. 일 실시예에 따른 방법은, 사전 정의된 정수 집합에서 임의의 정수를 선택하는 단계; 및 상기 임의의 정수, 마스터 키, 제1 사용자에 대한 제1 사용자 식별 정보 및 제2 사용자에 대한 제2 사용자 식별 정보에 기초하여, 상기 제1 사용자에 대한 제1 사용자 비밀키를 이용하여 암호화된 제1 데이터 집합과 상기 제2 사용자에 대한 제2 사용자 비밀키를 이용하여 암호화된 제2 데이터 집합 사이의 교집합을 생성하기 위해 이용될 함수키를 생성하는 단계를 포함를 포함한다.

Description

효율적인 교집합 연산을 위한 함수 암호 기술{EFFICIENT FUNCTIONAL ENCRYPTION FOR SET INTERSECTION}
본 발명의 실시예들은 함수 암호(functional encryption) 기술과 관련된다.
함수 암호(Functional Encryption, FE)는 암호화된 상태에서 연산을 수행하는 암호 기술로, 평문에 대한 암호문과 함수에 대한 함수키를 이용하여 복호화하면 함수 연산의 결과를 평문 형태로 출력한다. 임의의 함수에 대해 동작하는 함수 암호 기술은 구현이 매우 비효율적이기 때문에, 내적 연산 등 특정 함수에 대해서 효율적으로 연산 가능한 함수 암호 기술들이 제안되어 왔다.
한편, 교집합 연산을 지원하는 종래 함수 암호 기술(Functional Encryption for Set Intersection, FE-SI)은 아래와 같은 문제점들이 존재한다.
1. 시스템을 셋업(setup)하는 과정에서 연산을 수행하는 사용자가 고정된다. 즉, 사용자가 n명인 경우, 시스템 셋업(set up)에서 오직 고정된 n명의 사용자에 대한 비밀키와 시스템 파라미터가 발급되며, 새로운 사용자가 추가되는 경우에는 전체 시스템을 다시 셋업해야 한다.
2. 시스템 셋업에 참여한 n명의 사용자 전체가 연산에 참여해야만 하며, 그 중 일부 사용자들의 데이터 집합에 대한 교집합 연산은 수행할 수 없다.
3. 교집합 연산을 수행하기 위한 비밀 정보가 존재하지 않으며, 따라서 누구나 암호문만을 이용하여 교집합을 연산할 수 있다.
대한민국 등록특허 제10-2143525호에서는 이러한 종래 기술의 문제점을 해결할 수 있는 새로운 함수 암호 기술을 개시하고 있다.
대한민국 등록특허 제10-2143525호에서 개시하고 있는 함수 암호 기술은 (1) 시스템을 셋업하는 과정에서 시스템 내의 모든 사용자에 대한 비밀키와 시스템 파라미터가 발급되기 때문에 임의의 사용자들 간에 교집합 연산을 수행하더라도 초기 단계에서 한 번의 셋업만 수행하면 되고 (2) 신뢰 기관으로부터 교집합 연산을 위한 함수키를 발급받은 사용자(혹은 제 3의 서비스 제공자)만이 암호문으로부터 교집합 연산의 결과를 계산할 수 있으며 (3) 공모 공격(collusion)에 안전하도록 설계되었다. 그러나, 복호화 과정에서 집합의 개수(n)의 제곱에 비례한 연산이 필요하여, n이 커질수록 복호화 시간이 제곱으로 증가한다.
구체적으로, 대한민국 등록특허 제10-2143525호에서 개시하고 있는 함수 암호 기술에 따르면, 원소의 개수가 n1인 데이터 집합 X1에 대한 암호문, 원소의 개수가 n2인 데이터 집합 X2에 대한 암호문 및 복호화 키를 입력으로 이용하여 X1∩X2를 생성하기 위해 n1·n2에 비례하는 연산이 필요하게 된다. 즉, 대한민국 등록특허 제10-2143525호에서 개시하고 있는 함수 암호 기술은 O(n2)의 복호화 난이도를 가지므로, 집합의 개수가 큰 환경에서는 실시간으로 복호화를 할 수 없는 문제점이 발생할 수 있다.
대한민국 등록특허 제10-2143525호 (2020. 08. 11. 공고)
본 발명의 실시예들은 교집합 연산을 지원하는 함수 암호를 위한 방법 및 이를 이용한 장치를 제공하기 위한 것이다.
일 실시예에 따른 방법은, 사전 정의된 정수 집합에서 임의의 정수를 선택하는 단계; 및 상기 임의의 정수, 마스터 키, 제1 사용자에 대한 제1 사용자 식별 정보 및 제2 사용자에 대한 제2 사용자 식별 정보에 기초하여, 상기 제1 사용자에 대한 제1 사용자 비밀키를 이용하여 암호화된 제1 데이터 집합과 상기 제2 사용자에 대한 제2 사용자 비밀키를 이용하여 암호화된 제2 데이터 집합 사이의 교집합을 생성하기 위해 이용될 함수키를 생성하는 단계를 포함한다.
상기 제1 사용자 비밀키는, 아래의 수학식 1
[수학식 1]
Figure 112020135711330-pat00001
(이때, EKi는 상기 제1 사용자 비밀키, z는 상기 마스터 키, PRF()는
Figure 112020135711330-pat00002
를 만족하는 의사 랜덤 함수(pseudo-random function),
Figure 112020135711330-pat00003
Figure 112020135711330-pat00004
를 만족하는 상기 사전 정의된 정수 집합, p는 소수(prime number), IDi은 상기 제1 사용자 식별 정보, R1 및 R2는 R1≠R2를 만족하는 사전 설정된 값)을 만족하고, 상기 제2 사용자 비밀키는, 아래의 수학식 2
[수학식 2]
Figure 112020135711330-pat00005
(이때, EKj는 상기 제2 사용자 비밀키, IDj는 상기 제2 사용자 식별 정보)를 만족할 수 있다.
상기 함수키는, 아래의 수학식 3
[수학식 3]
Figure 112020135711330-pat00006
(이때, SKi,j는 상기 함수키,
Figure 112020135711330-pat00007
는 위수(order)가 상기 소수 p인 겹선형 군(bilinear group)
Figure 112020135711330-pat00008
의 생성원, r은
Figure 112020135711330-pat00009
를 만족하는 상기 임의의 정수)을 만족할 수 있다.
상기 방법은, 상기 선택하는 단계 이전에, 상기 제1 사용자 비밀키 및 상기 제2 사용자 비밀키를 생성하는 단계; 및 상기 제1 사용자 비밀키를 상기 제1 사용자에게 제공하고, 상기 제2 사용자 비밀키를 상기 제2 사용자에게 제공하는 단계를 더 포함할 수 있다.
일 실시예에 따른 방법은, 제1 사용자에 대한 제1 사용자 비밀키를 이용하여 제1 데이터 집합을 암호화함으로써 생성된 제1 암호문 및 제2 사용자에 대한 제2 사용자 비밀키를 이용하여 제2 데이터 집합을 암호화함으로써 생성된 제2 암호문을 획득하는 단계; 사전 정의된 정수 집합에서 선택된 임의의 정수, 마스터 키, 상기 제1 사용자에 대한 제1 사용자 식별 정보 및 상기 제2 사용자에 대한 제2 사용자 식별 정보에 기초하여 생성된 함수키를 획득하는 단계; 및 상기 제1 암호문, 상기 제2 암호문 및 상기 함수키를 이용하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계를 포함한다.
상기 제1 사용자 비밀키는, 아래의 수학식 1
[수학식 1]
Figure 112020135711330-pat00010
(이때, EKi는 상기 제1 사용자 비밀키, z는 상기 마스터 키, PRF()는
Figure 112020135711330-pat00011
를 만족하는 의사 랜덤 함수(pseudo-random function),
Figure 112020135711330-pat00012
Figure 112020135711330-pat00013
를 만족하는 상기 사전 정의된 정수 집합, p는 소수(prime number), IDi은 상기 제1 사용자 식별 정보, R1 및 R2는 R1≠R2를 만족하는 사전 설정된 값)을 만족하고, 상기 제2 사용자 비밀키는, 아래의 수학식 2
[수학식 2]
Figure 112020135711330-pat00014
(이때, EKj는 상기 제2 사용자 비밀키, IDj는 상기 제2 사용자 식별 정보)를 만족할 수 있다.
상기 함수키는, 아래의 수학식 3
[수학식 3]
Figure 112020135711330-pat00015
(이때, SKi,j는 상기 함수키,
Figure 112020135711330-pat00016
는 위수(order)가 상기 소수 p인 겹선형 군(bilinear group)
Figure 112020135711330-pat00017
의 생성원, r은
Figure 112020135711330-pat00018
를 만족하는 상기 임의의 정수)을 만족할 수 있다.
상기 제1 암호문은, 상기 제1 데이터 집합에 대한 라벨, 상기 제1 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소 및 상기 제1 데이터 집합에 포함된 각 원소에 대한 제2 암호문 요소를 포함하고, 상기 제2 암호문은, 상기 제2 데이터 집합에 대한 라벨, 상기 제2 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소 및 상기 제2 데이터 집합에 포함된 각 원소에 대한 제2 암호문 요소를 포함할 수 있다.
상기 제1 암호문은, 아래의 수학식 4
[수학식 4]
Figure 112020135711330-pat00019
(이때, T는 상기 제1 데이터 집합에 대한 라벨, CTi,T는 상기 제1 암호문,
Figure 112020135711330-pat00020
는 상기 제1 데이터 집합에 포함된 ki번째 원소
Figure 112020135711330-pat00021
에 대한 제1 암호문 요소, H1()은 H1:{0,1}*→G를 만족하는 해시 함수, G는 위수가 상기 소수 p인 겹선형 군,
Figure 112020135711330-pat00022
는 상기 ki번째 원소
Figure 112020135711330-pat00023
에 대한 제2 암호문 요소,
Figure 112020135711330-pat00024
는 상기 ki번째 원소
Figure 112020135711330-pat00025
에 대한 암호화 키, Enc()는 대칭키 암호 알고리즘을 이용한 암호화, ℓi는 상기 제1 데이터 집합에 포함된 원소의 개수)를 만족하고, 상기 제2 암호문은 아래의 수학식 5
[수학식 5]
Figure 112020135711330-pat00026
(이때, T'는 상기 제2 데이터 집합에 대한 라벨, CTj,T'는 상기 제2 암호문,
Figure 112020135711330-pat00027
는 상기 제2 데이터 집합에 포함된 kj번째 원소
Figure 112020135711330-pat00028
에 대한 제1 암호문 요소,
Figure 112020135711330-pat00029
는 상기 kj번째 원소
Figure 112020135711330-pat00030
에 대한 제2 암호문 요소,
Figure 112020135711330-pat00031
는 상기 kj번째 원소
Figure 112020135711330-pat00032
에 대한 암호화 키, ℓj는 상기 제2 데이터 집합에 포함된 원소의 개수)를 만족할 수 있다.
상기
Figure 112020135711330-pat00033
는, 아래의 수학식 6
[수학식 6]
Figure 112020135711330-pat00034
(이때, e는
Figure 112020135711330-pat00035
를 만족하는 겹선형 함수(bilinear map),
Figure 112020135711330-pat00036
는 위수가 상기 소수 p인 겹선형 군, H2()는 보안 상수 1λ에 대해 H2:GT→K를 만족하는 해시 함수, K는 상기 대칭키 암호 알고리즘의 키 공간(key space))을 만족하고, 상기
Figure 112020135711330-pat00037
는, 아래의 수학식 7
[수학식 7]
Figure 112020135711330-pat00038
을 만족할 수 있다.
상기 교집합을 생성하는 단계는, 상기 제1 데이터 집합에 대한 라벨과 상기 제2 데이터 집합에 대한 라벨이 동일한지 여부를 판단하는 단계; 상기 제1 데이터 집합에 대한 라벨과 상기 제2 데이터 집합에 대한 라벨이 동일한 경우, 상기 제1 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소에 대해 아래의 수학식 8
[수학식 8]
Figure 112020135711330-pat00039
을 이용한 제1 페어링(pairing) 연산을 수행하여 아래의 수학식 9
[수학식 9]
Figure 112020135711330-pat00040
를 만족하는 제1 결과 집합
Figure 112020135711330-pat00041
을 생성하는 단계; 상기 제2 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소에 대해 아래의 수학식 10
[수학식 10]
Figure 112020135711330-pat00042
을 이용한 제2 페어링 연산을 수행하여 아래의 수학식 11
[수학식 11]
Figure 112020135711330-pat00043
을 만족하는 제2 결과 집합
Figure 112020135711330-pat00044
을 생성하는 단계; 및 상기 제1 결과 집합과 상기 제2 결과 집합 사이의 교집합인 제3 결과 집합이 존재하는 경우, 상기 제3 결과 집합에 기초하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계를 포함할 수 있다.
상기 제3 결과 집합에 기초하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계는, 상기 제3 결과 집합에 포함된 각 원소에 대해, 아래의 수학식 12
[수학식 12]
Figure 112020135711330-pat00045
(이때, Fk는 상기 제3 결과 집합의 k번째 원소)
를 만족하는
Figure 112020135711330-pat00046
Figure 112020135711330-pat00047
를 선택하는 단계; 아래의 수학식 13
[수학식 13]
Figure 112020135711330-pat00048
을 이용하여, 상기 선택된
Figure 112020135711330-pat00049
에 대응되는
Figure 112020135711330-pat00050
를 복호화하기 위한 복호화 키
Figure 112020135711330-pat00051
를 생성하는 단계; 아래의 수학식 14
[수학식 14]
Figure 112020135711330-pat00052
(이때, Dec()는 상기 대칭키 암호 알고리즘을 이용한 복호화)
를 이용하여 상기 선택된
Figure 112020135711330-pat00053
에 대응되는
Figure 112020135711330-pat00054
를 복호화하는 단계; 및
Figure 112020135711330-pat00055
를 만족하는 경우, 상기
Figure 112020135711330-pat00056
를 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합의 원소로 결정하는 단계를 포함할 수 있다.
일 실시예에 따른 장치는, 하나 이상의 프로세서; 메모리; 및 하나 이상의 프로그램을 포함하는 장치로서, 상기 하나 이상의 프로그램은 상기 메모리에 저장되고 상기 하나 이상의 프로세서에 의해 실행되도록 구성되며, 상기 하나 이상의 프로그램은, 사전 정의된 정수 집합에서 임의의 정수를 선택하는 단계; 및 상기 임의의 정수, 마스터 키, 제1 사용자에 대한 제1 사용자 식별 정보 및 제2 사용자에 대한 제2 사용자 식별 정보에 기초하여, 상기 제1 사용자에 대한 제1 사용자 비밀키를 이용하여 암호화된 제1 데이터 집합과 상기 제2 사용자에 대한 제2 사용자 비밀키를 이용하여 암호화된 제2 데이터 집합 사이의 교집합을 생성하기 위해 이용될 함수키를 생성하는 단계를 실행하기 위한 명령어들을 포함한다.
상기 제1 사용자 비밀키는, 아래의 수학식 1
[수학식 1]
Figure 112020135711330-pat00057
(이때, EKi는 상기 제1 사용자 비밀키, z는 상기 마스터 키, PRF()는
Figure 112020135711330-pat00058
를 만족하는 의사 랜덤 함수(pseudo-random function),
Figure 112020135711330-pat00059
Figure 112020135711330-pat00060
를 만족하는 상기 사전 정의된 정수 집합, p는 소수(prime number), IDi은 상기 제1 사용자 식별 정보, R1 및 R2는 R1≠R2를 만족하는 사전 설정된 값)을 만족하고, 상기 제2 사용자 비밀키는, 아래의 수학식 2
[수학식 2]
Figure 112020135711330-pat00061
(이때, EKj는 상기 제2 사용자 비밀키, IDj는 상기 제2 사용자 식별 정보)를 만족할 수 있다.
상기 함수키는, 아래의 수학식 3
[수학식 3]
Figure 112020135711330-pat00062
(이때, SKi,j는 상기 함수키,
Figure 112020135711330-pat00063
는 위수(order)가 상기 소수 p인 겹선형 군(bilinear group)
Figure 112020135711330-pat00064
의 생성원, r은
Figure 112020135711330-pat00065
를 만족하는 상기 임의의 정수)을 만족할 수 있다.
상기 하나 이상의 프로그램은,
상기 선택하는 단계 이전에, 상기 제1 사용자 비밀키 및 상기 제2 사용자 비밀키를 생성하는 단계; 및 상기 제1 사용자 비밀키를 상기 제1 사용자에게 제공하고, 상기 제2 사용자 비밀키를 상기 제2 사용자에게 제공하는 단계를 실행하기 위한 명령어들을 더 포함할 수 있다.
일 실시예에 따른 장치는, 하나 이상의 프로세서; 메모리; 및 하나 이상의 프로그램을 포함하는 장치로서, 상기 하나 이상의 프로그램은 상기 메모리에 저장되고 상기 하나 이상의 프로세서에 의해 실행되도록 구성되며, 상기 하나 이상의 프로그램은, 제1 사용자에 대한 제1 사용자 비밀키를 이용하여 제1 데이터 집합을 암호화함으로써 생성된 제1 암호문 및 제2 사용자에 대한 제2 사용자 비밀키를 이용하여 제2 데이터 집합을 암호화함으로써 생성된 제2 암호문을 획득하는 단계; 사전 정의된 정수 집합에서 선택된 임의의 정수, 마스터 키, 상기 제1 사용자에 대한 제1 사용자 식별 정보 및 상기 제2 사용자에 대한 제2 사용자 식별 정보에 기초하여 생성된 함수키를 획득하는 단계; 및 상기 제1 암호문, 상기 제2 암호문 및 상기 함수키를 이용하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계를 실행하기 위한 명령어들을 포함한다.
상기 제1 사용자 비밀키는, 아래의 수학식 1
[수학식 1]
Figure 112020135711330-pat00066
(이때, EKi는 상기 제1 사용자 비밀키, z는 상기 마스터 키, PRF()는
Figure 112020135711330-pat00067
를 만족하는 의사 랜덤 함수(pseudo-random function),
Figure 112020135711330-pat00068
Figure 112020135711330-pat00069
를 만족하는 상기 사전 정의된 정수 집합, p는 소수(prime number), IDi은 상기 제1 사용자 식별 정보, R1 및 R2는 R1≠R2를 만족하는 사전 설정된 값)을 만족하고, 상기 제2 사용자 비밀키는, 아래의 수학식 2
[수학식 2]
Figure 112020135711330-pat00070
(이때, EKj는 상기 제2 사용자 비밀키, IDj는 상기 제2 사용자 식별 정보)를 만족할 수 있다.
상기 함수키는, 아래의 수학식 3
[수학식 3]
Figure 112020135711330-pat00071
(이때, SKi,j는 상기 함수키,
Figure 112020135711330-pat00072
는 위수(order)가 상기 소수 p인 겹선형 군(bilinear group)
Figure 112020135711330-pat00073
의 생성원, r은
Figure 112020135711330-pat00074
를 만족하는 상기 임의의 정수)을 만족할 수 있다.
상기 제1 암호문은, 상기 제1 데이터 집합에 대한 라벨, 상기 제1 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소 및 상기 제1 데이터 집합에 포함된 각 원소에 대한 제2 암호문 요소를 포함하고, 상기 제2 암호문은, 상기 제2 데이터 집합에 대한 라벨, 상기 제2 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소 및 상기 제2 데이터 집합에 포함된 각 원소에 대한 제2 암호문 요소를 포함할 수 있다.
상기 제1 암호문은, 아래의 수학식 4
[수학식 4]
Figure 112020135711330-pat00075
(이때, T는 상기 제1 데이터 집합에 대한 라벨, CTi,T는 상기 제1 암호문,
Figure 112020135711330-pat00076
는 상기 제1 데이터 집합에 포함된 ki번째 원소
Figure 112020135711330-pat00077
에 대한 제1 암호문 요소, H1()은 H1:{0,1}*→G를 만족하는 해시 함수, G는 위수가 상기 소수 p인 겹선형 군,
Figure 112020135711330-pat00078
는 상기 ki번째 원소
Figure 112020135711330-pat00079
에 대한 제2 암호문 요소,
Figure 112020135711330-pat00080
는 상기 ki번째 원소
Figure 112020135711330-pat00081
에 대한 암호화 키, Enc()는 대칭키 암호 알고리즘을 이용한 암호화, ℓi는 상기 제1 데이터 집합에 포함된 원소의 개수)를 만족하고, 상기 제2 암호문은 아래의 수학식 5
[수학식 5]
Figure 112020135711330-pat00082
(이때, T'는 상기 제2 데이터 집합에 대한 라벨, CTj,T'는 상기 제2 암호문,
Figure 112020135711330-pat00083
는 상기 제2 데이터 집합에 포함된 kj번째 원소
Figure 112020135711330-pat00084
에 대한 제1 암호문 요소,
Figure 112020135711330-pat00085
는 상기 kj번째 원소
Figure 112020135711330-pat00086
에 대한 제2 암호문 요소,
Figure 112020135711330-pat00087
는 상기 kj번째 원소
Figure 112020135711330-pat00088
에 대한 암호화 키, ℓj는 상기 제2 데이터 집합에 포함된 원소의 개수)를 만족할 수 있다.
상기
Figure 112020135711330-pat00089
는, 아래의 수학식 6
[수학식 6]
Figure 112020135711330-pat00090
(이때, e는
Figure 112020135711330-pat00091
를 만족하는 겹선형 함수(bilinear map),
Figure 112020135711330-pat00092
는 위수가 상기 소수 p인 겹선형 군, H2()는 보안 상수 1λ에 대해 H2:GT→K를 만족하는 해시 함수, K는 상기 대칭키 암호 알고리즘의 키 공간(key space))을 만족하고,
상기
Figure 112020135711330-pat00093
는, 아래의 수학식 7
[수학식 7]
Figure 112020135711330-pat00094
을 만족할 수 있다.
상기 교집합을 생성하는 단계는, 상기 제1 데이터 집합에 대한 라벨과 상기 제2 데이터 집합에 대한 라벨이 동일한지 여부를 판단하는 단계; 상기 제1 데이터 집합에 대한 라벨과 상기 제2 데이터 집합에 대한 라벨이 동일한 경우, 상기 제1 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소에 대해 아래의 수학식 8
[수학식 8]
Figure 112020135711330-pat00095
을 이용한 제1 페어링(pairing) 연산을 수행하여 아래의 수학식 9
[수학식 9]
Figure 112020135711330-pat00096
를 만족하는 제1 결과 집합
Figure 112020135711330-pat00097
을 생성하는 단계; 상기 제2 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소에 대해 아래의 수학식 10
[수학식 10]
Figure 112020135711330-pat00098
을 이용한 제2 페어링 연산을 수행하여 아래의 수학식 11
[수학식 11]
Figure 112020135711330-pat00099
을 만족하는 제2 결과 집합
Figure 112020135711330-pat00100
을 생성하는 단계; 및 상기 제1 결과 집합과 상기 제2 결과 집합 사이의 교집합인 제3 결과 집합이 존재하는 경우, 상기 제3 결과 집합에 기초하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계를 포함할 수 있다.
상기 제3 결과 집합에 기초하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계는, 상기 제3 결과 집합에 포함된 각 원소에 대해, 아래의 수학식 12
[수학식 12]
Figure 112020135711330-pat00101
(이때, Fk는 상기 제3 결과 집합의 k번째 원소)
를 만족하는
Figure 112020135711330-pat00102
Figure 112020135711330-pat00103
를 선택하는 단계; 아래의 수학식 13
[수학식 13]
Figure 112020135711330-pat00104
을 이용하여, 상기 선택된
Figure 112020135711330-pat00105
에 대응되는
Figure 112020135711330-pat00106
를 복호화하기 위한 복호화 키
Figure 112020135711330-pat00107
를 생성하는 단계; 아래의 수학식 14
[수학식 14]
Figure 112020135711330-pat00108
(이때, Dec()는 상기 대칭키 암호 알고리즘을 이용한 복호화)
를 이용하여 상기 선택된
Figure 112020135711330-pat00109
에 대응되는
Figure 112020135711330-pat00110
를 복호화하는 단계; 및
Figure 112020135711330-pat00111
를 만족하는 경우, 상기
Figure 112020135711330-pat00112
를 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합의 원소로 결정하는 단계를 포함할 수 있다.
본 발명의 실시예들에 따르면, 원소의 개수가 n1인 데이터 집합 X1에 대한 암호문, 원소의 개수가 n2인 데이터 집합 X2에 대한 암호문 및 복호화 키를 입력으로 이용하여 X1∩X2를 생성하되 n1+n2에 비례하는 연산을 통해 X1∩X2를 생성할 수 있도록 함으로써 대한민국 등록특허 제10-2143525호에 개시된 함수 암호 기술이 가진 문제점을 해소할 수 있다.
도 1은 일 실시예에 따른 암호 시스템의 구성도
도 2는 일 실시예에 따른 교집합 생성 절차를 나타낸 절차도
도 3은 일 실시예에 따른 암호화 과정을 나타낸 순서도
도 4는 일 실시예에 따른 교집합 생성 과정을 나타낸 순서도
도 5는 일 실시예에 따른 교집합 S의 원소를 결정하는 과정을 나타낸 순서도
도 6은 예시적인 실시예들에서 사용되기에 적합한 컴퓨팅 장치를 포함하는 컴퓨팅 환경을 예시하여 설명하기 위한 블록도
이하, 도면을 참조하여 본 발명의 구체적인 실시형태를 설명하기로 한다. 이하의 상세한 설명은 본 명세서에서 기술된 방법, 장치 및/또는 시스템에 대한 포괄적인 이해를 돕기 위해 제공된다. 그러나 이는 예시에 불과하며 본 발명은 이에 제한되지 않는다.
본 발명의 실시예들을 설명함에 있어서, 본 발명과 관련된 공지기술에 대한 구체적인 설명이 본 발명의 요지를 불필요하게 흐릴 수 있다고 판단되는 경우에는 그 상세한 설명을 생략하기로 한다. 그리고, 후술되는 용어들은 본 발명에서의 기능을 고려하여 정의된 용어들로서 이는 사용자, 운용자의 의도 또는 관례 등에 따라 달라질 수 있다. 그러므로 그 정의는 본 명세서 전반에 걸친 내용을 토대로 내려져야 할 것이다. 상세한 설명에서 사용되는 용어는 단지 본 발명의 실시예들을 기술하기 위한 것이며, 결코 제한적이어서는 안 된다. 명확하게 달리 사용되지 않는 한, 단수 형태의 표현은 복수 형태의 의미를 포함한다. 본 설명에서, "포함" 또는 "구비"와 같은 표현은 어떤 특성들, 숫자들, 단계들, 동작들, 요소들, 이들의 일부 또는 조합을 가리키기 위한 것이며, 기술된 것 이외에 하나 또는 그 이상의 다른 특성, 숫자, 단계, 동작, 요소, 이들의 일부 또는 조합의 존재 또는 가능성을 배제하도록 해석되어서는 안 된다.
도 1은 일 실시예에 따른 암호 시스템의 구성도이다.
도 1을 참조하면, 본 발명의 일 실시예에 따른 암호 시스템(100)은 키 생성 장치(110), 제1 암호화 장치(120), 제2 암호화 장치(130) 및 복호화 장치(140)를 포함한다.
암호 시스템(100)은 암호화된 두 데이터 집합을 암호화된 상태로 연산하여 해당 두 데이터 집합에 대한 교집합을 생성하는 함수 암호(Functional encryption)를 지원하기 위한 시스템이다.
키 생성 장치(110)는 암호 시스템(100)에 대한 셋업(setup)을 수행하고, 암호 시스템(100) 내에서 사용할 마스터 키, 사용자 비밀키, 함수키 및 공개 파라미터를 생성하기 위한 장치이다.
일 실시예에서, 키 생성 장치(110)는 예를 들어, 신뢰 기관(Trusted Third Party)와 같이 신뢰할 수 있는 개체(entity)에 의해 운영될 수 있으나, 키 생성 장치(110)의 운영 주체는 반드시 특정한 개체로 한정되는 것은 아니다.
구체적으로, 키 생성 장치(110)는 마스터 키 및 공개 파라미터를 생성하여 마스터 키는 안전하게 저장하고, 공개 파라미터는 암호 시스템(100) 내에 공개할 수 있다.
또한, 키 생성 장치(110)는 암호 시스템(100) 내에서 암호화에 참여할 복수의 사용자 각각에 대한 사용자 비밀키를 생성하고, 생성된 각 사용자에 대한 사용자 비밀키를 암호화를 위해 각 사용자에 의해 이용되는 암호화 장치(120, 130)로 제공할 수 있다.
또한, 키 생성 장치(110)는 복호화 장치(140)의 요청에 따라 각각 상이한 사용자 비밀키를 이용하여 암호화된 두 데이터 집합에 대한 교집합 생성을 위해 이용될 함수키를 생성하여 복호화 장치(140)로 제공할 수 있다.
제1 암호화 장치(120) 및 제2 암호화 장치(130)는 각각 키 생성 장치(110)로부터 사용자 비밀키를 발급받고, 발급받은 사용자 비밀키를 이용하여 데이터 집합을 암호화하기 위해 이용되는 장치이다.
구체적으로, 제1 암호화 장치(120)는 제1 사용자에 의해 이용될 수 있으며, 키 생성 장치(110)로부터 제공받은 제1 사용자에 대한 사용자 비밀키를 이용하여 제1 데이터 집합에 대한 암호문을 생성할 수 있다. 또한, 제2 암호화 장치(130)는 제2 사용자에 의해 이용될 수 있으며, 키 생성 장치(110)로부터 제공받은 제2 사용자에 대한 사용자 비밀키를 이용하여 제2 데이터 집합에 대한 암호문을 생성할 수 있다.
한편, 도 1에 도시된 예에서는 설명의 편의를 위해 암호 시스템(100)에 포함된 암호화 장치(120, 130)가 2개인 것으로 예시하고 있으나, 암호화 장치(120, 130)의 개수는 실시예에 따라 변경될 수 있다.
복호화 장치(140)는 제1 암호화 장치(120)가 제1 사용자에 대한 사용자 비밀키를 이용하여 제1 데이터 집합을 암호화함으로써 생성된 암호문, 제2 암호화 장치(130)가 제2 사용자에 대한 사용자 비밀키를 이용하여 제2 데이터 집합을 암호화함으로써 생성된 암호문 및 키 생성 장치(110)로부터 제공받은 함수키를 이용하여 제1 데이터 집합과 제2 데이터 집합에 대한 교집합을 생성한다.
한편, 도 1에 도시된 암호 시스템(100)에 의해 수행되는 동작을 상세히 설명하면 아래와 같다.
셋업(setup)
키 생성 장치(110)는 보안 상수(Security Parameter) 1λ 및 암호 시스템(100) 내에서 암호화에 참여할 사용자의 총수 n(이때, n은 2 이상인 정수)에 기초하여, 마스터 키(master key) 및 공개 파라미터를 생성한다.
구체적으로, 키 생성 장치(110)는 각각 위수(order)가 소수(prime number) p인 겹선형 군(bilinear group)
Figure 112020135711330-pat00113
,
Figure 112020135711330-pat00114
Figure 112020135711330-pat00115
를 생성한 후,
Figure 112020135711330-pat00116
를 만족하는 겹선형 함수(bilinear map)
Figure 112020135711330-pat00117
Figure 112020135711330-pat00118
의 생성원(generator)
Figure 112020135711330-pat00119
를 생성할 수 있다.
또한, 키 생성 장치(110)는 z∈{0,1}λ 를 만족하는 랜덤 스트링(random string) z, H1:{0,1}*→G를 만족하는 제1 해시 함수(hash function) H1 및 H2:GT→K (이때, K는 대칭키 암호 알고리즘의 키 공간(key space))를 만족하는 제2 해시 함수 H2를 선택할 수 있다.
이때, 대칭키 암호 알고리즘은 예를 들어, AES(Advanced Encryption Standard) 알고리즘일 수 있으나, AES 알고리즘 외에도 암호화를 위한 암호화 키와 복호화를 위한 복호화 키가 동일하며, 선택 평문 공격(CPA, Chosen Plaintext Attack)에 대한 안전성을 제공하는 공지된 다양한 종류의 대칭키 암호 알고리즘이 이용될 수 있다.
이후, 키 생성 장치(110)는 선택된 랜덤 스트링 z를 마스터 키로서 안전하게 저장하고, 공개 파라미터
Figure 112020135711330-pat00120
를 암호 시스템(100) 내에 공개할 수 있다.
사용자 비밀키 생성
키 생성 장치(110)는 암호화에 참여할 복수의 사용자 각각에 대한 사용자 비밀키를 생성한다.
일 실시예에 따르면, 키 생성 장치(110)는 암호화에 참여할 복수의 사용자 각각에 대한 사용자 식별 정보 및 마스터 키에 기초하여 복수의 사용자 각각에 대한 사용자 비밀키를 생성할 수 있다.
구체적으로, 키 생성 장치(110)는 아래의 수학식 1을 이용하여 복수의 사용자 중 사용자 인덱스가 u(이때, u∈[n])인 사용자에 대한 사용자 비밀키 EKu를 생성할 수 있다.
[수학식 1]
Figure 112020135711330-pat00121
수학식 1에서, PRF()는
Figure 112020135711330-pat00122
를 만족하는 의사 랜덤 함수(pseudo-random function),
Figure 112020135711330-pat00123
Figure 112020135711330-pat00124
를 만족하는 사전 정의된 정수 집합, IDu는 사용자 인덱스가 u인 사용자에 대한 사용자 식별 정보, "∥"는 두 값 사이의 연결(concatenation)을 나타내며, 이하 동일한 의미로 사용된다.
이때, 사용자 식별 정보는 예를 들어, 사용자 아이디, 사용자 이름 등일 수 있으나, 이 외에도 암호 시스템(100) 내에서 암호화에 참여할 복수의 사용자 각각을 고유하게 식별하기 위해 이용될 수 있는 다양한 정보가 사용자 식별 정보로 이용될 수 있다.
또한, 수학식 1에서, R1 및 R2는 R1≠R2를 만족하는 사전 설정된 값이며, 예를 들어, R1=0, R2=1일 수 있으나 반드시 특정한 값으로 한정되는 것은 아니다.
한편, 키 생성 장치(110)는 생성한 사용자 비밀키 EKu 각각을 대응되는 사용자에 의해 이용되는 암호화 장치(120, 130)로 제공할 수 있다.
예를 들어, 키 생성 장치(110)는 사용자 인덱스가 i(이때, i∈[n])인 제1 사용자에 대한 사용자 비밀키 EKi를 제1 사용자에 의해 이용되는 제1 암호화 장치(120)로 제공하고, 사용자 인덱스가 j(이때, j∈[n] 및 j≠i)인 제2 사용자에 대한 사용자 비밀키 EKj를 제2 사용자에 의해 이용되는 제2 암호화 장치(130)로 제공할 수 있다.
암호화
제1 암호화 장치(120) 및 제2 암호화 장치(130)는 각각 하나 이상의 데이터를 포함하는 데이터 집합에 대한 라벨(label) 및 키 생성 장치(110)로부터 제공받은 사용자 비밀키에 기초하여 데이터 집합에 대한 암호문을 생성한다.
이때, 데이터 집합에 대한 라벨은 암호 시스템(100) 내에서 미리 설정되거나 암호화에 참여할 복수의 사용자 사이에 사전 합의된 방식 내지는 규칙에 따라 암호화 대상인 데이터 집합에 부여되는 정보로서, 예를 들어, 데이터 집합에 대한 분류 정보, 데이터 집합과 관련된 시점 등과 관련된 정보일 수 있으나 반드시 특정한 정보로 한정되는 것은 아니다.
한편, 본 발명의 실시예에서, 교집합은 라벨이 동일한 두 데이터 집합에 대해서만 생성될 수 있다.
구체적으로, 키 생성 장치(110)로부터 사용자 인덱스가 i인 제1 사용자에 대한 사용자 비밀키 EKi를 제공받은 제1 암호화 장치(120)는 데이터 집합
Figure 112020135711330-pat00125
(이때, |Xi|=ℓi, ℓi는 2 이상인 정수)에 포함된 각 원소
Figure 112020135711330-pat00126
(이때,
Figure 112020135711330-pat00127
)에 대한 제1 암호문 요소
Figure 112020135711330-pat00128
및 제2 암호문 요소
Figure 112020135711330-pat00129
를 생성할 수 있다.
구체적으로, 제1 암호화 장치(120)는 우선, 암호화할 데이터 집합 Xi에 대한 라벨 T 및 제1 사용자의 사용자 비밀키 EKi에 포함된 제1 비밀키 요소 αi에 기초하여 데이터 집합 Xi에 포함된 각 원소
Figure 112020135711330-pat00130
에 대한 제1 암호문 요소
Figure 112020135711330-pat00131
를 생성할 수 있다.
이때, 제1 암호문 요소
Figure 112020135711330-pat00132
는 예를 들어, 아래의 수학식 2를 이용하여 생성될 수 있다.
[수학식 2]
Figure 112020135711330-pat00133
또한, 제1 암호화 장치(120)는 데이터 집합 Xi에 대한 라벨 T 및 사용자 비밀키 EKi에 포함된 제2 비밀키 요소 βi에 기초하여 데이터 집합 Xi에 포함된 각 원소
Figure 112020135711330-pat00134
에 대응되는 대칭키
Figure 112020135711330-pat00135
를 생성할 수 있다.
이때, 대칭키
Figure 112020135711330-pat00136
는 예를 들어, 아래의 수학식 3을 이용하여 생성될 수 있다.
[수학식 3]
Figure 112020135711330-pat00137
이후, 제1 암호화 장치(120)는
Figure 112020135711330-pat00138
에 대응되는 대칭키
Figure 112020135711330-pat00139
를 암호화 키로 이용한 대칭키 암호 알고리즘을 이용하여 각 원소
Figure 112020135711330-pat00140
에 대한 제2 암호문 요소
Figure 112020135711330-pat00141
를 생성할 수 있다.
이때, 제2 암호문 요소
Figure 112020135711330-pat00142
는 예를 들어, 아래의 수학식 4를 이용하여 생성될 수 있다.
[수학식 4]
Figure 112020135711330-pat00143
수학식 4에서, Enc()는 대칭키 암호 알고리즘을 이용한 암호화를 나타내며,
Figure 112020135711330-pat00144
Figure 112020135711330-pat00145
를 암호화 키로 이용하여
Figure 112020135711330-pat00146
를 암호화함을 의미한다.
이후, 제1 암호화 장치(120)는 데이터 집합 Xi에 대한 라벨 T, 데이터 집합 Xi에 포함된 각 원소
Figure 112020135711330-pat00147
에 대한 제1 암호문 요소
Figure 112020135711330-pat00148
및 제2 암호문 요소
Figure 112020135711330-pat00149
를 포함하는 암호문 CTi,T를 생성할 수 있다.
구체적으로, 데이터 집합 Xi에 대한 암호문 CTi,T는 아래의 수학식 5를 만족할 수 있다.
[수학식 5]
Figure 112020135711330-pat00150
한편, 키 생성 장치(110)로부터 사용자 인덱스가 j인 제2 사용자에 대한 사용자 비밀키 EKj를 제공받은 제2 암호화 장치(130)는 데이터 집합
Figure 112020135711330-pat00151
(이때, |Xj|=ℓj, ℓj는 2 이상인 정수)에 포함된 각 원소
Figure 112020135711330-pat00152
(이때,
Figure 112020135711330-pat00153
)에 대한 제1 암호문 요소
Figure 112020135711330-pat00154
및 제2 암호문 요소
Figure 112020135711330-pat00155
를 생성할 수 있다.
구체적으로, 제2 암호화 장치(130)는 암호화할 데이터 집합 Xj에 대한 라벨 T' 및 사용자 비밀키 EKj에 포함된 제1 비밀키 요소 αj에 기초하여 데이터 집합 Xj에 포함된 각 원소
Figure 112020135711330-pat00156
에 대한 제1 암호문 요소
Figure 112020135711330-pat00157
를 생성할 수 있다.
이때, 제1 암호문 요소
Figure 112020135711330-pat00158
는 예를 들어, 아래의 수학식 6을 이용하여 생성될 수 있다.
[수학식 6]
Figure 112020135711330-pat00159
또한, 제2 암호화 장치(130)는 데이터 집합 Xj에 대한 라벨 T' 및 사용자 비밀키 EKj에 포함된 제2 비밀키 요소 βj에 기초하여 데이터 집합 Xj에 포함된 각 원소
Figure 112020135711330-pat00160
에 대응되는 대칭키
Figure 112020135711330-pat00161
를 생성할 수 있다.
이때, 대칭키
Figure 112020135711330-pat00162
는 예를 들어, 아래의 수학식 7를 이용하여 생성될 수 있다.
[수학식 7]
Figure 112020135711330-pat00163
이후, 제2 암호화 장치(130)는 각 원소
Figure 112020135711330-pat00164
에 대응되는 대칭키
Figure 112020135711330-pat00165
를 암호화 키로 이용한 대칭키 암호 알고리즘을 이용하여 각 원소
Figure 112020135711330-pat00166
에 대한 제2 암호문 요소
Figure 112020135711330-pat00167
를 생성할 수 있다.
이때, 제2 암호문 요소
Figure 112020135711330-pat00168
는 예를 들어, 아래의 수학식 8을 이용하여 생성될 수 있다.
[수학식 8]
Figure 112020135711330-pat00169
이후, 제2 암호화 장치(130)는 데이터 집합 Xj에 대한 라벨 T', 데이터 집합 Xj에 포함된 각 원소
Figure 112020135711330-pat00170
에 대한 제1 암호문 요소
Figure 112020135711330-pat00171
및 제2 암호문 요소
Figure 112020135711330-pat00172
을 포함하는 암호문 CTj,T'를 생성할 수 있다.
구체적으로, 암호문 CTj,T'는 아래의 수학식 9를 만족할 수 있다.
[수학식 9]
Figure 112020135711330-pat00173
함수키 생성
키 생성 장치(110)는 각각 상이한 사용자 비밀키를 이용하여 암호화된 두 데이터 집합에 대한 교집합을 생성하기 위한 함수키를 생성하고, 생성된 함수키를 복호화 장치(140)로 제공한다.
일 실시예에 따르면, 함수키는 사전 정의된 정수 집합에서 선택된 임의의 정수, 마스터 키, 제1 사용자에 대한 사용자 식별 정보 및 제2 사용자에 대한 사용자 식별 정보에 기초하여 생성될 수 있다.
구체적으로, 제1 사용자에 대한 사용자 비밀키 EKi를 이용하여 암호화된 데이터 집합 Xi와 제2 사용자에 대한 사용자 비밀키 EKj를 이용하여 암호화된 데이터 집합 Xj에 대한 교집합을 생성하기 위한 함수키 Ski,j는 아래의 수학식 10을 이용하여 생성될 수 있다.
[수학식 10]
Figure 112020135711330-pat00174
수학식 10에서, r는 공개 파라미터인 소수 p에 기초하여 사전 정의된 정수 집합
Figure 112020135711330-pat00175
에서 선택된 임의의 정수(즉,
Figure 112020135711330-pat00176
)를 나타낸다.
한편, 사용자 인덱스들의 인덱스 집합 {i,j}는 암호화 시스템(100)에서 사전에 정해진 규칙에 따라 배열될 수 있으며, 동일한 집합에 대해서는 동일한 순서로 배열될 수 있다. 따라서, 함수키 생성을 위한 키 생성 알고리즘은 결정적(deterministic) 알고리즘에 해당한다.
복호화
복호화 장치(140)는 함수키 SKi,j, 암호문 CTi,T 및 암호문 CTj,T'을 이용하여 데이터 집합 Xi와 데이터 집합 Xj 사이의 교집합 S=(Xi∩Xj)을 생성한다.
구체적으로, 복호화 장치(140)는 우선, 암호문 CTi,T에 포함된 라벨 T와 암호문 CTj,T'에 포함된 라벨 T'가 동일한지 여부를 판단할 수 있다.
이때, T≠T'인 경우, 복호화 장치(140)은 교집합 생성이 불가능함을 나타내는 오류 메시지를 생성할 수 있다.
반면, T=T'인 경우, 복호화 장치(140)는 암호문 CTi,T에 포함된 모든 제1 암호문 요소
Figure 112020135711330-pat00177
에 대해 아래의 수학식 11을 이용한 제1 페어링(pairing) 연산을 수행하고, 암호문 CTj,T'에 포함된 모든 제1 암호문 요소
Figure 112020135711330-pat00178
에 대해 아래의 수학식 12를 이용한 제2 페어링 연산을 수행할 수 있다.
[수학식 11]
Figure 112020135711330-pat00179
[수학식 12]
Figure 112020135711330-pat00180
이후, 복호화 장치(140)는 암호문 CTi,T에 포함된 모든 제1 암호문 요소
Figure 112020135711330-pat00181
에 대해 수행된 제1 페어링 연산의 결과들을 포함하는 제1 결과 집합
Figure 112020135711330-pat00182
및 암호문 CTj,T'에 포함된 모든 제1 암호문 요소
Figure 112020135711330-pat00183
에 대해 수행된 제2 페어링 연산의 결과들을 포함하는 제2 결과 집합
Figure 112020135711330-pat00184
을 생성하고, 제1 결과 집합과 상기 제2 결과 집합 사이의 교집합인 제3 결과 집합 F=Ei∩Ej을 생성할 수 있다.
이후, 복호화 장치(140)는 제3 결과 집합 F가 공집합인지 여부를 판단하고, 공집합인 경우(즉,
Figure 112020135711330-pat00185
), 데이터 집합 Xi와 데이터 집합 Xj 사이의 교집합 S가 공집합인 것으로 판단할 수 있다(즉,
Figure 112020135711330-pat00186
).
반면, 제3 결과 집합 F가 공집합이 아닌 경우(즉,
Figure 112020135711330-pat00187
), 복호화 장치(140)는 제3 결과 집합 F에 기초하여 데이터 집합 Xi와 데이터 집합 Xj 사이의 교집합 S를 생성할 수 있다.
구체적으로, 복호화 장치(140)는 제3 결과 집합 F에 포함된 각 원소에 대해 아래의 수학식 13을 만족하는
Figure 112020135711330-pat00188
Figure 112020135711330-pat00189
를 선택할 수 있다.
[수학식 13]
Figure 112020135711330-pat00190
수학식 13에서, Fk는 제3 결과 집합 F에 포함된 k(이때, k는 1≤k≤|F|을 만족하는 자연수) 번째 원소를 나타낸다.
이후, 복호화 장치(140)는 선택된
Figure 112020135711330-pat00191
에 대응되는
Figure 112020135711330-pat00192
를 복호화하기 위한 복호화 키
Figure 112020135711330-pat00193
를 생성하고, 생성된 복호화 키
Figure 112020135711330-pat00194
를 이용하여
Figure 112020135711330-pat00195
를 복호화할 수 있다.
구체적으로, 복호화 장치(140)는 아래의 수학식 14를 이용하여 복호화 키
Figure 112020135711330-pat00196
를 생성할 수 있다.
[수학식 14]
Figure 112020135711330-pat00197
또한, 복호화 장치(140)는 아래의 수학식 15를 이용하여
Figure 112020135711330-pat00198
를 복호화할 수 있다.
[수학식 15]
Figure 112020135711330-pat00199
수학식 15에서, Dec()는 대칭키 암호 알고리즘을 이용한 복호화를 나타내며,
Figure 112020135711330-pat00200
Figure 112020135711330-pat00201
를 복호화 키로 이용하여
Figure 112020135711330-pat00202
를 복호화함을 의미한다.
한편, 복호화 장치(140)는
Figure 112020135711330-pat00203
를 복호화한 결과
Figure 112020135711330-pat00204
인 경우,
Figure 112020135711330-pat00205
를 데이터 집합 Xi와 데이터 집합 Xj 사이의 교집합 S의 원소로 결정할 수 있다.
도 2는 일 실시예에 따른 교집합 생성 절차를 나타낸 절차도이다.
도 2를 참조하면, 우선 키 생성 장치(110)는 셋업 절차를 수행하여 마스터 키 z와 공개 파라미터
Figure 112020135711330-pat00206
를 생성한다(201).
이때, 키 생성 장치(110)는 마스터 키 z는 안전하게 저장하고, 공개 파라미터 PP를 암호 시스템(100) 내에 공개할 수 있다.
이후, 제1 암호화 장치(120)는 키 생성 장치(110)로 사용자 인덱스가 i인 제1 사용자에 대한 사용자 비밀키 EKi를 요청한다(202).
이후, 키 생성 장치(110)는 마스터 키 z 및 제1 사용자에 대한 사용자 식별 정보 IDi에 기초하여 사용자 비밀키 EKi를 생성하고(203), 생성된 사용자 비밀키 EKi를 제1 암호화 장치(120)로 제공한다(204).
한편, 제2 암호화 장치(130)는 키 생성 장치(110)로 사용자 인덱스가 j인 제2 사용자에 대한 사용자 비밀키 EKj를 요청한다(205).
이후, 키 생성 장치(110)는 마스터 키 z 및 제2 사용자에 대한 사용자 식별 정보 IDj에 기초하여 사용자 비밀키 EKj를 생성하고(206), 생성된 사용자 비밀키 EKj를 제2 암호화 장치(130)로 제공한다(207).
이후, 제1 암호화 장치(120)는 사용자 비밀키 EKi를 이용하여 라벨이 T인 데이터 집합 Xi를 암호화하고(208), 데이터 집합 Xi에 대한 암호문 CTi,T를 복호화 장치(140)로 제공한다(209).
또한, 제2 암호화 장치(130)는 사용자 비밀키 EKj를 이용하여 라벨이 T'인 데이터 집합 Xj를 암호화하고(210), 데이터 집합 Xj에 대한 암호문 CTj,T'를 복호화 장치(140)로 제공한다(211).
이후, 복호화 장치(140)는 키 생성 장치(110)로 데이터 집합 Xi와 데이터 집합 Xj에 대한 교집합을 생성하기 위한 함수키 SKi,j를 요청한다(212).
이후, 키 생성 장치(110)는 사전 정의된 정수 집합에서 선택된 임의의 정수 r, 마스터 키 z, 제1 사용자에 대한 사용자 식별 정보 IDi 및 제2 사용자에 대한 사용자 식별 정보 IDj에 기초하여 함수키 SKi,j를 생성하고(213), 생성된 함수키 SKi,j를 복호화 장치(140)로 제공한다(214).
이후, 복호화 장치(140)는 데이터 집합 Xi에 대한 암호문 CTi,T, 데이터 집합 Xj에 대한 암호문 CTj,T 및 함수키 SKi,j를 이용하여 데이터 집합 Xi와 데이터 집합 Xj 사이의 교집합 S를 생성한다(215).
한편, 도 2에 도시된 절차도에서 적어도 일부의 단계들은 순서를 바꾸어 수행되거나, 다른 단계와 결합되어 함께 수행되거나, 생략되거나, 세부 단계들로 나뉘어 수행되거나, 또는 도시되지 않은 하나 이상의 단계가 부가되어 수행될 수 있다.
도 3은 일 실시예에 따른 암호화 과정을 나타낸 순서도이다.
도 3에 도시된 암호화 과정은 예를 들어, 도 2에 도시된 208 단계에서 제1 암호화 장치(120)에 의해 수행되거나, 210 단계에서 제2 암호화 장치(130)에 의해 수행될 수 있으나, 이하에서는, 설명의 편의를 위해 제1 암호화 장치(120)에서 암호화 과정을 수행하는 것으로 가정하여 설명한다.
도 3을 참조하면, 우선, 제1 암호화 장치(120)는 데이터 집합 Xi에 포함된 각 원소에 대한 인덱스 값 ki를 1로 초기화한다(301).
이후, 제1 암호화 장치(120)는 데이터 집합 Xi에 대한 라벨 T 및 사용자 비밀키 EKi에 포함된 제1 비밀키 요소 αi에 기초하여, 데이터 집합 Xi에 포함된 원소들 중 인덱스 값이 ki인 원소
Figure 112020135711330-pat00207
에 대한 제1 암호문 요소
Figure 112020135711330-pat00208
를 생성한다(302).
이후, 제1 암호화 장치(120)는 데이터 집합 Xi에 대한 라벨 T 및 사용자 비밀키 EKi에 포함된 제2 비밀키 요소 βi에 기초하여,
Figure 112020135711330-pat00209
에 대응되는 대칭키
Figure 112020135711330-pat00210
를 생성한다(303).
이후, 제1 암호화 장치(120)는 생성된 대칭키
Figure 112020135711330-pat00211
를 암호화 키로 이용한 대칭키 암호 알고리즘을 이용하여
Figure 112020135711330-pat00212
에 대한 제2 암호문 요소
Figure 112020135711330-pat00213
를 생성한다(304).
이후, 제1 암호화 장치(120)는 인덱스 값 ki가 데이터 집합 Xi에 포함된 원소들의 개수 ℓi와 동일한지 여부를 판단한다(305).
이때, ki≠ℓi인 경우, 제1 암호화 장치(120)는 ki를 1만큼 증가시킨 후(306), 302 단계로 되돌아 간다.
반면, ki=ℓi인 경우, 제1 암호화 장치(120)는 데이터 집합 Xi에 대한 암호문 CTi,T를 생성한다(307).
이때, 암호문 CTi,T는 상술한 수학식 5와 같이 데이터 집합 Xi에 대한 라벨 T, 데이터 집합 Xi에 포함된 각 원소
Figure 112020135711330-pat00214
에 대한 제1 암호문 요소
Figure 112020135711330-pat00215
및 제2 암호문 요소
Figure 112020135711330-pat00216
를 포함할 수 있다.
한편, 도 3에 도시된 순서도에서 적어도 일부의 단계들은 순서를 바꾸어 수행되거나, 다른 단계와 결합되어 함께 수행되거나, 생략되거나, 세부 단계들로 나뉘어 수행되거나, 또는 도시되지 않은 하나 이상의 단계가 부가되어 수행될 수 있다.
도 4는 일 실시예에 따른 교집합 생성 과정을 나타낸 순서도이다.
도 4를 참조하면, 우선, 복호화 장치(140)는 데이터 집합 Xi에 대한 암호문 CTi,T에 포함된 라벨 T와 데이터 집합 Xj에 대한 암호문 CTj,T'에 포함된 라벨 T'가 동일한지 여부를 판단한다(410).
이때, T≠T'인 경우, 복호화 장치(140)은 교집합 생성이 불가능한 것으로 판단하고, 교집합 생성 절차를 종료한다. 이 경우, 실시예에 따라, 복호화 장치(140)는 교집합 생성이 불가능함을 나타내는 오류 메시지를 생성할 수 있다.
반면, T=T'인 경우, 복호화 장치(140)는 암호문 CTi,T에 포함된 모든 제1 암호문 요소
Figure 112020135711330-pat00217
에 대해 상술한 수학식 11을 이용한 제1 페어링(pairing) 연산을 수행하고, 암호문 CTj,T'에 포함된 모든 제1 암호문 요소
Figure 112020135711330-pat00218
에 대해 상술한 수학식 12를 이용한 제2 페어링 연산을 수행하여, 제1 결과 집합
Figure 112020135711330-pat00219
및 제2 결과 집합
Figure 112020135711330-pat00220
를 생성한다(430).
이후, 복호화 장치(140)는 제1 결과 집합
Figure 112020135711330-pat00221
과 상기 제2 결과 집합
Figure 112020135711330-pat00222
사이의 교집합인 제3 결과 집합 F=Ei∩Ej을 생성한다(440).
이후, 복호화 장치(140)는 제3 결과 집합 F가 공집합인지 여부를 판단하고(450), 공집합이 아닌 경우(즉,
Figure 112020135711330-pat00223
), 제3 결과 집합 F에 기초하여 교집합 S의 원소를 결정한다(460).
반면, 제3 결과 집합 F가 공집합인 경우(즉,
Figure 112020135711330-pat00224
), 복호화 장치(140)는 교집합 S를 출력한다(470). 즉, 이 경우, 복호화 장치(140)는 공집합인 S(즉,
Figure 112020135711330-pat00225
)를 출력할 수 있다.
한편, 도 4에 도시된 순서도에서 적어도 일부의 단계들은 순서를 바꾸어 수행되거나, 다른 단계와 결합되어 함께 수행되거나, 생략되거나, 세부 단계들로 나뉘어 수행되거나, 또는 도시되지 않은 하나 이상의 단계가 부가되어 수행될 수 있다.
도 5는 일 실시예에 따른 교집합 S의 원소를 결정하는 과정을 나타낸 순서도이다.
도 5에 도시된 과정은 예를 들어, 도 4에 도시된 460 단계에서 복호화 장치(140)에 의해 수행될 수 있다.
도 5를 참조하면, 우선, 복호화 장치(140)는 제3 결과 집합 F의 원소에 대한 인덱스 값 k를 1로 초기화한다(461).
이후, 복호화 장치(140)는
Figure 112020135711330-pat00226
를 만족하는
Figure 112020135711330-pat00227
Figure 112020135711330-pat00228
를 선택한다(462).
이후, 복호화 장치(140)는 선택된
Figure 112020135711330-pat00229
에 대응되는
Figure 112020135711330-pat00230
를 복호화하기 위한 복호화 키
Figure 112020135711330-pat00231
를 선택된
Figure 112020135711330-pat00232
Figure 112020135711330-pat00233
를 이용하여 생성한다(463).
이때, 복호화 장치(140)는 상술한 수학식 14를 이용하여 복호화 키
Figure 112020135711330-pat00234
를 생성할 수 있다.
이후, 복호화 장치(140)는 선택된
Figure 112020135711330-pat00235
에 대응되는
Figure 112020135711330-pat00236
를 복호화 키
Figure 112020135711330-pat00237
를 이용하여 복호화한다(464).
이때, 복호화 장치(140)는 상술한 수학식 15를 이용하여
Figure 112020135711330-pat00238
를 복호화할 수 있다.
이후, 복호화 장치(140)는
Figure 112020135711330-pat00239
를 복호화한 결과인
Figure 112020135711330-pat00240
에 기초하여,
Figure 112020135711330-pat00241
를 만족하는지 여부를 판단한다(465).
이때,
Figure 112020135711330-pat00242
인 경우, 복호화 장치(140)는
Figure 112020135711330-pat00243
를 교집합 S의 원소로 추가한다(466).
이후, 복호화 장치(140)는 인덱스 값 k가 제3 결과 집합 F에 포함된 원소들의 개수 |F|와 동일한지 여부를 판단한다(467).
이때, k≠|F|인 경우, 복호화 장치(140)는 k를 1만큼 증가시킨 후(468), 462 단계로 되돌아 간다.
반면, k=|F|인 경우, 복호화 장치(140)는 S를 두 데이터 집합 Xi와 Xj에 대한 교집합(즉, S=(Xi∩Xj))으로 출력한다(470).
한편, 도 5에 도시된 순서도에서 적어도 일부의 단계들은 순서를 바꾸어 수행되거나, 다른 단계와 결합되어 함께 수행되거나, 생략되거나, 세부 단계들로 나뉘어 수행되거나, 또는 도시되지 않은 하나 이상의 단계가 부가되어 수행될 수 있다.
도 6은 예시적인 실시예들에서 사용되기에 적합한 컴퓨팅 장치를 포함하는 컴퓨팅 환경을 예시하여 설명하기 위한 블록도이다. 도시된 실시예에서, 각 컴포넌트들은 이하에 기술된 것 이외에 상이한 기능 및 능력을 가질 수 있고, 이하에 기술되지 것 이외에도 추가적인 컴포넌트를 포함할 수 있다.
도시된 컴퓨팅 환경(10)은 컴퓨팅 장치(12)를 포함한다. 일 실시예에서, 컴퓨팅 장치(12)는 암호 시스템(100)에 포함되는 하나 이상의 컴포넌트일 수 있다.
컴퓨팅 장치(12)는 적어도 하나의 프로세서(14), 컴퓨터 판독 가능 저장 매체(16) 및 통신 버스(18)를 포함한다. 프로세서(14)는 컴퓨팅 장치(12)로 하여금 앞서 언급된 예시적인 실시예에 따라 동작하도록 할 수 있다. 예컨대, 프로세서(14)는 컴퓨터 판독 가능 저장 매체(16)에 저장된 하나 이상의 프로그램들을 실행할 수 있다. 상기 하나 이상의 프로그램들은 하나 이상의 컴퓨터 실행 가능 명령어를 포함할 수 있으며, 상기 컴퓨터 실행 가능 명령어는 프로세서(14)에 의해 실행되는 경우 컴퓨팅 장치(12)로 하여금 예시적인 실시예에 따른 동작들을 수행하도록 구성될 수 있다.
컴퓨터 판독 가능 저장 매체(16)는 컴퓨터 실행 가능 명령어 내지 프로그램 코드, 프로그램 데이터 및/또는 다른 적합한 형태의 정보를 저장하도록 구성된다. 컴퓨터 판독 가능 저장 매체(16)에 저장된 프로그램(20)은 프로세서(14)에 의해 실행 가능한 명령어의 집합을 포함한다. 일 실시예에서, 컴퓨터 판독 가능 저장 매체(16)는 메모리(랜덤 액세스 메모리와 같은 휘발성 메모리, 비휘발성 메모리, 또는 이들의 적절한 조합), 하나 이상의 자기 디스크 저장 디바이스들, 광학 디스크 저장 디바이스들, 플래시 메모리 디바이스들, 그 밖에 컴퓨팅 장치(12)에 의해 액세스되고 원하는 정보를 저장할 수 있는 다른 형태의 저장 매체, 또는 이들의 적합한 조합일 수 있다.
통신 버스(18)는 프로세서(14), 컴퓨터 판독 가능 저장 매체(16)를 포함하여 컴퓨팅 장치(12)의 다른 다양한 컴포넌트들을 상호 연결한다.
컴퓨팅 장치(12)는 또한 하나 이상의 입출력 장치(24)를 위한 인터페이스를 제공하는 하나 이상의 입출력 인터페이스(22) 및 하나 이상의 네트워크 통신 인터페이스(26)를 포함할 수 있다. 입출력 인터페이스(22) 및 네트워크 통신 인터페이스(26)는 통신 버스(18)에 연결된다. 입출력 장치(24)는 입출력 인터페이스(22)를 통해 컴퓨팅 장치(12)의 다른 컴포넌트들에 연결될 수 있다. 예시적인 입출력 장치(24)는 포인팅 장치(마우스 또는 트랙패드 등), 키보드, 터치 입력 장치(터치패드 또는 터치스크린 등), 음성 또는 소리 입력 장치, 다양한 종류의 센서 장치 및/또는 촬영 장치와 같은 입력 장치, 및/또는 디스플레이 장치, 프린터, 스피커 및/또는 네트워크 카드와 같은 출력 장치를 포함할 수 있다. 예시적인 입출력 장치(24)는 컴퓨팅 장치(12)를 구성하는 일 컴포넌트로서 컴퓨팅 장치(12)의 내부에 포함될 수도 있고, 컴퓨팅 장치(12)와는 구별되는 별개의 장치로 컴퓨팅 장치(12)와 연결될 수도 있다.
이상에서 대표적인 실시예를 통하여 본 발명에 대하여 상세하게 설명하였으나, 본 발명이 속하는 기술분야에서 통상의 지식을 가진 자는 전술한 실시예에 대하여 본 발명의 범주에서 벗어나지 않는 한도 내에서 다양한 변형이 가능함을 이해할 것이다. 그러므로 본 발명의 권리범위는 설명된 실시예에 국한되어 정해져서는 안 되며, 후술하는 특허청구범위뿐만 아니라 이 특허청구범위와 균등한 것들에 의해 정해져야 한다.
10: 컴퓨팅 환경
12: 컴퓨팅 장치
14: 프로세서
16: 컴퓨터 판독 가능 저장 매체
18: 통신 버스
20: 프로그램
22: 입출력 인터페이스
24: 입출력 장치
26: 네트워크 통신 인터페이스
100: 암호 시스템
110: 키 생성 장치
120: 제1 암호화 장치
130: 제2 암호화 장치
140: 복호화 장치

Claims (24)

  1. 사전 정의된 정수 집합에서 임의의 정수를 선택하는 단계; 및
    상기 임의의 정수, 마스터 키, 제1 사용자에 대한 제1 사용자 식별 정보 및 제2 사용자에 대한 제2 사용자 식별 정보에 기초하여, 상기 제1 사용자에 대한 제1 사용자 비밀키를 이용하여 암호화된 제1 데이터 집합과 상기 제2 사용자에 대한 제2 사용자 비밀키를 이용하여 암호화된 제2 데이터 집합 사이의 교집합을 생성하기 위해 이용될 함수키를 생성하는 단계를 포함하고,
    상기 제1 사용자 비밀키는, 아래의 수학식 1
    [수학식 1]
    Figure 112021066510768-pat00362

    (이때, EKi는 상기 제1 사용자 비밀키, z는 상기 마스터 키, PRF()는
    Figure 112021066510768-pat00363
    를 만족하는 의사 랜덤 함수(pseudo-random function),
    Figure 112021066510768-pat00364
    Figure 112021066510768-pat00365
    를 만족하는 상기 사전 정의된 정수 집합, p는 소수(prime number), IDi은 상기 제1 사용자 식별 정보, R1 및 R2는 R1≠R2를 만족하는 사전 설정된 값)
    을 만족하고,
    상기 제2 사용자 비밀키는, 아래의 수학식 2
    [수학식 2]
    Figure 112021066510768-pat00366

    (이때, EKj는 상기 제2 사용자 비밀키, IDj는 상기 제2 사용자 식별 정보)
    를 만족하고,
    상기 함수키는, 아래의 수학식 3
    [수학식 3]
    Figure 112021066510768-pat00367

    (이때, SKi,j는 상기 함수키,
    Figure 112021066510768-pat00368
    는 위수(order)가 상기 소수 p인 겹선형 군(bilinear group)
    Figure 112021066510768-pat00369
    의 생성원, r은
    Figure 112021066510768-pat00370
    를 만족하는 상기 임의의 정수)
    을 만족하는, 방법.
  2. 삭제
  3. 삭제
  4. 청구항 1에 있어서,
    상기 선택하는 단계 이전에, 상기 제1 사용자 비밀키 및 상기 제2 사용자 비밀키를 생성하는 단계; 및
    상기 제1 사용자 비밀키를 상기 제1 사용자에게 제공하고, 상기 제2 사용자 비밀키를 상기 제2 사용자에게 제공하는 단계를 더 포함하는, 방법.
  5. 제1 사용자에 대한 제1 사용자 비밀키를 이용하여 제1 데이터 집합을 암호화함으로써 생성된 제1 암호문 및 제2 사용자에 대한 제2 사용자 비밀키를 이용하여 제2 데이터 집합을 암호화함으로써 생성된 제2 암호문을 획득하는 단계;
    사전 정의된 정수 집합에서 선택된 임의의 정수, 마스터 키, 상기 제1 사용자에 대한 제1 사용자 식별 정보 및 상기 제2 사용자에 대한 제2 사용자 식별 정보에 기초하여 생성된 함수키를 획득하는 단계; 및
    상기 제1 암호문, 상기 제2 암호문 및 상기 함수키를 이용하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계를 포함하고,
    상기 제1 사용자 비밀키는, 아래의 수학식 1
    [수학식 1]
    Figure 112021066510768-pat00371

    (이때, EKi는 상기 제1 사용자 비밀키, z는 상기 마스터 키, PRF()는
    Figure 112021066510768-pat00372
    를 만족하는 의사 랜덤 함수(pseudo-random function),
    Figure 112021066510768-pat00373
    Figure 112021066510768-pat00374
    를 만족하는 상기 사전 정의된 정수 집합, p는 소수(prime number), IDi은 상기 제1 사용자 식별 정보, R1 및 R2는 R1≠R2를 만족하는 사전 설정된 값)
    을 만족하고,
    상기 제2 사용자 비밀키는, 아래의 수학식 2
    [수학식 2]
    Figure 112021066510768-pat00375

    (이때, EKj는 상기 제2 사용자 비밀키, IDj는 상기 제2 사용자 식별 정보)
    를 만족하고,
    상기 함수키는, 아래의 수학식 3
    [수학식 3]
    Figure 112021066510768-pat00376

    (이때, SKi,j는 상기 함수키,
    Figure 112021066510768-pat00377
    는 위수(order)가 상기 소수 p인 겹선형 군(bilinear group)
    Figure 112021066510768-pat00378
    의 생성원, r은
    Figure 112021066510768-pat00379
    를 만족하는 상기 임의의 정수)
    을 만족하는, 방법.
  6. 삭제
  7. 삭제
  8. 청구항 5에 있어서,
    상기 제1 암호문은, 상기 제1 데이터 집합에 대한 라벨, 상기 제1 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소 및 상기 제1 데이터 집합에 포함된 각 원소에 대한 제2 암호문 요소를 포함하고,
    상기 제2 암호문은, 상기 제2 데이터 집합에 대한 라벨, 상기 제2 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소 및 상기 제2 데이터 집합에 포함된 각 원소에 대한 제2 암호문 요소를 포함하는, 방법.
  9. 청구항 8에 있어서,
    상기 제1 암호문은, 아래의 수학식 4
    [수학식 4]
    Figure 112020135711330-pat00262

    (이때, T는 상기 제1 데이터 집합에 대한 라벨, CTi,T는 상기 제1 암호문,
    Figure 112020135711330-pat00263
    는 상기 제1 데이터 집합에 포함된 ki번째 원소
    Figure 112020135711330-pat00264
    에 대한 제1 암호문 요소, H1()은 H1:{0,1}*→G를 만족하는 해시 함수, G는 위수가 상기 소수 p인 겹선형 군,
    Figure 112020135711330-pat00265
    는 상기 ki번째 원소
    Figure 112020135711330-pat00266
    에 대한 제2 암호문 요소,
    Figure 112020135711330-pat00267
    는 상기 ki번째 원소
    Figure 112020135711330-pat00268
    에 대한 암호화 키, Enc()는 대칭키 암호 알고리즘을 이용한 암호화, ℓi는 상기 제1 데이터 집합에 포함된 원소의 개수)
    를 만족하고,
    상기 제2 암호문은 아래의 수학식 5
    [수학식 5]
    Figure 112020135711330-pat00269

    (이때, T'는 상기 제2 데이터 집합에 대한 라벨, CTj,T'는 상기 제2 암호문,
    Figure 112020135711330-pat00270
    는 상기 제2 데이터 집합에 포함된 kj번째 원소
    Figure 112020135711330-pat00271
    에 대한 제1 암호문 요소,
    Figure 112020135711330-pat00272
    는 상기 kj번째 원소
    Figure 112020135711330-pat00273
    에 대한 제2 암호문 요소,
    Figure 112020135711330-pat00274
    는 상기 kj번째 원소
    Figure 112020135711330-pat00275
    에 대한 암호화 키, ℓj는 상기 제2 데이터 집합에 포함된 원소의 개수)
    를 만족하는, 방법.
  10. 청구항 9에 있어서,
    상기
    Figure 112020135711330-pat00276
    는, 아래의 수학식 6
    [수학식 6]
    Figure 112020135711330-pat00277

    (이때, e는
    Figure 112020135711330-pat00278
    를 만족하는 겹선형 함수(bilinear map),
    Figure 112020135711330-pat00279
    는 위수가 상기 소수 p인 겹선형 군, H2()는 보안 상수 1λ에 대해 H2:GT→K를 만족하는 해시 함수, K는 상기 대칭키 암호 알고리즘의 키 공간(key space))
    을 만족하고,
    상기
    Figure 112020135711330-pat00280
    는, 아래의 수학식 7
    [수학식 7]
    Figure 112020135711330-pat00281

    을 만족하는, 방법.
  11. 청구항 10에 있어서,
    상기 교집합을 생성하는 단계는, 상기 제1 데이터 집합에 대한 라벨과 상기 제2 데이터 집합에 대한 라벨이 동일한지 여부를 판단하는 단계;
    상기 제1 데이터 집합에 대한 라벨과 상기 제2 데이터 집합에 대한 라벨이 동일한 경우, 상기 제1 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소에 대해 아래의 수학식 8
    [수학식 8]
    Figure 112020135711330-pat00282

    을 이용한 제1 페어링(pairing) 연산을 수행하여 아래의 수학식 9
    [수학식 9]
    Figure 112020135711330-pat00283

    를 만족하는 제1 결과 집합
    Figure 112020135711330-pat00284
    을 생성하는 단계;
    상기 제2 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소에 대해 아래의 수학식 10
    [수학식 10]
    Figure 112020135711330-pat00285

    을 이용한 제2 페어링 연산을 수행하여 아래의 수학식 11
    [수학식 11]
    Figure 112020135711330-pat00286

    을 만족하는 제2 결과 집합
    Figure 112020135711330-pat00287
    을 생성하는 단계; 및
    상기 제1 결과 집합과 상기 제2 결과 집합 사이의 교집합인 제3 결과 집합이 존재하는 경우, 상기 제3 결과 집합에 기초하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계를 포함하는, 방법.
  12. 청구항 11에 있어서,
    상기 제3 결과 집합에 기초하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계는,
    상기 제3 결과 집합에 포함된 각 원소에 대해, 아래의 수학식 12
    [수학식 12]
    Figure 112020135711330-pat00288

    (이때, Fk는 상기 제3 결과 집합의 k번째 원소)
    를 만족하는
    Figure 112020135711330-pat00289
    Figure 112020135711330-pat00290
    를 선택하는 단계;
    아래의 수학식 13
    [수학식 13]
    Figure 112020135711330-pat00291

    을 이용하여, 상기 선택된
    Figure 112020135711330-pat00292
    에 대응되는
    Figure 112020135711330-pat00293
    를 복호화하기 위한 복호화 키
    Figure 112020135711330-pat00294
    를 생성하는 단계;
    아래의 수학식 14
    [수학식 14]
    Figure 112020135711330-pat00295

    (이때, Dec()는 상기 대칭키 암호 알고리즘을 이용한 복호화)
    를 이용하여 상기 선택된
    Figure 112020135711330-pat00296
    에 대응되는
    Figure 112020135711330-pat00297
    를 복호화하는 단계; 및
    Figure 112020135711330-pat00298
    를 만족하는 경우, 상기
    Figure 112020135711330-pat00299
    를 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합의 원소로 결정하는 단계를 포함하는, 방법.
  13. 하나 이상의 프로세서;
    메모리; 및
    하나 이상의 프로그램을 포함하는 장치로서,
    상기 하나 이상의 프로그램은 상기 메모리에 저장되고 상기 하나 이상의 프로세서에 의해 실행되도록 구성되며,
    상기 하나 이상의 프로그램은,
    사전 정의된 정수 집합에서 임의의 정수를 선택하는 단계; 및
    상기 임의의 정수, 마스터 키, 제1 사용자에 대한 제1 사용자 식별 정보 및 제2 사용자에 대한 제2 사용자 식별 정보에 기초하여, 상기 제1 사용자에 대한 제1 사용자 비밀키를 이용하여 암호화된 제1 데이터 집합과 상기 제2 사용자에 대한 제2 사용자 비밀키를 이용하여 암호화된 제2 데이터 집합 사이의 교집합을 생성하기 위해 이용될 함수키를 생성하는 단계를 실행하기 위한 명령어들을 포함하고,
    상기 제1 사용자 비밀키는, 아래의 수학식 1
    [수학식 1]
    Figure 112021066510768-pat00380

    (이때, EKi는 상기 제1 사용자 비밀키, z는 상기 마스터 키, PRF()는
    Figure 112021066510768-pat00381
    를 만족하는 의사 랜덤 함수(pseudo-random function),
    Figure 112021066510768-pat00382
    Figure 112021066510768-pat00383
    를 만족하는 상기 사전 정의된 정수 집합, p는 소수(prime number), IDi은 상기 제1 사용자 식별 정보, R1 및 R2는 R1≠R2를 만족하는 사전 설정된 값)
    을 만족하고,
    상기 제2 사용자 비밀키는, 아래의 수학식 2
    [수학식 2]
    Figure 112021066510768-pat00384

    (이때, EKj는 상기 제2 사용자 비밀키, IDj는 상기 제2 사용자 식별 정보)
    를 만족하고,
    상기 함수키는, 아래의 수학식 3
    [수학식 3]
    Figure 112021066510768-pat00385

    (이때, SKi,j는 상기 함수키,
    Figure 112021066510768-pat00386
    는 위수(order)가 상기 소수 p인 겹선형 군(bilinear group)
    Figure 112021066510768-pat00387
    의 생성원, r은
    Figure 112021066510768-pat00388
    를 만족하는 상기 임의의 정수)
    을 만족하는, 장치.
  14. 삭제
  15. 삭제
  16. 청구항 13에 있어서,
    상기 하나 이상의 프로그램은,
    상기 선택하는 단계 이전에, 상기 제1 사용자 비밀키 및 상기 제2 사용자 비밀키를 생성하는 단계; 및
    상기 제1 사용자 비밀키를 상기 제1 사용자에게 제공하고, 상기 제2 사용자 비밀키를 상기 제2 사용자에게 제공하는 단계를 실행하기 위한 명령어들을 더 포함하는, 장치.
  17. 하나 이상의 프로세서;
    메모리; 및
    하나 이상의 프로그램을 포함하는 장치로서,
    상기 하나 이상의 프로그램은 상기 메모리에 저장되고 상기 하나 이상의 프로세서에 의해 실행되도록 구성되며,
    상기 하나 이상의 프로그램은,
    제1 사용자에 대한 제1 사용자 비밀키를 이용하여 제1 데이터 집합을 암호화함으로써 생성된 제1 암호문 및 제2 사용자에 대한 제2 사용자 비밀키를 이용하여 제2 데이터 집합을 암호화함으로써 생성된 제2 암호문을 획득하는 단계;
    사전 정의된 정수 집합에서 선택된 임의의 정수, 마스터 키, 상기 제1 사용자에 대한 제1 사용자 식별 정보 및 상기 제2 사용자에 대한 제2 사용자 식별 정보에 기초하여 생성된 함수키를 획득하는 단계; 및
    상기 제1 암호문, 상기 제2 암호문 및 상기 함수키를 이용하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계를 실행하기 위한 명령어들을 포함하고,
    상기 제1 사용자 비밀키는, 아래의 수학식 1
    [수학식 1]
    Figure 112021066510768-pat00389

    (이때, EKi는 상기 제1 사용자 비밀키, z는 상기 마스터 키, PRF()는
    Figure 112021066510768-pat00390
    를 만족하는 의사 랜덤 함수(pseudo-random function),
    Figure 112021066510768-pat00391
    Figure 112021066510768-pat00392
    를 만족하는 상기 사전 정의된 정수 집합, p는 소수(prime number), IDi은 상기 제1 사용자 식별 정보, R1 및 R2는 R1≠R2를 만족하는 사전 설정된 값)
    을 만족하고,
    상기 제2 사용자 비밀키는, 아래의 수학식 2
    [수학식 2]
    Figure 112021066510768-pat00393

    (이때, EKj는 상기 제2 사용자 비밀키, IDj는 상기 제2 사용자 식별 정보)
    를 만족하고,
    상기 함수키는, 아래의 수학식 3
    [수학식 3]
    Figure 112021066510768-pat00394

    (이때, SKi,j는 상기 함수키,
    Figure 112021066510768-pat00395
    는 위수(order)가 상기 소수 p인 겹선형 군(bilinear group)
    Figure 112021066510768-pat00396
    의 생성원, r은
    Figure 112021066510768-pat00397
    를 만족하는 상기 임의의 정수)
    을 만족하는, 장치.
  18. 삭제
  19. 삭제
  20. 청구항 17에 있어서,
    상기 제1 암호문은, 상기 제1 데이터 집합에 대한 라벨, 상기 제1 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소 및 상기 제1 데이터 집합에 포함된 각 원소에 대한 제2 암호문 요소를 포함하고,
    상기 제2 암호문은, 상기 제2 데이터 집합에 대한 라벨, 상기 제2 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소 및 상기 제2 데이터 집합에 포함된 각 원소에 대한 제2 암호문 요소를 포함하는, 장치.
  21. 청구항 20에 있어서,
    상기 제1 암호문은, 아래의 수학식 4
    [수학식 4]
    Figure 112020135711330-pat00318

    (이때, T는 상기 제1 데이터 집합에 대한 라벨, CTi,T는 상기 제1 암호문,
    Figure 112020135711330-pat00319
    는 상기 제1 데이터 집합에 포함된 ki번째 원소
    Figure 112020135711330-pat00320
    에 대한 제1 암호문 요소, H1()은 H1:{0,1}*→G를 만족하는 해시 함수, G는 위수가 상기 소수 p인 겹선형 군,
    Figure 112020135711330-pat00321
    는 상기 ki번째 원소
    Figure 112020135711330-pat00322
    에 대한 제2 암호문 요소,
    Figure 112020135711330-pat00323
    는 상기 ki번째 원소
    Figure 112020135711330-pat00324
    에 대한 암호화 키, Enc()는 대칭키 암호 알고리즘을 이용한 암호화, ℓi는 상기 제1 데이터 집합에 포함된 원소의 개수)
    를 만족하고,
    상기 제2 암호문은 아래의 수학식 5
    [수학식 5]
    Figure 112020135711330-pat00325

    (이때, T'는 상기 제2 데이터 집합에 대한 라벨, CTj,T'는 상기 제2 암호문,
    Figure 112020135711330-pat00326
    는 상기 제2 데이터 집합에 포함된 kj번째 원소
    Figure 112020135711330-pat00327
    에 대한 제1 암호문 요소,
    Figure 112020135711330-pat00328
    는 상기 kj번째 원소
    Figure 112020135711330-pat00329
    에 대한 제2 암호문 요소,
    Figure 112020135711330-pat00330
    는 상기 kj번째 원소
    Figure 112020135711330-pat00331
    에 대한 암호화 키, ℓj는 상기 제2 데이터 집합에 포함된 원소의 개수)
    를 만족하는, 장치.
  22. 청구항 21에 있어서,
    상기
    Figure 112020135711330-pat00332
    는, 아래의 수학식 6
    [수학식 6]
    Figure 112020135711330-pat00333

    (이때, e는
    Figure 112020135711330-pat00334
    를 만족하는 겹선형 함수(bilinear map),
    Figure 112020135711330-pat00335
    는 위수가 상기 소수 p인 겹선형 군, H2()는 보안 상수 1λ에 대해 H2:GT→K를 만족하는 해시 함수, K는 상기 대칭키 암호 알고리즘의 키 공간(key space))
    을 만족하고,
    상기
    Figure 112020135711330-pat00336
    는, 아래의 수학식 7
    [수학식 7]
    Figure 112020135711330-pat00337

    을 만족하는, 장치.
  23. 청구항 22에 있어서,
    상기 교집합을 생성하는 단계는, 상기 제1 데이터 집합에 대한 라벨과 상기 제2 데이터 집합에 대한 라벨이 동일한지 여부를 판단하는 단계;
    상기 제1 데이터 집합에 대한 라벨과 상기 제2 데이터 집합에 대한 라벨이 동일한 경우, 상기 제1 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소에 대해 아래의 수학식 8
    [수학식 8]
    Figure 112020135711330-pat00338

    을 이용한 제1 페어링(pairing) 연산을 수행하여 아래의 수학식 9
    [수학식 9]
    Figure 112020135711330-pat00339

    를 만족하는 제1 결과 집합
    Figure 112020135711330-pat00340
    을 생성하는 단계;
    상기 제2 데이터 집합에 포함된 각 원소에 대한 제1 암호문 요소에 대해 아래의 수학식 10
    [수학식 10]
    Figure 112020135711330-pat00341

    을 이용한 제2 페어링 연산을 수행하여 아래의 수학식 11
    [수학식 11]
    Figure 112020135711330-pat00342

    을 만족하는 제2 결과 집합
    Figure 112020135711330-pat00343
    을 생성하는 단계; 및
    상기 제1 결과 집합과 상기 제2 결과 집합 사이의 교집합인 제3 결과 집합이 존재하는 경우, 상기 제3 결과 집합에 기초하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계를 포함하는, 장치.
  24. 청구항 23에 있어서,
    상기 제3 결과 집합에 기초하여 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합을 생성하는 단계는,
    상기 제3 결과 집합에 포함된 각 원소에 대해, 아래의 수학식 12
    [수학식 12]
    Figure 112020135711330-pat00344

    (이때, Fk는 상기 제3 결과 집합의 k번째 원소)
    를 만족하는
    Figure 112020135711330-pat00345
    Figure 112020135711330-pat00346
    를 선택하는 단계;
    아래의 수학식 13
    [수학식 13]
    Figure 112020135711330-pat00347

    을 이용하여, 상기 선택된
    Figure 112020135711330-pat00348
    에 대응되는
    Figure 112020135711330-pat00349
    를 복호화하기 위한 복호화 키
    Figure 112020135711330-pat00350
    를 생성하는 단계;
    아래의 수학식 14
    [수학식 14]
    Figure 112020135711330-pat00351

    (이때, Dec()는 상기 대칭키 암호 알고리즘을 이용한 복호화)
    를 이용하여 상기 선택된
    Figure 112020135711330-pat00352
    에 대응되는
    Figure 112020135711330-pat00353
    를 복호화하는 단계; 및
    Figure 112020135711330-pat00354
    를 만족하는 경우, 상기
    Figure 112020135711330-pat00355
    를 상기 제1 데이터 집합과 상기 제2 데이터 집합 사이의 교집합의 원소로 결정하는 단계를 포함하는, 장치.
KR1020200174799A 2020-12-14 2020-12-14 효율적인 교집합 연산을 위한 함수 암호 기술 KR102284877B1 (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020200174799A KR102284877B1 (ko) 2020-12-14 2020-12-14 효율적인 교집합 연산을 위한 함수 암호 기술

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020200174799A KR102284877B1 (ko) 2020-12-14 2020-12-14 효율적인 교집합 연산을 위한 함수 암호 기술

Publications (1)

Publication Number Publication Date
KR102284877B1 true KR102284877B1 (ko) 2021-07-30

Family

ID=77148678

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020200174799A KR102284877B1 (ko) 2020-12-14 2020-12-14 효율적인 교집합 연산을 위한 함수 암호 기술

Country Status (1)

Country Link
KR (1) KR102284877B1 (ko)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20230048912A (ko) 2021-10-05 2023-04-12 세종대학교산학협력단 분산화된 키 발급을 지원하는 교집합 연산을 위한 효율적인 함수 암호 기술

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2014138213A (ja) * 2013-01-15 2014-07-28 Nippon Telegr & Teleph Corp <Ntt> 三者間鍵共有システム、三者間鍵共有方法、ユーザ装置、プログラム
KR101575681B1 (ko) * 2014-08-22 2015-12-09 고려대학교 산학협력단 속성 기반 암호화 방법
KR20180101870A (ko) * 2017-03-06 2018-09-14 고려대학교 산학협력단 클라우드 컴퓨팅 환경에서의 속성 기반 암호화를 이용한 데이터 공유 방법 및 시스템
CN109525386A (zh) * 2018-11-29 2019-03-26 东北大学 一种基于Paillier同态加密私有交集和的方法
KR102143525B1 (ko) 2019-12-04 2020-08-11 세종대학교산학협력단 교집합 연산을 지원하는 함수 암호를 위한 방법 및 이를 이용한 장치

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2014138213A (ja) * 2013-01-15 2014-07-28 Nippon Telegr & Teleph Corp <Ntt> 三者間鍵共有システム、三者間鍵共有方法、ユーザ装置、プログラム
KR101575681B1 (ko) * 2014-08-22 2015-12-09 고려대학교 산학협력단 속성 기반 암호화 방법
KR20180101870A (ko) * 2017-03-06 2018-09-14 고려대학교 산학협력단 클라우드 컴퓨팅 환경에서의 속성 기반 암호화를 이용한 데이터 공유 방법 및 시스템
CN109525386A (zh) * 2018-11-29 2019-03-26 东北大学 一种基于Paillier同态加密私有交集和的方法
KR102143525B1 (ko) 2019-12-04 2020-08-11 세종대학교산학협력단 교집합 연산을 지원하는 함수 암호를 위한 방법 및 이를 이용한 장치

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20230048912A (ko) 2021-10-05 2023-04-12 세종대학교산학협력단 분산화된 키 발급을 지원하는 교집합 연산을 위한 효율적인 함수 암호 기술

Similar Documents

Publication Publication Date Title
KR102143525B1 (ko) 교집합 연산을 지원하는 함수 암호를 위한 방법 및 이를 이용한 장치
CN112055004A (zh) 一种基于小程序的数据处理方法和系统
KR102550812B1 (ko) 동형 암호를 이용한 암호문 비교 방법 및 이를 수행하기 위한 장치
KR101615137B1 (ko) 속성 기반의 데이터 접근 방법
US20160013933A1 (en) Order-preserving encryption system, device, method, and program
WO2022142837A1 (en) Hybrid key derivation to secure data
KR102284877B1 (ko) 효율적인 교집합 연산을 위한 함수 암호 기술
JP6270683B2 (ja) 暗号システム、暗号方法、普遍再暗号化鍵生成装置及び再暗号化鍵生成装置
KR101947871B1 (ko) 내적 값을 출력하는 함수 암호화 시스템 및 방법
KR102132685B1 (ko) 순서 노출 암호화를 위한 장치 및 방법
KR102281265B1 (ko) 시간 제약을 지원하는 교집합 연산을 위한 함수 암호 기술
Anwarbasha et al. An efficient and secure protocol for checking remote data integrity in multi-cloud environment
Barker Cryptographic Standards in the Federal Government: Cryptographic Mechanisms
CN111953480B (zh) 密钥生成装置以及方法、运算密钥生成装置以及方法
KR102526114B1 (ko) 암호화 및 복호화를 위한 장치 및 방법
KR102192594B1 (ko) 신뢰기관이 없는 다중 클라이언트 환경의 순서 노출 암호화를 위한 장치 및 방법
KR102123435B1 (ko) 멀티 클라이언트 환경에서 동치 질의를 지원하는 암호화 방법 및 이를 이용한 장치
KR102593179B1 (ko) 분산화된 키 발급을 지원하는 교집합 연산을 위한 효율적인 함수 암호 기술
KR102126295B1 (ko) 암호문 비교 방법 및 이를 수행하기 위한 장치
Saxena et al. A new way to enhance efficiency & security by using symmetric cryptography
CN112989386B (zh) 一种基于不经意传输的黑名单共享方法及系统
JP2015070498A (ja) 鍵交換システム、鍵交換装置、その方法、及びプログラム
CN116599647B (zh) 信息处理方法、服务节点、区块链网络和存储介质
US20240163078A1 (en) Attribute based encryption with bounded collusion resistance
KR102123440B1 (ko) 멀티 클라이언트 환경에서 범위 질의를 지원하는 암호화 방법 및 이를 이용한 장치

Legal Events

Date Code Title Description
E701 Decision to grant or registration of patent right
GRNT Written decision to grant