|
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.13 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
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 ist noch experimentell.
|
