NSPW '97 Proceedings of the 1997 workshop on New security paradigms
The multipolicy paradigm for trusted systems
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
The composability of non-interference [system security]
CSFW '95 Proceedings of the 8th IEEE workshop on Computer Security Foundations
A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions
SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Survivability—a new technical and business perspective on security
Proceedings of the 1999 workshop on New security paradigms
Paradigm shifts in protocol analysis
Proceedings of the 1999 workshop on New security paradigms
Turtles all the way down: a clean-slate, ground-up, first-principles approach to secure systems
Proceedings of the 2012 workshop on New security paradigms
| Hi-index | 0.00 |