Query-based access control for secure collaborative modeling using bidirectional transformations*

Bergmann, Gábor; Debreceni, Csaba; Ráth, István; Varró, Dániel

doi:10.1145/2976767.2976793

Cited by 23 publications

(30 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This paper is an extension of [8,18] by providing (1) an in-depth precise specification of the bidirectional transformation as well as the collaboration scheme, (2) further technical details on its realization for both offline and online collabo- (3) an extended scalability evaluation of our approach now also covering the offline scenario.…”

Section: Contributionsmentioning

confidence: 99%

See 1 more Smart Citation

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations

et al. 2017

Self Cite

View full text Add to dashboard Cite

Large-scale model-driven system engineering projects are carried out collaboratively. Engineering artefacts stored in model repositories are developed in either offline (checkout-modify-commit) or online (GoogleDocstyle) scenarios. Complex systems frequently integrate models and components developed by different teams, vendors and suppliers. Thus, confidentiality and integrity of design artefacts need to be protected in accordance with access control policies. We propose a secure collaborative modelling approach where fine-grained access control for models is strictly enforced by bidirectional model transformations. Collaborators obtain filtered local copies of the model containing only those model elements which they are allowed to read; write access control policies are checked on the server upon submitting model changes. We present a formal collaboration schema which provenly guarantees certain correctness constraints, and its adaption to online scenarios with on-the-fly change propagation and the integration into existing version control systems to support offline scenarios. The approach is illustrated, and its scalability is evaluated using a case study of the MONDO EU project.

show abstract

Section: Contributionsmentioning

confidence: 99%

“…Hardware Configuration All the measurements 7 executed on a personal computer 8 with maximum a 7GB of Java heap size.…”

Section: Measurement Setupmentioning

confidence: 99%

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations

et al. 2017

Self Cite

View full text Add to dashboard Cite

show abstract

“…As l is evaluated, we can assume that − → Op 1 and − → Op 2 do not introduce conflicts and do not violate access control rules (which is discussed in [17] in details, but out of scope for the current paper). Phase 3 is independent from the operations when the locks are evaluated as the match sets are calculated at the two states of the model (M and M ′ ).…”

Section: ∃L ∈ Locksmentioning

confidence: 99%

“…The framework extends existing version control systems (VCS) such as SVN [2] to support fine-grained access control rules [17] and PB locking strategy.…”

Section: Integration Into Mondo Collaboration Frameworkmentioning

confidence: 99%

Property-Based Locking in Collaborative Modeling

Debreceni

Bergmann

Ráth

et al. 2017

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)

Self Cite

View full text Add to dashboard Cite

Abstract-Large-scale model-driven engineering projects are carried out collaboratively. Enabling a high degree of concurrency is required to make the traditionally rigid development processes more agile. The increasing number of collaborators increases the probability of introducing conflicts which need to be resolved manually by the collaborators. In case of highly interdependent models, avoiding conflicts by the use of locks can save valuable time. However, traditional locking techniques such as fragment-based and object-based strategies may impose unnecessary restrictions on editing, which can decrease the efficiency of collaboration.In this paper, we propose a property-based locking approach that generalizes traditional locking techniques, and further allows more fine-grained locks in order to restrict modifications only when necessary. A lock is considered to be violated if a match appears or disappears for its associated graph pattern (formula), which captures the property of the model that the upcoming edit transaction can be freely executed. An initial evaluation has been carried out using a case study of the MONDO EU project.

show abstract

“…We developed a collaborative modelling framework with the distinguishing features of fine-grained, rule-based model-level access control. The synchronization between views is achieved by incremental and bidirectional model transformations [153].…”

Section: Modelling Techniques For Cpsmentioning

confidence: 99%

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2016

Charaf

Harsányi

Poppe

et al. 2017

Period. Polytech. Elec. Eng. Comp. Sci.

View full text Add to dashboard Cite

Preface Since being established in 1949, the Faculty of Electrical Engineering and Informatics (VIK) BME has played a flagship role in the development of electronics, IT and computer science in Hungary.We László Jakab (dean, BME VIK) János Levendovszky (vice-dean in charge of scientific affairs, BME VIK) are proud of combining engineering applications with sound scientific results, which is the assurance of high-level industrial collaboration leading to novel results and innovation. The various collaborations with our industrial partners has made it clear that the industry expects methods and results which make their industrial processes more effective and increase productivity and quality. Thus, participation in these collaborations give a competitive edge and ensure the continuous development of VIK. These factors have positioned our Department of Automation and Applied InformaticsDepartment of Automation and Applied Informatics (AUT) is one of the largest and dynamically developing departments at BME with diverse scope competences such as control theory, embedded systems, software modelling, applied software development, Internet of Things, power electronics, mechatronics, and many others. The department's main activities are education, research and development. Training versatile electrical and software engineers with solid practical knowledge is our top priority. Our profile also includes developing high quality software and hardware solutions for industry partners. All of our activities are backed by strong research background.In 2016, the department organized and hosted a number of domestic and international events. In cooperation with the industry, AUT has organized the IoT4U conference. It was dedicated to Internet of Things, cloud and data management as well as the integration of IoT into various formats. RobonAUT, the yearly domestic amateur robotics contest was organized by the department in February 2016. The yearly contest is open to teams of students, organized either in student projects within the department or independent research teams.The next sections summarize the key research results of the department in year 2016. Software Development Methods and Mobile PlatformsThe diversity of mobile platforms necessitates the development of the same mobile application for all major mobile platforms, what requires considerable development effort. Mobile application developers are multiplatform developers, but they still prioritize the platforms, therefore, not all platforms are equally important for them. Appropriate methods, processes and tools are required to support the development in order to achieve better productivity.The research on educational mobile applications that adapt to the mental state of the user required a method for estimating the difficulty of tasks found in the serious games. There are generated or random assignments where the effort required from the user is not known or cannot be estimated in advance.61 (2) IoT and Smart CityThe Internet of Things (IoT) is transforming the surroun...

show abstract

Query-based access control for secure collaborative modeling using bidirectional transformations*

Cited by 23 publications

References 26 publications

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations

Property-Based Locking in Collaborative Modeling

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2016

Contact Info

Product

Resources

About