Formal methods for the analysis of security protocols

Tesis doctoral de María De Los Llanos Tobarra Abad Los sistemas informáticos que aparecen en la actualidad se encuentran orientados […]

, , , , ,