![]() | Monter d'un niveau |
Abouzaid, F., & Mullins, J. (juillet 2009). Formal Specification of Correlation patterns for WS-BPEL [Communication écrite]. 9e Colloque international sur les nouvelles technologies de la répartition (NOTERE 2009), Montréal, Québec. Non disponible
Abouzaid, F., & Mullins, J. (juillet 2009). Model-checking Web Services Orchestrations using BP-calculus [Communication écrite]. 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), Rhodes, Greece. Publié dans Electronic Notes in Theoretical Computer Science, 255. Lien externe
Benattar, G., Bérard, B., Lime, D., Mullins, J., Roux, O. H., & Sassolas, M. (août 2009). Covert channels with sequential transducers [Communication écrite]. 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009) and Satellite Workshop on Foundations of Computer Security (CFS 2009), Los Angeles, CA (15 pages). Lien externe
Debbabi, M., Fellah, A., & Mullins, J. (juillet 2009). Secrecy in temporary secret based cryptographic protocols [Communication écrite]. 9e Colloque international sur les nouvelles technologies de la répartition (NOTERE 2009), Montréal, Québec. Non disponible