About this scholarly article

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 - A calculus of challenges and responses by Backes, Michael; Cortesi, Agostino; Focardi, Riccardo; Maffei, Matteo is a scholarly article available to read on EtoBox.

Author

Backes, Michael; Cortesi, Agostino; Focardi, Riccardo; Maffei, Matteo

Publisher

ACM Press

Published

2007