@InProceedings{ sevinc.ea:controlling:2006-b, author = {Paul E. Sevin\c{c} and David Basin and Ernst-R\"udiger Olderog}, booktitle = {ETRICS 2006}, editor = {G\"unter M\"uller}, language = {USenglish}, month = {June}, pages = {352--367}, publisher = {Springer-Verlag}, series = {LNCS}, title = {Controlling Access to Documents: A Formal Access Control Model}, url = {http://dx.doi.org/10.1007/11766155_25}, volume = 3995, year = 2006, user = {psevinc} }