|
|||||
|
|
Strategy for Verifying Security Protocols with Unbounded Message Size |
|
| Authors: | Y Chevalier L Vigneron |
| Affiliation: | (1) LORIA, UHP, UN2, Campus Scientifique, B.P. 239, 54506 Vandæuvre-lès-Nancy Cedex, France |
| Abstract: | |
| Keywords: | security protocols verification flaw detection intruder model automatic strategies |
| 本文献已被 SpringerLink 等数据库收录！ | |