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 Tue Nov 12 15:40:02 2024 UTC.