‹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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 10:30
Model TransformationBx at Baie des Anges B
Chair(s): Jens Weber University of Victoria
08:50
10m
Day opening
Opening
Bx

09:00
30m
Full-paper
Confidentiality in the process of (model-driven) software development
Bx
Michael Johnson Macquarie University, Australia, Perdita Stevens University of Edinburgh
File Attached
09:30
30m
Full-paper
Multimodel Correspondence through Inter-Model Constraints
Bx
File Attached
10:00
30m
Short-paper
On the Development of Consistent User Interfaces
Bx
Anthony Anjorin , Enes Yigitbas University of Paderborn, Germany, Hermann Kaindl , Roman Popp TU Wien, Vienna, Austria