A Hierarchical Framework for Component-based Real-time Systems
- 作者Giuseppe Lipari; Paolo Gai; Michael Trimarchi; Giacomo Guidi; Paolo Ancilotti
- 卷第116卷
- 印刷ISSN1571-0661
- 文件大小296.15KB
- 发表时间2005
- DOI10.1016/j.entcs.2004.02.081
- 页码253-266
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