Decentralized enforcement of document lifecycle constraints

作者：

Highlights：

• A document can carry a tamper-proof history of its modifications.

• This history can be used to check constraints on that document’s lifecycle.

• An implementation shows that manipulating this history incurs light overhead.

摘要

•A document can carry a tamper-proof history of its modifications.•This history can be used to check constraints on that document’s lifecycle.•An implementation shows that manipulating this history incurs light overhead.

论文关键词：Business artifact,Business process,Document lifecycle,Lifecycle policy,UML statechart,Business Process Modelling Language,Linear Temporal Logic,Finite-state automata,Trace validation,Policy enforcement,Public-key encryption,Hash functions,Tamper-proof history,Confidentiality,Distributed enforcement,Runtime monitoring,Smart cards,Portable Document Format,Artichoke-X

论文评审过程：Received 23 December 2016, Revised 29 July 2017, Accepted 2 August 2017, Available online 3 August 2017, Version of Record 16 March 2018.

论文官网地址：https://doi.org/10.1016/j.is.2017.08.002