A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation.

Daisuke Hoshina Eijiro Sumii Akinori Yonezawa

Published in: TACS (2001)

Keyphrases

fine grained
access control
distributed computation
coarse grained
dynamic access control
security policies
access control policies
access control mechanism
database
security requirements
access control models
web services
object oriented
security mechanisms