 | Monter d'un niveau |
Brlek, S., Hamadou, S., & Mullins, J. (septembre 2007). A probabilistic scheduler for the analysis of cryptographic protocols [Communication écrite]. 5th International Workshop on Security Issues in Concurrency (SecCo 2007), Lisbonne, Portugal. Lien externe
Brlek, S., Hamadou, S., & Mullins, J. (2006). A Flaw in the Electronic Commerce Protocol Set. Information Processing Letters, 97(3), 104-108. Lien externe
Brlek, S., Hamadou, S., & Mullins, J. (février 2006). Some remarks on the certificates registration of the electronic commerce protocol SET [Communication écrite]. International Conference on Internet and Web Applications and Services/Advanced International Conference on Telecommunications (AICT-ICIW 2006), San Jose, Ca. Lien externe
Brlek, S., Hamadou, S., & Mullins, J. (2005). Anonymous and Secure Electronic Transaction Protocol. Annales des télécommunications, 60(5-6), 530-557. Lien externe
Brlek, S., Hamadou, S., & Mullins, J. (juin 2003). ASET-Un protocole anonyme et sécuritaire pour les transactions électroniques [Communication écrite]. 2e conférence francophone sur sécurité et architecture réseaux (SAR 2003), Nancy, France. Non disponible
Hamadou, S., Mullins, J., Chareton, C., & Gherbi, A. (août 2015). Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus [Communication écrite]. 16th IEEE International Conference on Information Reuse and Integration (IRI 2015), San Francisco, CA. Lien externe
Hamadou, S., Mullins, J., Gherbi, A., & Beji, S. (avril 2015). A time-triggered constraint-based calculus for avionic systems [Communication écrite]. 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2015), Auckland , New Zealand. Lien externe
