Inproceedings,

A logical framework for reasoning about access control models.

, , , and .
SACMAT, page 41-52. ACM, (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews