Sciweavers

ASM
1998
ASM

A Realistic Environment for Crypto-Protocol Analyses by ASMs

14 years 4 months ago
A Realistic Environment for Crypto-Protocol Analyses by ASMs
Giampaolo Bella, Elvinia Riccobene
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ASM
Authors Giampaolo Bella, Elvinia Riccobene
Comments (0)