Type-Based Access Control in Data-Centric Systems

Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão. Type-Based Access Control in Data-Centric Systems. In Gilles Barthe, editor, Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Volume 6602 of Lecture Notes in Computer Science, pages 136-155, Springer, 2011. [doi]

Authors

Luís Caires

This author has not been identified. Look up 'Luís Caires' in Google

Jorge A. Pérez

This author has not been identified. Look up 'Jorge A. Pérez' in Google

João Costa Seco

This author has not been identified. Look up 'João Costa Seco' in Google

Hugo Torres Vieira

This author has not been identified. Look up 'Hugo Torres Vieira' in Google

Lúcio Ferrão

This author has not been identified. Look up 'Lúcio Ferrão' in Google