DMCA

Temporal Logic-Based Specification and Verification of Trust Models (2006)

Cached

Download Links

by Peter Herrmann
Venue:Proc. 4th International Conference on Trust Management (iTrust 2006). LNCS 3986
Citations:3 - 1 self