Leveraging UML Profiles to Generate Plugins From Visual Model Transformations
- 作者Hans Schippers; Pieter Van Gorp; Dirk Janssens
- 卷第127卷
- 期第3期
- 印刷ISSN1571-0661
- 文件大小320.97KB
- 发表时间2005
- DOI10.1016/j.entcs.2004.08.029
- 页码5-16
Hard Life with Weak BindersMassimo Bartoletti; Pierpaolo Degano; Gian Luigi Ferrari; Roberto Zunino · 2009
Model checking usage policiesBARTOLETTI, MASSIMO; DEGANO, PIERPAOLO; FERRARI, GIAN LUIGI; ZUNINO, ROBERTO · Mathematical Structures in Computer Science · 2015
Stack inspection and secure program transformationsMassimo Bartoletti; Pierpaolo Degano; Gian Luigi Ferrari · International Journal of Information Security · 2004
Local policies for resource usage analysisBartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian-Luigi; Zunino, Roberto · ACM Transactions on Programming Languages and Systems · 2009
[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Policy framings for access controlBartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi · 2005