Using Declarative Invariants for Protecting File-System Integrity

Conference paperSun et al. 2011Cite as [@sunUsingDeclarativeInvariants2011]

Sun, Jack, Daniel Fryer, Ashvin Goel, and Angela Demke Brown. 2011. “Using Declarative Invariants for Protecting File-System Integrity.” In Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 6:1–6:5. Cascais, Portugal.

BibTeX

@inproceedings{sunUsingDeclarativeInvariants2011,
  title = {Using {{Declarative Invariants}} for {{Protecting File-System Integrity}}},
  booktitle = {Proceedings of the 6th {{Workshop}} on {{Programming Languages}} and {{Operating Systems}}},
  author = {Sun, Jack and Fryer, Daniel and Goel, Ashvin and Brown, Angela Demke},
  year = 2011,
  pages = {6:1--6:5},
  address = {Cascais, Portugal}
}

Download