Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows

We propose a concept of mobile tasks to be used in scientific workflows. In contrast to stationary tasks, mobile tasks migrate between hosts to perform computation on databases. Since in data intensive applications, it is often the case that the size of a mobile task is much smaller than the size of a dataset, the mobile-task approach can greatly reduce the network communication overhead. On the other hand, it is critically important to ensure the security of a mobile-task based scientific workflow system due to the mobility of mobile tasks. In this paper, we present a model checking approach to ensure the secure host access of itinerary-driven mobile tasks. Our preliminary results show that this is a practical and promising approach to ensure the secure execution of mobile tasks.