Efficient static checking of dynamic access control in shared multiprocessor environments

Gaétan Hains. Efficient static checking of dynamic access control in shared multiprocessor environments. In William K. McQuay, Waleed W. Smari, editors, 2007 International Symposium on Collaborative Technologies and Systems, CTS 2007, Orlando, Florida, USA, May 21-25, 2007. pages 33-36, IEEE, 2007. [doi]

Authors

Gaétan Hains

This author has not been identified. Look up 'Gaétan Hains' in Google