Recherche

La recherche que je m`interesse est dans le domaine de la securite des protocoles. Ces protocoles sont principalement d`identifactions des agents ou de la commerce electronique.

On s`interesse plus particulierement dans l`analyse formelle en utilisant differents techniques. Parmi ces methodes on utilise different calculs comme le Pi de Milner et SPI de Abadi et Gordon. On utilse les methodes de typages et enfin du category et la loqique. Plusieurs proprietes nous interesse comme la confidentialite, la non repduation.

Publications

A. Redouane, "Experience using Formal Methods for Capturing Requirements of Web-Based Applications", In Proceedings of the 1st IEEE International Conference on Cognitive Informatics, Calgary, Canada, IEEE CS Press, August, 2002.

A. Redouane, "Formal Methods for Capturing Requirements of Web-Based Applications: A Case Study", Chapter book in Cognitive Informatics: Exploring the Natural Intelligence, Ed. Y. Wang, World Scientific, 2003.

A. Redouane, "Guidelines for Improving the Development of Web-based Applications", In Proceedings of the 4th International Workshop on Web Site Evolution, WSE'2002, Montreal, Canada, IEEE CS Press, October, 2002.

A. Redouane, "Towards an Efficient Design Method for Web-Based Systems", In Proceedings of the International Conference on Intelligent Agents, Web Technologies and Internet Commerce - IAWTIC2003, February 2003, Vienna, Austria.

Commentaires
Tout commentaire ou autres S.V.P contacter moi au :