1
Published 2004
Springer New York
Table of Contents: ... Analysis, Composability and Computation -- Access Control in Distributed Systems -- Implementing Condition...