Salnitri, M., Brucker, A.D. and Giorgini, P. (2015) From Secure Business Process Models to Secure Artifact-Centric Specifications. In: Gaaloul, Q., (ed.) Enterprise, Business-Process and Information Systems Modeling BPMDS. 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015,, June 8-9, 2015, Stockholm, Sweden. Springer-Verlag , pp. 246-262. ISBN 978-3-319-19237-6
Abstract
Making today's systems secure is an extremely difficult and challenging problem. Socio and technical issues interplay and contribute in creating vulnerabilities that cannot be easily prevented without a comprehensive engineering method. This paper presents a novel approach to support process-aware secure systems modeling and automated generation of secure artifact-centric implementations. It combines social and technical perspectives in developing secure complex systems. This work is the result of an academic and industrial collaboration, where SecBPMN2, a research prototype, has been integrated with SAP River, an industrial artifact-centric language.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © 2015 Springer. This is an author produced version of a paper subsequently published in Enterprise, Business-Process and Information Systems Modeling. Uploaded in accordance with the publisher's self-archiving policy. |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 24 Feb 2016 12:22 |
Last Modified: | 09 Jun 2016 10:01 |
Published Version: | http://dx.doi.org/10.1007/978-3-319-19237-6_16 |
Status: | Published |
Publisher: | Springer-Verlag |
Identification Number: | 10.1007/978-3-319-19237-6_16 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:95533 |