Quelle  README.txt   Sprache: Text

Author: Jeremy Bryans and John Fitzgerald



This specification describes access control and policies for restricting this.
Details of the specification may be found in:   
1. Formal Engineering of Access Control Policies in VDM++ Jeremy W. Bryans and 
John S. Fitzgerald. In proceedings of 9th International Conference on Formal 
Engineering Methods (ICFEM 2007). Boca Raton, USA, November 2007. pp 37--56
 
2. A Formal Approach to Dependable Evolution of Access Control Policies in 
Dynamic Collaborations Jeremy W. Bryans, John S. Fitzgerald and Panos Periorellis. 
In Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable 
Systems and Networks, pp 352-353, Supplemental Volume. June 25-28, 2007. Edinburgh, UK
 


Language Version: vdm10
Entry point     : new Test().Run()