Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
An analysis of security protocols for lightweight systems
Thesis (PhD)--Stellenbosch University, 2022.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | en_ZA |
| Published: |
Stellenbosch : Stellenbosch University
2022
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867614107226603520 |
|---|---|
| access_status_str | Open Access |
| author | Kamkuemah, Martha Ndeyapeuomagano |
| author2 | Sanders, Jeff |
| author_browse | Kamkuemah, Martha Ndeyapeuomagano Sanders, Jeff |
| author_facet | Sanders, Jeff Kamkuemah, Martha Ndeyapeuomagano |
| author_sort | Kamkuemah, Martha Ndeyapeuomagano |
| collection | Thesis |
| dc_rights_str_mv | Stellenbosch University |
| description | Thesis (PhD)--Stellenbosch University, 2022. |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/124762 |
| institution | Stellenbosch University (South Africa) |
| language | en_ZA |
| last_indexed | 2026-06-10T12:46:46.943Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository |
| publishDate | 2022 |
| publishDateRange | 2022 |
| publishDateSort | 2022 |
| publisher | Stellenbosch : Stellenbosch University |
| publisherStr | Stellenbosch : Stellenbosch University |
| record_format | dspace |
| source_str | SUNScholar — Stellenbosch University Repository |
| spelling | oai:scholar.sun.ac.za:10019.1/124762 An analysis of security protocols for lightweight systems Kamkuemah, Martha Ndeyapeuomagano Sanders, Jeff Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Lightweight computations Computer programming Computer system security UCTD Thesis (PhD)--Stellenbosch University, 2022. ENGLISH SUMMARY: Security is hard to maintain in distributed systems especially for communicating agents restricted to lightweight computations, as in the Internet of Things, which struggle to implement strong cryptographic security. A methodology is developed for specifying and reasoning algebraically about security in such systems which combines epistemic logic and a state-based formalism. The knowledge modality K is used to define a uthentication a nd s ecrecy i n t erms o f w hat e ach agent knows. Operations are defined a s s tate t ransitions. Having g ained c onfidence in our methodology by applying it to the benchmark case studies Needham-Schroeder and Diffie-Hellman protocols, we then apply it to the contemporary examples Signal and Long-Range Wide-Area Network protocols. A mitigation is proposed and verified for a Long-Range Wide-Area Network. AFRIKAANS OPSOMMING: Sekuriteit is moeilik om te handhaaf in verspreide stelsels, veral vir kommunikasieagente met beperkte berekenings vermoë, soos Internet van Dinge, wat sukkel om sterk kriptografiese s ekuriteit t e i mplimenteer. ‘n Metodologie word ontwikkel vir die spesifikasie e n a lgebraïes r edenering a angaande s ekuriteit v ir s ulke sisteme. Hierdie metodologie maak van epistemiese logika en ‘n staat gebaseerde formalisme gebruik. Die kennismodaliteit K word gebruik om verifikasie e n geheimhouding te definieer i n t erme van wat e lke a gent w eet. Operasies word a s staatsoorgange gedefinieer. Nadat vertroue in die metodologie verkry word deur dit op die maatstaf gevallestudies van die Needham-Schroeder- en Diffie-Hellman protokolle toe te pas, word dit vervolgens op die hedendaagse voorbeelde van Sein en Langafstand Wye-area netwerk protokolle toegepas. ‘n Versagting word vir ‘n Langafstand Wye-area netwerk voorgestel en geverifieer. Doctoral 2022-03-15T07:07:38Z 2022-04-29T09:31:15Z 2022-03-15T07:07:38Z 2022-04-29T09:31:15Z 2022-04 Thesis http://hdl.handle.net/10019.1/124762 en_ZA Stellenbosch University xii, 132 pages : illustrations application/pdf Stellenbosch : Stellenbosch University |
| spellingShingle | Lightweight computations Computer programming Computer system security UCTD Kamkuemah, Martha Ndeyapeuomagano An analysis of security protocols for lightweight systems |
| title | An analysis of security protocols for lightweight systems |
| title_full | An analysis of security protocols for lightweight systems |
| title_fullStr | An analysis of security protocols for lightweight systems |
| title_full_unstemmed | An analysis of security protocols for lightweight systems |
| title_short | An analysis of security protocols for lightweight systems |
| title_sort | analysis of security protocols for lightweight systems |
| topic | Lightweight computations Computer programming Computer system security UCTD |
| url | http://hdl.handle.net/10019.1/124762 |
| work_keys_str_mv | AT kamkuemahmarthandeyapeuomagano ananalysisofsecurityprotocolsforlightweightsystems AT kamkuemahmarthandeyapeuomagano analysisofsecurityprotocolsforlightweightsystems |