| http://www.w3.org/ns/prov#value | - Lujo Bauer's research interests are in computer security -- he is particularly interested in building usable access-control systems with sound theoretical underpinnings, and generally in narrowing the gap between a formal model and a usable system.
|