Yun Bai, Vijay Varadharajan. A language for specifying sequences of authorization transformations and its applications. In Yongfei Han, Tatsuaki Okamoto, Sihan Qing, editors, Information and Communication Security, First International Conference, ICICS 97, Beijing, China, November 11-14, 1997, Proceedings. Volume 1334 of Lecture Notes in Computer Science, pages 39-49, Springer, 1997.
Abstract is missing.