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]
Abstract is missing.