스마트홈 비프라이버시 보장 비용 효율적 스케줄링

본 논문은 스마트홈 환경에서 전력 사용 데이터를 통해 사용자의 생활 패턴이 외부에 노출되는 프라이버시 위험을 완화하면서도 전기 요금을 최소화하고자 하는 문제를 다룬다. 기존 연구들은 대부분 모든 가전이 스케줄링 가능하다고 가정하고, 배터리나 에너지 저장 장치를 이용해 부하를 평탄화하는 방법을 제안했지만, 실제 가정에서는 TV, 노트북, 전자레인지 등 사용자가 즉시 켜야 하는 비스케줄링 가전이 존재한다. 이러한 비스케줄링 가전은 불확실한 시점에 전력을 급증시켜 부하 프로파일에 뚜렷한 피크를 만들고, 이는 스마트미터 데이터를 분석하는 공격자에게 가전 사용 패턴을 추론할 수 있는 단서를 제공한다. 논문은 먼저 스마트홈 시스템 모델을 정의한다. 스케줄링 가능한 N개의 가전은 평균 전력 p_i와 총 작업량 E_i를 갖고, 남은 작업 시간 r_i(t)와 이진 시작 변수 x_i(t)로 모델링한다. 비스케줄링 가전은 총 전력 w(t)라는 하나의 파라미터로 집계한다. 재충전 가능한 배터리의 상태 B(t)는 충·방전 전력 z(t)에 따라 선형적으로 변하며, 배터리 용량 제한과 충·방전 전력 구간(z_min, z_max)이 존재한다. 전체 부하 l(t)는 스케줄링 가전, 비스케줄링 가전, 배터리 충·방전의 합으로 표현된다. 프라이버시 모델은 평균 부하 l와 각 시점 부하 l(t) 차이가 λ 이내이면 프라이버시가 보호된다고 정의한다. λ는 사용자가 설정하는 허용 오차이며, 값이 클수록 부하 평탄화 요구가 완화된다. 문제는 기대 전기 비용을 최소화하면서 프라이버시 제약을 만족하는 스케줄링 결정을 찾는 것으로 공식화된다. 기대값은 비스케줄링 가전의 불확실성을 반영하기 위해 도입되며, 실제 최적화는 (8)식에 제시된 제약 조건들을 포함한다. 특히 프라이버시 제약(8b)은 비스케줄링 가전이 최악의 상황, 즉 가장 큰 피크를 발생시킬 수 있는 구간 φ=