ISR Bibliography

Export 78 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is Z  [Clear All Filters]
2004
Zhang, N., M. Ryan, and D. P. Guelev, "Synthesising verified access control systems in XACML", 2004 ACM Workshop on Formal methods in security engineering: ACM Press, pp. 56-65, 2004.
Roshandel, R., B. Schmerl, N. Medvidović, D. Garlan, and D. Zhang, "Understanding Tradeoffs among Different Architectural Modeling Approaches", Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA'04), Oslo, Norway, June, 2004.
2002
Holmes, J., A. MacLean, A. Zbyslaw, and P. Dourish, Method and system for work process support using independent system and user states, , July 16, 2002.

Pages