1 |
1
전자 장치로부터 소스 코드를 암호화한 암호문을 수신하는 동작;상기 암호문에 대하여 동형 연산을 수행하는 동작;상기 동형 연산 결과에 대하여, 악성 코드를 포함하는지 여부를 판별하기 위한 판별 알고리즘을 적용하는 동작; 및상기 판별 알고리즘의 적용 결과를 복호화하여, 상기 전자 장치로부터 수신된 소스 코드가 악성 코드인지 여부를 판단하는 동작을 포함하는 서버의 제어 방법
|
2 |
2
제 1 항에 있어서,상기 소스 코드는 포인터 조작이 가능한 소스 코드 및 집합 제약식에 대응하는 소스 코드 중 적어도 하나를 포함하는 서버의 제어 방법
|
3 |
3
제 1 항에 있어서,상기 암호문은, 상기 소스 코드의 변수 및 변수의 주소 집합 사이의 관계를 나타내는 복수 개의 서브 암호문을 포함하는 서버의 제어 방법
|
4 |
4
제 3 항에 있어서,상기 동형 연산을 수행하는 동작은,상기 복수 개의 서브 암호문 사이의 합집합 연산 및 곱연산을 수행하는 서버의 제어 방법
|
5 |
5
제 4 항에 있어서,상기 동형 연산을 수행하는 동작은,상기 합집합 연산 및 상기 곱연산을 기설정된 임계 횟수를 초과하여 수행하였는지를 판단하는 동작을 포함하는 서버의 제어 방법
|
6 |
6
제 5 항에 있어서,상기 동형 연산을 수행하는 동작은,상기 합집합 연산 및 상기 곱연산의 수행 횟수가 기설정된 임계 횟수 이하인 경우에는, 상기 복수 개의 서브 암호문을 변경하여 변경된 복수 개의 서브 암호문에 대하여 합집합 연산 및 곱연산을 수행하는 동작을 포함하는 서버의 제어 방법
|
7 |
7
제 5 항에 있어서,상기 동형 연산을 수행하는 동작은,상기 합집합 연산 및 상기 곱연산의 수행 횟수가 기설정된 임계 횟수 초과인 경우에는, 상기 판별 알고리즘을 적용하는 동작을 포함하는 서버의 제어 방법
|
8 |
8
제 3 항에 있어서,상기 판별 알고리즘은, 상기 복수 개의 서브 암호문 중 변수 및 포인터에 의한 주소 집합 사이의 포함 관계에 대응하는 서브 암호문의 값에 따라서 상기 소스 코드가 악성 코드인지 여부를 판별하는 서버의 제어 방법
|
9 |
9
제 1 항에 있어서,상기 판별 알고리즘의 적용 결과를 복호화하여, 상기 전자 장치로부터 수신된 소스 코드가 악성 코드인지 여부를 판단하는 동작은,상기 전자 장치와 협력하여 상기 적용 결과를 복호화하는 서버의 제어 방법
|
10 |
10
제 8 항에 있어서,상기 판별 알고리즘의 적용 결과를 복호화하여, 상기 전자 장치로부터 수신된 소스 코드가 악성 코드인지 여부를 판단하는 동작은,상기 전자 장치로부터 상기 적용 결과에 대한 제 1 부분 복호화 결과를 수신하는 동작;상기 적용 결과에 대한 제 2 부분 복호화를 수행하는 동작; 및상기 수신된 제 1 부분 복호화 결과 및 상기 제 2 부분 복호화 결과에 기초하여, 상기 수신된 소스 코드가 악성 코드인지 여부를 판단하는 동작을 포함하는 서버의 제어 방법
|
11 |
11
전자 장치와 통신을 수행하는 서버에 있어서,전자 장치로부터 소스 코드를 암호화한 암호문을 수신하는 통신 모듈; 및상기 암호문에 대하여 동형 연산을 수행하고, 상기 동형 연산 결과에 대하여, 악성 코드를 포함하는지 여부를 판별하기 위한 판별 알고리즘을 적용하고, 상기 판별 알고리즘의 적용 결과를 복호화하여, 상기 전자 장치로부터 수신된 소스 코드가 악성 코드인지 여부를 판단하는 프로세서를 포함하는 서버
|
12 |
12
제 11 항에 있어서,상기 소스 코드는 포인터 조작이 가능한 소스 코드 및 집합 제약식에 대응하는 소스 코드 중 적어도 하나를 포함하는 서버
|
13 |
13
제 11 항에 있어서,상기 암호문은, 상기 소스 코드의 변수 및 변수의 주소 집합 사이의 관계를 나타내는 복수 개의 서브 암호문을 포함하는 서버
|
14 |
14
제 13 항에 있어서,상기 프로세서는, 상기 복수 개의 서브 암호문 사이의 합집합 연산 및 곱연산을 수행하는 서버
|
15 |
15
제 14 항에 있어서,상기 프로세서는, 상기 합집합 연산 및 상기 곱연산을 기설정된 임계 횟수를 초과하여 수행하였는지를 판단하는 서버
|
16 |
16
제 15 항에 있어서,상기 프로세서는, 상기 합집합 연산 및 상기 곱연산의 수행 횟수가 기설정된 임계 횟수 이하인 경우에는, 상기 복수 개의 서브 암호문을 변경하여 변경된 복수 개의 서브 암호문에 대하여 합집합 연산 및 곱연산을 수행하는 서버
|
17 |
17
제 15 항에 있어서,상기 프로세서는, 상기 합집합 연산 및 상기 곱연산의 수행 횟수가 기설정된 임계 횟수 초과인 경우에는, 상기 판별 알고리즘을 적용하는 서버
|
18 |
18
제 13 항에 있어서,상기 판별 알고리즘은, 상기 복수 개의 서브 암호문 중 변수 및 포인터에 의한 주소 집합 사이의 포함 관계에 대응하는 서브 암호문의 값에 따라서 상기 소스 코드가 악성 코드인지 여부를 판별하는 서버
|
19 |
19
제 11 항에 있어서,상기 프로세서는, 상기 전자 장치와 협력하여 상기 적용 결과를 복호화하는 서버
|
20 |
20
제 18 항에 있어서,상기 통신 모듈은, 상기 전자 장치로부터 상기 적용 결과에 대한 제 1 부분 복호화 결과를 수신하고,상기 프로세서는, 상기 적용 결과에 대한 제 2 부분 복호화를 수행하고, 상기 수신된 제 1 부분 복호화 결과 및 상기 제 2 부분 복호화 결과에 기초하여, 상기 수신된 소스 코드가 악성 코드인지 여부를 판단하는 서버
|