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()
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet am 2026-04-26)
¤
*© Formatika GbR, Deutschland
