A Decidable Analysis of Security Protocols
Abstract
We present some results about deciding insecurity for cryptographic protocols.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00099993
Submitted on : Tuesday, September 26, 2006-10:13:14 AM
Last modification on : Thursday, April 13, 2023-9:26:12 AM