December 2009
Third International Symposium on Innovation and Information and Communication Technology (ISIICT 2009) (ISIICT)
Innovation and Information and Communication Technology (ISIICT 2009)
15 - 17 December 2009
Cryptographic protocols, testing equivalence, Bisimulation , authenticity and secrecy
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/