Automated Reasoning for Security Protocol Analysis
Alessandro Armando, David Basin, Jorge Cuellar, Michaël Rusinowitch, Luca ViganòVolume:
36
Language:
english
Pages:
3
DOI:
10.1007/s10817-005-9014-x
Date:
January, 2006
File:
PDF, 43 KB
english, 2006