DORAS | DCU Research Repository
Explore open access research and scholarly works from DCU
Advanced Search
Browse by Author
Number of items: 1.
2006
Oehl, Frederic Enoha
(2006)
Defining an approximation to formally verify cryptographic protocols.
Master of Science thesis, Dublin City University.
This list was generated on Sat Dec 21 15:51:33 2024 UTC.