ARTICLES
1,556,630 Article(s)
1, 2, 3, 4, 5, 6 >>
Document(s)
Title
We present an information flow monitoring mechanism for sequential programs. The monitor executes a program on standard data that are tagged with labels indicating their security level. We formalize the monitoring mechanism as a big-step operational ...