Ruth Nelson;John Heimann
-;-
Integrating formalism and pragmatism: architectural security
NSPW '97 Proceedings of the 1997 workshop on New security paradigms