Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
An algebraic framework for reasoning about privacy
Thesis (PhD)--Stellenbosch University, 2016.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | en_ZA |
| Published: |
Stellenbosch : University of Stellenbosch
2019
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613832762884096 |
|---|---|
| access_status_str | Open Access |
| author | Rajaona, Solofomampionona Forunat |
| author2 | Sanders, J. W. |
| author_browse | Rajaona, Solofomampionona Forunat Sanders, J. W. |
| author_facet | Sanders, J. W. Rajaona, Solofomampionona Forunat |
| author_sort | Rajaona, Solofomampionona Forunat |
| collection | Thesis |
| dc_rights_str_mv | University of Stellenbosch |
| description | Thesis (PhD)--Stellenbosch University, 2016. |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/106607 |
| institution | Stellenbosch University (South Africa) |
| language | en_ZA |
| last_indexed | 2026-06-10T12:42:24.259Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository |
| publishDate | 2019 |
| publishDateRange | 2019 |
| publishDateSort | 2019 |
| publisher | Stellenbosch : University of Stellenbosch |
| publisherStr | Stellenbosch : University of Stellenbosch |
| record_format | dspace |
| source_str | SUNScholar — Stellenbosch University Repository |
| spelling | oai:scholar.sun.ac.za:10019.1/106607 An algebraic framework for reasoning about privacy Rajaona, Solofomampionona Forunat Sanders, J. W. Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Division Mathematics. Algebraic techniques Program verification Programming languages Programming (Computers) Refinement (Computing) Semantics (Computer science) Security protocols (Programming) Thesis (PhD)--Stellenbosch University, 2016. ENGLISH ABSTRACT: In this thesis, we study a formal programming language and algebraic tech-niques to analyse computational systems that considers data confidentiality and hidden computations. The reasoning techniques are based on the refinement of programs (Back and von Wright, Carroll Morgan). The underlying logic is a first-order S 5 n epistemic logic that distinguish b etween o bjects and concepts – of the family of Melvin Fitting’s First Order Intensional Logic. We give a relational semantics and a weakest-precondition semantics to prove the soundness of programming laws. The laws for confidentiality r efinement ex-tends those of Carroll Morgan’s Shadow Knows refinement c alculus, whereas the laws for reasoning about knowledge derives mostly from the Public An-nouncement Logic. As applications for knowledge dynamics, we study the classical puzzles of the Three Wise Men and the Muddy Children by means of the programming laws; and as an application for reasoning about confiden-tiality and anonymity, we give a sketch of formal analysis of the Anonymous Cocaine Auction Protocol. AFRIKAANSE OPSOMMING : Geen Afrikaanse opsomming beskikbaar nie. Doctoral 2019-10-09T08:09:27Z 2019-10-09T08:09:27Z 2016-03 Thesis http://hdl.handle.net/10019.1/106607 en_ZA University of Stellenbosch vi, 104 pages application/pdf Stellenbosch : University of Stellenbosch |
| spellingShingle | Algebraic techniques Program verification Programming languages Programming (Computers) Refinement (Computing) Semantics (Computer science) Security protocols (Programming) Rajaona, Solofomampionona Forunat An algebraic framework for reasoning about privacy |
| title | An algebraic framework for reasoning about privacy |
| title_full | An algebraic framework for reasoning about privacy |
| title_fullStr | An algebraic framework for reasoning about privacy |
| title_full_unstemmed | An algebraic framework for reasoning about privacy |
| title_short | An algebraic framework for reasoning about privacy |
| title_sort | algebraic framework for reasoning about privacy |
| topic | Algebraic techniques Program verification Programming languages Programming (Computers) Refinement (Computing) Semantics (Computer science) Security protocols (Programming) |
| url | http://hdl.handle.net/10019.1/106607 |
| work_keys_str_mv | AT rajaonasolofomampiononaforunat analgebraicframeworkforreasoningaboutprivacy AT rajaonasolofomampiononaforunat algebraicframeworkforreasoningaboutprivacy |