‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 09:00 - 09:30 at Baie des Anges B - Model Transformation Chair(s): Jens Weber

Much is now understood about how to develop software that will have good security properties in use. We claim that a topic which needs more attention, in particular from the Bx community, is security, especially confidentiality, in the software development process itself. What is then at issue is not what particular users of the software may be allowed to know, but rather, what particular developers of the software may be allowed to know. How can software development processes guarantee to respect confidentiality without compromising effective development? The question is of general interest across software engineering, but model-driven development (MDD) seems a particularly promising arena in which to address it, because of MDD’s focus on separation of concerns. In MDD, different people work with separate models, where (ideally) each model records all and only the information necessary to those who work with it. When necessary, the models are reconciled by bidirectional transformations, which automate a process which would otherwise have to be undertaken manually by the groups of experts meeting and studying both their models in order to bring them back into consistency. In model-driven development confidentiality issues become particularly clear and tractable, and bidirectional transformations have a key technical role. We hope to encourage the community to take up this challenge, and in this paper we begin our own analysis of a selection of the issues, focusing particularly on developing a threat model and some examples of secure restoration of consistency.

Confidentiality... (bx.pdf)462KiB

Tue 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 10:30: Model TransformationBx at Baie des Anges B
Chair(s): Jens WeberUniversity of Victoria
08:50 - 09:00
Day opening
09:00 - 09:30
Confidentiality in the process of (model-driven) software development
Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh
File Attached
09:30 - 10:00
Multimodel Correspondence through Inter-Model Constraints
File Attached
10:00 - 10:30
On the Development of Consistent User Interfaces
Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria