Dominic Duggan Type-based cryptographic operations. 485-550 2004 12 Journal of Computer Security 3-4 db/journals/jcs/jcs12.html#Duggan04