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

Cached

Download Links

by Peter Herrmann
Venue:23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2003), IFIP, LNCS
Citations:10 - 3 self