@inproceedings{armando_formal_2013,
	title = {Formal {Modelling} of {Content}-{Based} {Protection} and {Release} for {Access} {Control} in {NATO} {Operations}},
	booktitle = {{FPS} 2013 {Revised} {Selected} {Papers} of the 6th {International} {Symposium} on {Foundations} and {Practice} of {Security} - {Volume} 8352},
	author = {Armando, Alessandro and Oudkerk, Sander and Ranise, Silvio and Wrona, Konrad},
	year = {2013},
	keywords = {⛔ No DOI found},
	pages = {227--244},
}

{"_id":"ifN89v23vkvQBzFMP","bibbaseid":"armando-oudkerk-ranise-wrona-formalmodellingofcontentbasedprotectionandreleaseforaccesscontrolinnatooperations-2013","author_short":["Armando, A.","Oudkerk, S.","Ranise, S.","Wrona, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations","booktitle":"FPS 2013 Revised Selected Papers of the 6th International Symposium on Foundations and Practice of Security - Volume 8352","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Oudkerk"],"firstnames":["Sander"],"suffixes":[]},{"propositions":[],"lastnames":["Ranise"],"firstnames":["Silvio"],"suffixes":[]},{"propositions":[],"lastnames":["Wrona"],"firstnames":["Konrad"],"suffixes":[]}],"year":"2013","keywords":"⛔ No DOI found","pages":"227–244","bibtex":"@inproceedings{armando_formal_2013,\n\ttitle = {Formal {Modelling} of {Content}-{Based} {Protection} and {Release} for {Access} {Control} in {NATO} {Operations}},\n\tbooktitle = {{FPS} 2013 {Revised} {Selected} {Papers} of the 6th {International} {Symposium} on {Foundations} and {Practice} of {Security} - {Volume} 8352},\n\tauthor = {Armando, Alessandro and Oudkerk, Sander and Ranise, Silvio and Wrona, Konrad},\n\tyear = {2013},\n\tkeywords = {⛔ No DOI found},\n\tpages = {227--244},\n}\n\n","author_short":["Armando, A.","Oudkerk, S.","Ranise, S.","Wrona, K."],"key":"armando_formal_2013","id":"armando_formal_2013","bibbaseid":"armando-oudkerk-ranise-wrona-formalmodellingofcontentbasedprotectionandreleaseforaccesscontrolinnatooperations-2013","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["formal","modelling","content","based","protection","release","access","control","nato","operations","armando","oudkerk","ranise","wrona"],"title":"Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations","year":2013}