Formal Security Policy Verification of Distributed Component-Structured Software (2003)

by P Herrmann
Venue:Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE’2003