Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Information Security
Maia And Mandos: Tools For Integrity Protection On Arbitrary Files, Paul J. Bonamy
Maia And Mandos: Tools For Integrity Protection On Arbitrary Files, Paul J. Bonamy
Dissertations, Master's Theses and Master's Reports
We present the results of our dissertation research, which focuses on practical means of protecting system data integrity. In particular, we present Maia, a language for describing integrity constraints on arbitrary file types, and Mandos, a Linux Security Module which uses verify-on-close to enforce mandatory integrity guarantees. We also provide details of a Maia-based verifier generator, demonstrate that Maia and Mandos introduce minimal delay in performing their tasks, and include a selection of sample Maia specifications.