Sciweavers

IJACT
2008

The layered games framework for specifications and analysis of security protocols

13 years 11 months ago
The layered games framework for specifications and analysis of security protocols
Amir Herzberg, Igal Yoffe
Added 25 Jan 2011
Updated 25 Jan 2011
Type Journal
Year 2008
Where IJACT
Authors Amir Herzberg, Igal Yoffe
Comments (0)