A class of theory-decidable inference systems : toward a decision procedure for structured cryptographic protocols
Dans les deux dernières décennies, l’Internet a apporté une nouvelle dimension aux communications. Il est maintenant possible de communiquer avec n’importe qui, n’importe où, n’importe quand et ce, en quelques secondes. Alors que certains systèmes de communication distribués, comme le courriel, le c...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | EN |
Published: |
Université Laval
2005
|
Subjects: | |
Online Access: | http://www.theses.ulaval.ca/2005/22448/22448.pdf |