This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Capstone Projects & Reports (Master of Science in Internetworking (MINT))
Contains capstone projects and related materials submitted by graduates of the Master of Science in Internetworking (MINT) program.
Items in this Collection
-
Implementation Security, or a Language-theoretic Security Analysis of OpenFlow and What I Found There
Download2013-11-01
Implementation is the most immediate aspect of security in the construction of real-world distributed computing systems; designs have flaws but vulnerabilities themselves manifest in implementations. The challenge of securing systems during implementation is apparent from observing the computing...