Zhi Yang, Lihua Yin, MiYi Duan, Shuyuan Jin. Poster: towards formal verification of DIFC policies. In Yan Chen, George Danezis, Vitaly Shmatikov, editors, Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011. pages 873-876, ACM, 2011. [doi]
Abstract is missing.