@article{LPZ13, author = {Z. Liu and J. Pang and C. Zhang}, title = {Design and formal verification of a certified email protocol with transparent {TTP}}, journal = {Frontiers of Computer Science}, year = {2013}, volume = {7}, number = {2}, pages = {279-297}, url = {http://satoss.uni.lu/jun/papers/FCS13.pdf} }