Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"cryptographic protocol analysis"”.
-
Security models in rewriting logic for cryptographic protocols and browsers
… policy. For aspect (iii) we look at the formal analysis of cryptographic protocols, independent of any particular browser. We focus on the formal analysis of protocols \emph{modulo algebraic properties} of their cryptographic functions, since it is well-known the protocol verification methods …
-
Maude-PSL: a new input language for Maude-NPA
DSpace SAF Submission Ingestion Package generated from Vireo submission #8115 on 2015-07-22 at 10:34:04