Wissam Mallouli, Mounir Lallali, Gerardo Morales, Ana R. Cavalli. Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study. In Richard Chbeir, Albert Dipanda, Kokou Yétongnon, editors, 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, SITIS 2008, Bali, Indonesia, November 30 - December 3, 2008. pages 128-136, IEEE Computer Society, 2008. [doi]
Abstract is missing.