Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations

Alessandro Armando, Sander Oudkerk, Silvio Ranise, Konrad Wrona. Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations. In Jean-Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquín García-Alfaro, A. Nur Zincir-Heywood, editors, Foundations and Practice of Security - 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers. Volume 8352 of Lecture Notes in Computer Science, pages 227-244, Springer, 2013. [doi]

Authors

Alessandro Armando

This author has not been identified. Look up 'Alessandro Armando' in Google

Sander Oudkerk

This author has not been identified. Look up 'Sander Oudkerk' in Google

Silvio Ranise

This author has not been identified. Look up 'Silvio Ranise' in Google

Konrad Wrona

This author has not been identified. Look up 'Konrad Wrona' in Google