Conference paper published in "FMSE07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering"!

1 January 2007

The conference paper “A calculus of challenges and responses”, by Backes, M., Cortesi, A., Focardi, R., Maffei, M., has just been published in “FMSE07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering”! Available here.