[보안뉴스 요약]프로그램 합성, 보안, 그리고 인공지능

Pixabay로부터 입수된 Gordon Johnson님의 이미지 입니다.  

컴퓨터가 "프로그래밍"을 할 수 있을까?" 이에 관한 질문은 이미 60여 년부터 시작함.
최근엔 프로그램 합성 이라는 분야를 통해 급성장함.

프로그램 성장이란 사람이 원하는 프로그램을 자동으로 만들어내는 기술을 말함.

예를 들어 숫자 배열을 정렬하는 프로그램을 만들고 싶을 때 사람이 타자로 입력해 소스코드를 작성하는 게 아닌 프로그램 합성을 활용하면 프로그램의 명세나 사용례를 기반으로 컴퓨터가 자동으로 해당 소스코드를 구현함.

프로그램 합성은 사용례라 불리는 학슴데이터로부터 하나의 모델을 생성하는데, 이것은 기계학습으로 구현함. 다만 기존의 것과 다른 것은 모델의 구조적 형태가 프로그래밍 언어인 것일 뿐.

 

 

프로그램 합성은 보안 연구에도 적용되고 있음. 대표적인 사례로는 난독화된 코드의 해제.

악성코드에서는 리버싱을 어렵게 하려고 난독화 기술을 사용함. 근데 난독화가 적용되기 이전의 원본 코드와 난독화 이후의 코드는 모두 같은 동작을 해야함 즉 항상 같은 출력 값이 나와야 함.
이러한 관점에서 프로그램 합성을 하여 간결한 코드를 나타낼수 있을 것.

우리 사회는 인공지능에 얼마나 포괄적인 의미가 있는지 관심을 두지 않은채 오로지 인공지능이라는 키워드에만 집중하고 있음.
하지만, 시야를 조금만 넓히면 우리가 하는 수많은 컴퓨터 과학, 컴퓨터 보안의 기술들이 이미 인공지능의 범주에 포함 될 것이 아닐까 생각함.

[글_ 차상길 KAIST 사이버보안연구센터 센터장]

 

https://www.boannews.com/media/view.asp?idx=92658&fbclid=IwAR1jLdSj2A_DB3Eaxahmk5apGoElqhf6-isPWJtpGPRCdw0Z17TFt5MifXU

[CSRC@KAIST 차세대보안R&D리포트] 프로그램 합성, 보안, 그리고 인공지능