A Formal Logic for Shared Resource Access Control in the Grid

Baiyan Li, Ruonan Rao, Jinyuan You, Minglu Li. A Formal Logic for Shared Resource Access Control in the Grid. In Hai Jin, Yi Pan, Nong Xiao, editors, Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004. Proceedings. Volume 3252 of Lecture Notes in Computer Science, pages 498-505, Springer, 2004. [doi]

Authors

Baiyan Li

This author has not been identified. Look up 'Baiyan Li' in Google

Ruonan Rao

This author has not been identified. Look up 'Ruonan Rao' in Google

Jinyuan You

This author has not been identified. Look up 'Jinyuan You' in Google

Minglu Li

This author has not been identified. Look up 'Minglu Li' in Google