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