1. Lecture Notes in Computer Science;M. Bellare,1994
2. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. 3rd edn. Addison-Wesley (2006)
3. Hofheinz, D., Shoup, V.: Gnuc: A new universal composability framework. Cryptology ePrint Archive, Report 2011/303 (2011), http://eprint.iacr.org/
4. Mills, D., Martin, J., Burbank, J., Kasch, W.: Network Time Protocol Version 4: Protocol and Algorithms Specification. RFC 5905 (Proposed Standard) (June 2010)
5. IFIP;E. Magkos,2001