List Resources
|
Displaying 1 - 1 of 1 (Bibliography: WIKINDX Master Bibliography)
Parameters:
|
|
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
|
|
Pop. 37.6%
|
|
|
