Sciweavers

130
Voted
ENTCS
2006
89views more  ENTCS 2006»

Towards a Quantitative Analysis of Security Protocols

15 years 7 months ago
Towards a Quantitative Analysis of Security Protocols
Pedro Adão, Paulo Mateus, Tiago Reis, Luca
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò
Comments (0)