Language semantics for secure information flow analysis. - Benjamin George Roberts (2013)