THE Thesis reports on the work done for the definition of several techniques to support the design of modern systems. SCA-PatternBox is a framework for modeling service-oriented applications with design patterns that also permits the validation and verification of their behavior. Security Enhanced Docker study improves the use of SELinux in Docker. Two techniques are presented: Docker Policy Module (DPM) improves the use of the SELinux Type Enforcement (TE) model and Category minimization problem improves the use of the SELinux Multi Category Security (MCS) model. J-CO query language devised to query heterogeneous collections of JSON objects stored in a NoSQL document DBMS such as MongoDB.

(2017). Model-Based Techiniques for the Design of Modern Software Systems [doctoral thesis - tesi di dottorato]. Retrieved from http://hdl.handle.net/10446/77262

Model-Based Techiniques for the Design of Modern Software Systems

CAPELLI, Steven
2017-05-31

Abstract

THE Thesis reports on the work done for the definition of several techniques to support the design of modern systems. SCA-PatternBox is a framework for modeling service-oriented applications with design patterns that also permits the validation and verification of their behavior. Security Enhanced Docker study improves the use of SELinux in Docker. Two techniques are presented: Docker Policy Module (DPM) improves the use of the SELinux Type Enforcement (TE) model and Category minimization problem improves the use of the SELinux Multi Category Security (MCS) model. J-CO query language devised to query heterogeneous collections of JSON objects stored in a NoSQL document DBMS such as MongoDB.
31-mag-2017
29
2015/2016
INGEGNERIA E SCIENZE APPLICATE
PARABOSCHI, Stefano
Capelli, Steven
File allegato/i alla scheda:
File Dimensione del file Formato  
TDUnibg1002752.pdf

accesso aperto

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 2.48 MB
Formato Adobe PDF
2.48 MB Adobe PDF Visualizza/Apri
Files_CAPELLI.zip

Solo gestori di archivio

Versione: non applicabile
Licenza: Licenza default Aisberg
Dimensione del file 2.52 MB
Formato zip
2.52 MB zip   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/77262
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact