Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
John M. Boyer, Charles F. Wiecha
DocEng 2009
Conference paper
Identity delegation in policy based systems
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005