Reasoning About the State Change of Authorization Policies

Yun Bai, Edward Caprin, Yan Zhang. Reasoning About the State Change of Authorization Policies. In Moonis Ali, Young Sig Kwon, Chang-Hwan Lee, Juntae Kim, Yongdai Kim, editors, Current Approaches in Applied Artificial Intelligence - 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings. Volume 9101 of Lecture Notes in Computer Science, pages 109-119, Springer, 2015. [doi]

@inproceedings{BaiCZ15,
  title = {Reasoning About the State Change of Authorization Policies},
  author = {Yun Bai and Edward Caprin and Yan Zhang},
  year = {2015},
  doi = {10.1007/978-3-319-19066-2_11},
  url = {http://dx.doi.org/10.1007/978-3-319-19066-2_11},
  researchr = {https://researchr.org/publication/BaiCZ15},
  cites = {0},
  citedby = {0},
  pages = {109-119},
  booktitle = {Current Approaches in Applied Artificial Intelligence - 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings},
  editor = {Moonis Ali and Young Sig Kwon and Chang-Hwan Lee and Juntae Kim and Yongdai Kim},
  volume = {9101},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-19065-5},
}