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]
Abstract is missing.