Return to search

Interpretation Functions-Based Approach to Verify Secrecy of Cryptographic Protocols

No description available.
Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2009/26647
Date10 1900
CreatorsHoumani, Hanane
ContributorsMejri, Mohamed
PublisherUniversité Laval
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageEnglish
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Formatapplication/pdf
Rights© Hanane Houmani, 2009

Page generated in 0.0019 seconds