Searching for authors named "Lujo Bauer" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Composing security policies with Polymer
- …Lujo Bauer Carnegie Mellon University lbauer@(email omitted); Composing Security Policies with Polymer…
- Cited by 30 (5 self) – Add To MetaCart
-
More Enforceable Security Policies
- …More Enforceable Security Policies Lujo Bauer, Jarred Ligatti and David Walker Department…
- Add To MetaCart
-
A Language and System for Composing Security Policies
- …A Language and System for Composing Security Policies ∗ Lujo Bauer † Jay Ligatti ‡ David Walker…
- Cited by 4 (2 self) – Add To MetaCart
-
A Calculus for Composing Security Policies
- …A Calculus for Composing Security Policies ∗ Lujo Bauer, Jarred Ligatti and David Walker…
- Cited by 9 (1 self) – Add To MetaCart
-
More Enforceable Security Policies
- …More Enforceable Security Policies Lujo Bauer, Jarred Ligatti and David Walker Department…
- Cited by 29 (6 self) – Add To MetaCart
-
Types and Effects for Non-Interfering Program Monitors
- …Types and Effects for Non-Interfering Program Monitors ⋆ Lujo Bauer, Jarred Ligatti and David…
- Cited by 13 (7 self) – Add To MetaCart
-
Composing Expressive Run-time Security Policies
- …Composing Expressive Run-time Security Policies LUJO BAUER Carnegie Mellon University JAY LIGATTI…
- Cited by 1 (1 self) – Add To MetaCart
-
Run-time Enforcement of Nonsafety Policies
- …Run-time Enforcement of Nonsafety Policies JAY LIGATTI University of South Florida LUJO BAUER…
- Cited by 1 (1 self) – Add To MetaCart
-
Edit automata: Enforcement mechanisms for run-time security policies
- …Edit Automata: Enforcement Mechanisms for Run-time Security Policies ∗ Jay Ligatti Lujo Bauer…
- Cited by 46 (6 self) – Add To MetaCart
-
device at Carnegie Mellon University.
- …Distributed System Security via Logical Frameworks Lujo Bauer, Frank Pfenning, and Michael K…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
