An algebraic framework for reasoning about privacy

dc.contributor.advisorSanders, J. W.en_ZA
dc.contributor.authorRajaona, Solofomampionona Forunaten_ZA
dc.contributor.otherStellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Division Mathematics.en_ZA
dc.descriptionThesis (PhD)--Stellenbosch University, 2016.en_ZA
dc.description.abstractENGLISH 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.en_ZA
dc.description.abstractAFRIKAANSE OPSOMMING : Geen Afrikaanse opsomming beskikbaar nie.af_ZA
dc.format.extentvi, 104 pagesen_ZA
dc.publisherStellenbosch : University of Stellenboschen_ZA
dc.subjectAlgebraic techniquesen_ZA
dc.subjectProgram verificationen_ZA
dc.subjectProgramming languagesen_ZA
dc.subjectProgramming (Computers)en_ZA
dc.subjectRefinement (Computing)en_ZA
dc.subjectSemantics (Computer science)en_ZA
dc.subjectSecurity protocols (Programming)en_ZA
dc.titleAn algebraic framework for reasoning about privacyen_ZA
dc.rights.holderUniversity of Stellenboschen_ZA

Files in this item


This item appears in the following Collection(s)