Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows

Zijiang Yang, Shiyong Lu, Ping Yang, Fahima Amin Bhuyan. Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows. I. J. Comput. Appl., 18(3):148-159, 2011.

Abstract

Abstract is missing.