Documents publiés en "2009"

A

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

B

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

D

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