Roger Dingledine;Paul Syverson
The Free Haven Project, Arlington, MA;Naval Research Laboratory, Washington, DC
Towards an integrated formal analysis for security and trust
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems