The specification and design of secure context-aware workflows

作者：

Highlights：

• A language for the specification, design and analysis of workflow systems is proposed.

• Workflows in health care domain are inherently security-critical and context-aware.

• Some activities within health care workflows may be time-critical.

• Using the language on a realistic case study from the health care domain is explained.

摘要

•A language for the specification, design and analysis of workflow systems is proposed.•Workflows in health care domain are inherently security-critical and context-aware.•Some activities within health care workflows may be time-critical.•Using the language on a realistic case study from the health care domain is explained.

论文关键词：Workflows,Context-aware,Security,Specification

论文评审过程：Received 4 February 2017, Revised 14 May 2017, Accepted 29 May 2017, Available online 31 May 2017, Version of Record 10 June 2017.

论文官网地址：https://doi.org/10.1016/j.eswa.2017.05.078