Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows
INTERNATIONAL JOURNAL OF COMPUTERS AND THEIR APPLICATIONS ; 18 , 3 ; 148-159
2011-01-01
12 pages
Article (Journal)
English
DDC: | 004 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Scientific Workflows, Provenance and Their Applications
British Library Online Contents | 2011
|Online Contents | 1997