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()
Messung V0.5
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
