Key points are not available for this paper at this time.
데이터 최소화는 개인 데이터 규정의 기둥 중 하나로 간주되는 프라이버시 강화 원칙입니다. 이 원칙은 수집된 개인 데이터가 사용자가 동의한 특정 목적에 대해 필요 이상의 정보가 수집되지 않아야 한다고 규정합니다. 본 논문에서는 프로그래밍 언어 관점에서 데이터 최소화를 연구합니다. 주어진 프로그램이 데이터 수집의 목적을 구현한다고 가정하고, 기능성을 손상시키지 않으면서 프로그램에 제공되는 정보의 양을 줄이는 입력용 전처리기로서 데이터 최소화기를 정의합니다. 이 맥락에서 우리는 데이터 최소화에 대한 형식적 정의를 연구하고, 데이터 최소화를 보장하기 위한 다양한 메커니즘과 아키텍처를 제시하며, 주어진 프로그램에 대한 올바른 데이터 최소화기를 합성하는 절차를 제공합니다.
안티그나크 외 (목요일), 이 질문을 연구했습니다.