Kurkowski, Mirosław; Penczek, Wojciech Verifying security protocols modelled by networks of automata. (English) Zbl 1119.94010 Fundam. Inform. 79, No. 3-4, 453-471 (2007). MSC: 94A62 68P25 × Cite Format Result Cite Review PDF
Jakubowska, Gizela; Penczek, Wojciech Modelling and checking timed authentication of security protocols. (English) Zbl 1157.94369 Fundam. Inform. 79, No. 3-4, 363-378 (2007). MSC: 94A62 × Cite Format Result Cite Review PDF