Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations-Reference-Cited by-同舟云学术

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

Published:2014 Issue: Volume: Page:227-244
ISSN:0302-9743
Container-title:Foundations and Practice of Security
language:
Short-container-title:

Author:

Armando Alessandro,Oudkerk Sander,Ranise Silvio,Wrona Konrad

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-05302-8_14

Reference28 articles.

1. Adam, N.R., Atluri, V., Bertino, E., Ferrari, E.: A content-based authorization model for digital libraries. IEEE Trans. Knowl. Data Eng. 14(2), 296–315 (2002)

2. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M.: Satisfiability modulo theories: an efficient approach for the resource-constrained project scheduling problem. In: SARA, AAAI (2011)

3. Arkoudas, K., Loeb, S., Chadha, R., Chiang, J., Whittaker, K.: Automated policy analysis. In: 2012 IEEE International Symposium on Policy, July 2012, pp. 1–8 (2012)

4. Armando, A., Grasso, M., Oudkerk, S., Ranise, S., Wrona, K.: Content-based information protection and release in NATO operations. In: SACMAT, ACM (2013)

5. LNCS;A Armando,2012

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. End-to-End Protection of IoT Communications Through Cryptographic Enforcement of Access Control Policies;Lecture Notes in Computer Science;2022

2. Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems;Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies;2017-06-07

3. SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies;Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control - ABAC '16;2016

4. A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies;Proceedings of the 20th ACM Symposium on Access Control Models and Technologies;2015-06

5. Selective Release of Smart Metering Data in Multi-domain Smart Grids;Lecture Notes in Computer Science;2014