A language for specifying sequences of authorization transformations and its applications.

Yun Bai, Vijay Varadharajan

Browse the full ICICS paper archive.