On Formal Languages for Sequences of Authorization Transformations.

Yun Bai, Vijay Varadharajan

Browse the full SAFECOMP paper archive.