The formal development of secure systems (my 1992 doctoral thesis) | Heykuki News