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]

Authors

Manachai Toahchoodee

This author has not been identified. Look up 'Manachai Toahchoodee' in Google

Indrakshi Ray

This author has not been identified. Look up 'Indrakshi Ray' in Google