Validation of Policy Integration Using Alloy

Manachai Toahchoodee, Indrakshi Ray. Validation of Policy Integration Using Alloy. In Goutam Chakraborty, editor, Distributed Computing and Internet Technology, Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings. Volume 3816 of Lecture Notes in Computer Science, pages 420-431, Springer, 2005. [doi]

@inproceedings{ToahchoodeeR05,
  title = {Validation of Policy Integration Using Alloy},
  author = {Manachai Toahchoodee and Indrakshi Ray},
  year = {2005},
  doi = {10.1007/11604655_48},
  url = {http://dx.doi.org/10.1007/11604655_48},
  researchr = {https://researchr.org/publication/ToahchoodeeR05},
  cites = {0},
  citedby = {0},
  pages = {420-431},
  booktitle = {Distributed Computing and Internet Technology, Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings},
  editor = {Goutam Chakraborty},
  volume = {3816},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30999-3},
}