Sciweavers

56
Voted
IJISEC
2008

A symbolic framework for multi-faceted security protocol analysis

14 years 8 months ago
A symbolic framework for multi-faceted security protocol analysis
Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2008
Where IJISEC
Authors Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto
Comments (0)