|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel |
Laminar: practical fine-grained decentralized information flow control.  |
PLDI  |
2009 |
DBLP DOI BibTeX RDF |
security region, operating systems, java virtual machine, information flow control |
| 2 | Petros Efstathopoulos, Eddie Kohler |
Manageable fine-grained information flow.  |
EuroSys  |
2008 |
DBLP DOI BibTeX RDF |
decentralized information flow control, debugging, labels, policy language |
| 2 | Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris |
Information flow control for standard OS abstractions.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
DIFC, decentralized information flow control, endpoints, system call interposition, web services, reference monitor |
| 1 | Ioannis Papagiannis, Matteo Migliavacca, Peter R. Pietzuch, Brian Shand, David M. Eyers, Jean Bacon |
PrivateFlow: decentralised information flow control in event based middleware.  |
DEBS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxwell N. Krohn, Eran Tromer |
Noninterference for a Practical DIFC-Based Operating System.  |
IEEE Symposium on Security and Privacy  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps |
Verifying Information Flow Control over Unbounded Processes.  |
FM  |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|