An algebraic framework for reasoning about security - Rajaona, Solofomampionona Fortunat (Stellenbosch : Stellenbosch University, 2013)
Thesis (MSc)--Stellenbosch University, 2013.