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

Yun Bai Vijay Varadharajan A language for specifying sequences of authorization transformations and its applications. 39-49 1997 conf/icics/1997 ICICS db/conf/icics/icics1997.html#BaiV97