Information flow analysis of scientific workflows

Authors:
Ping Yang;Shiyong Lu;Mikhail I. Gofman;Zijiang Yang
Affiliations:
Computer Science Dept., Binghamton University, Binghamton, NY 13902, United States;Computer Science Dept., Wayne State University, Detroit, MI 48202, United States;Computer Science Dept., Binghamton University, Binghamton, NY 13902, United States;Computer Science Dept., Western Michigan University, Kalamazoo, MI 49008, United States
Venue:
Journal of Computer and System Sciences
Year:
2010

Citing 28
Cited 2

A decentralized model for information flow control

Proceedings of the sixteenth ACM symposium on Operating systems principles
Logic based modeling and analysis of workflows

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Model checking of hierarchical state machines

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling and Analysis of Workflows Using Petri Nets

Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification of workflow task structures: A petri-net-based approach

Information Systems
A lattice model of secure information flow

Communications of the ACM
Verification support for workflow design with UML activity graphs

Proceedings of the 24th International Conference on Software Engineering
Scientific Workflow Management by Database Management

SSDBM '98 Proceedings of the 10th International Conference on Scientific and Statistical Database Management
UML Activity Diagrams as a Workflow Specification Language

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Exploiting Behavioral Hierarchy for Efficient Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Practical Information-flow Control in Web-Based Information Systems

CSFW '05 Proceedings of the 18th IEEE workshop on Computer Security Foundations
Enabling ScientificWorkflow Reuse through Structured Composition of Dataflow and Control-Flow

ICDEW '06 Proceedings of the 22nd International Conference on Data Engineering Workshops
Automatic workflow verification and generation

Theoretical Computer Science
Taverna: lessons in creating a workflow environment for the life sciences: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Scientific workflow management and the Kepler system: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Programming scientific and distributed workflow with Triana services: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines

E-SCIENCE '07 Proceedings of the Third IEEE International Conference on e-Science and Grid Computing
A taxonomy of grid workflow verification and validation

Concurrency and Computation: Practice & Experience - First International Workshop on Workflow Systems in Grid Environments (WSGE2006)
Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

International Journal of High Performance Computing Applications
Artificial Intelligence and Grids: Workflow Planning and Beyond

IEEE Intelligent Systems
Service-Oriented Architecture for VIEW: A Visual Scientific Workflow Management System

SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 1
Trust-based robust scheduling and runtime adaptation of scientific workflow

Concurrency and Computation: Practice & Experience - Special Issue: 3rd International Workshop on Workflow Management and Applications in Grid Environments (WaGe2008)
Structural soundness of workflow nets is decidable

Information Processing Letters
Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Workflow analysis based on fuzzy temporal workflow nets

CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Managing rapidly-evolving scientific workflows

IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
Information flow control to secure dynamic web service composition

SPC'06 Proceedings of the Third international conference on Security in Pervasive Computing
Language-based information-flow security

IEEE Journal on Selected Areas in Communications

InDico: information flow analysis of business processes for confidentiality requirements

STM'10 Proceedings of the 6th international conference on Security and trust management
On the exploitation of process mining for security audits: the process discovery case

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recently, scientific workflows have emerged as a platform for automating and accelerating data processing and data sharing in scientific communities. Many scientific workflows have been developed for collaborative research projects that involve a number of geographically distributed organizations. Sharing of data and computation across organizations in different administrative domains is essential in such a collaborative environment. Because of the competitive nature of scientific research, it is important to ensure that sensitive information in scientific workflows can be accessed by and propagated to only authorized parties. To address this problem, we present techniques for analyzing how information propagates in scientific workflows. We also present algorithms for incrementally analyzing how information propagates upon every change to an existing scientific workflow.