Formal Security Policy Verification of Distributed Component-Structured Software (2003)
by
Peter Herrmann
Venue: | 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2003), IFIP, LNCS |
Citations: | 10 - 3 self |