Yacine Gasmi Ahmad-Reza Sadeghi Patrick Stewin Martin Unger N. Asokan Beyond secure channels. 30-40 2007 STC http://doi.acm.org/10.1145/1314354.1314363 conf/ccs/2007stc db/conf/ccs/stc2007.html#GasmiSSUA07