[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - Experimenting with STA, a tool for automatic analysis of security protocols
Boreale, Michele, Buscemi, Maria GraziaYear:
2002
Language:
english
DOI:
10.1145/508791.508847
File:
PDF, 473 KB
english, 2002