Calculi for Access Control Martίn Abadi University of California, Santa Cruz and Microsoft Research, Silicon Valley.
Calculi for Access Control