아웃소싱 저장을 위한 암호화 파일 시스템의 무결성과 기밀성 보호에 대하여

암호화 네트워크 파일 시스템은 파일의 기밀성과 무결성을 보장해야 하며, 또한 임의 접근을 지원해야 합니다. 이를 위해 기존 디자인은 주로 Merkle 해시 트리와 블록 암호화 모드의 (종종 즉흥적인) 조합에 의존합니다. 본 논문에서는 상태 기반 MAC를 사용하는 범용 해시 기반 MAC 트리 구조에 기반한 새로운 디자인을 제안합니다. 이 새로운 디자인은 표준 모델 보안 증명을 가능하게 하며 Merkle 해시 트리에 비해 더 나은 성능을 제공합니다. 우리는 파일 암호화에 대한 보안 개념을 공식적으로 정의하고, 우리의 방식이 기밀성과 무결성을 모두 제공함을 증명합니다. 우리는 사용자 수준의 네트워크 파일 시스템인 coreFS에 우리의 방식을 구현하고, 표준 디자인과 비교하여 성능을 평가합니다. 실험 결과는 우리의 구조가 더 작은 비용으로 무결성 보호를 제공한다는 것을 확인합니다.