Integration of a Security Type System into a Program Logic.

Reiner Hähnle Jing Pan Philipp Rümmer Dennis Walter Integration of a Security Type System into a Program Logic. 116-131 2006 conf/tgc/2006 TGC http://dx.doi.org/10.1007/978-3-540-75336-0_8 db/conf/tgc/tgc2006.html#HahnlePRW06