TZI Literaturverzeichnis

List Resources

Displaying 1 - 1 of 1 (Bibliography: WIKINDX Master Bibliography)
Publisher:   (Braunschweig, Germany)
M. Drouineaud, M. Bortin, P. Torrini and K. Sohr, "A First Step Towards Formal Verification of Security Policy Properties for RBAC" in 4th International Conference on Quality Software, 2004, pp. 60–67. Last edited by: Karsten Sohr  v    Pop. 42.23%
wikindx      |     Total Resources:  2953     |     Database queries:  20     |     Script execution:  0.19636 secs