https://github.com/mohit17067/file-system-integrity

A secure file system to check integrity of files.
https://github.com/mohit17067/file-system-integrity

Last synced: 8 days ago
JSON representation

A secure file system to check integrity of files.

• Host: GitHub
• URL: https://github.com/mohit17067/file-system-integrity
• Owner: Mohit17067
• Created: 2019-06-23T08:54:54.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-06-23T11:29:56.000Z (over 5 years ago)
• Last Synced: 2024-11-16T21:12:43.523Z (2 months ago)
• Language: C
• Size: 6.84 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# File-System-Integrity

A secure library (SecureFS) on top of the existing file system interfaces that raises the alarm if the integrity of the

files created through the secure library APIs is compromised. At the high-level, SecureFS maintains a Merkle tree for every file to check the consistency of file blocks before every read and write. The root of the Merkle tree is saved on disk to verify the integrity of files after reboot.

## Integrity Check

To check the integrity of file, SecureFS computes a unique hash value from the

file contents and store in secure.txt file. SecureFS assumes that secure.txt

cannot be tampered. When a file is opened, SecureFS creates a Merkle tree

(in memory) from the file blocks. secure.txt contains the root of the Merkle

tree corresponding to every file created by the SecureFS interface. Whenever

a file is modified the Merkle tree is updated, and the root of the Merkle tree is

synced with the secure.txt. The in-memory Merkle tree is deleted when the

file is closed.

## Testing

Execute `make && make run` in the filesys folder to run the test cases.

The filesys folder contains four test cases.