A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations
JW Bryans, John S. Fitzgerald, Panayiotis Periorellis · School of Computing Science Technical Report Series · 2007
Network-enabled dynamic collaborations between businesses are increasingly common, and can evolve rapidly. We propose a formal approach to maintaining information security during evolution, while enabling participants to evolve their access control policies with the coalition. © 2007 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details BRYANS, J. W., FITZGERALD, J. S., PERIORELLIS, P.. A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations [By] J. W. Bryans, J. S. Fitzgerald, P. Periorellis. Newcastle upon Tyne: University of Newcastle upon Tyne: Computing Science, 2007. (University of Newcastle upon Tyne, Computing Science, Technical Report Series, No. CS-TR-1027)