A Calculus of Challenges and Responses

Backes, Michael and Cortesi, Agostino and Focardi, Riccardo and Maffei, Matteo
(2007) A Calculus of Challenges and Responses.
In: Proceedings of 5th ACM Workshop on Formal Methods in Security Engineering (FMSE).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item