Inproceedings,

Verifiable composition of access control and application features.

, , , , , and .
SACMAT, page 120-129. ACM, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews