@dblp

Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities.

, , and . STM, volume 7783 of Lecture Notes in Computer Science, page 49-64. Springer, (2012)

Links and resources

Tags