Model checking grid security

Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni. Model checking grid security. Future Generation Comp. Syst., 29(3):811-827, 2013. [doi]

Abstract

Abstract is missing.