点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING

关键字：Information flow analysis Business process execution language Petri net Interference

摘要：Information leak, which can undermine the compliance of web-service-composition business processes for some policies, is one of the major concerns in web service composition. We present an automated and effective approach for the detection of implicit information leaks in business process execution language (BPEL) based on information flow analysis. We introduce an adequate meta-model for BPEL representation based on a Petri net for transformation and analysis. Building on the concept of Petri net place-based noninterference, the core contribution of this paper is the application of a Petri net reachability graph to estimate Petri net interference and thereby to detect implicit information leaks in web service composition. In addition, a case study illustrates the application of the approach on a concrete workflow in BPEL notation.

ISSN号：2095-9184

是否译文：否

发表时间：2018-04-01

合写作者：Jiang, Jia-xin,Ma, Wei-wei,Cao, Yan

通讯作者：黄志球