Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
지속성 메모리(Persistent memory) 환경에서 프로그램의 정보 흐름 보안을 보장하기 위한 새로운 논리 모델을 제안합니다. 비구조적 언어 모델링과 재정렬 간섭 자유(RIF) 개념을 통해 x86 어셈블리 및 지속성 메모리에서의 보안 추론 가능성을 입증합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.PL (Programming Languages)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기지속성 메모리(Persistent memory)는 런타임 효율성 향상과 전원 차단 및 시스템 충돌로부터 프로그램이 복구할 수 있는 능력을 포함하여, 시스템 전반에 걸친 많은 이점을 제공하는 최근 제안된 메모리 패러다임입니다. 최근 연구들이 관련 아키텍처에서 실행되는 프로그램의 기능적 정확성(functional correctness)을 증명하기 위한 기술들을 조사해 왔지만, 이와 직교하는 개념인 정보 흐름 보안(information flow security)에 대해서는 그렇지 않습니다. 본 논문에서는 단순한 어셈블리 언어를 모델링하는 비구조적 언어(즉, 루프(loops) 대신 goto를 사용하는 언어)를 위한 정보 흐름 논리(information flow logic)를 제공합니다. 우리는 메모리로의 잠재적인 비순차적 명령어 전파(out-of-order propagation)를 추론하기 위해 재정렬 간섭 자유(reordering interference freedom, rif)라는 개념을 사용하여 x86 어셈블리에 이 논리를 적용합니다. 그런 다음, 동일한 rif 개념이 지속성 메모리에서의 정보 흐름을 유사하게 추론하는 데 어떻게 사용될 수 있는지 보여줍니다.