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. 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.

@inproceedings{BaiV97:1,
  title = {A language for specifying sequences of authorization transformations and its applications},
  author = {Yun Bai and Vijay Varadharajan},
  year = {1997},
  tags = {transformation language, transformation},
  researchr = {https://researchr.org/publication/BaiV97%3A1},
  cites = {0},
  citedby = {0},
  pages = {39-49},
  booktitle = {Information and Communication Security, First International Conference, ICICS 97, Beijing, China, November 11-14, 1997, Proceedings},
  editor = {Yongfei Han and Tatsuaki Okamoto and Sihan Qing},
  volume = {1334},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63696-X},
}