| |
In WiSe '04: Proceedings of the 3rd ACM workshop on Wireless security (2004), pp. 51-60.
|
| |
The Computer Journal, Vol. 51, No. 4. (1 July 2008), pp. 497-510.
|
| |
Formal Aspects of Computing
|
| |
Formal Techniques for Networked and Distributed Systems - FORTE 2003 (2003), pp. 303-318.
|
| |
Softw. Test. Verif. Reliab., Vol. 17, No. 1. (2007), pp. 41-57.
|
| |
Testing of Communicating Systems (2006), pp. 227-244.
|
| |
Information and Software Technology, Vol. 45 (2003), pp. 798-803.
|
| |
Distributed Computing, Vol. 21, No. 3. (September 2008), pp. 223-238.
|
| |
IEEE Trans. Comput., Vol. 53, No. 10. (2004), pp. 1330-1342.
|
| |
Information and Software Technology, Vol. 48, No. 8. (August 2006), pp. 696-707.
|
| |
IEEE Trans. Softw. Eng., Vol. 30, No. 7. (2004), pp. 425-436.
|
| |
Quality Software, 2007. QSIC '07. Seventh International Conference on In Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 127-136.
|
| |
Computers & Security, Vol. 27, No. 5-6. (October 2008), pp. 216-223.
|
| |
Applied Cryptography and Network Security (2008), pp. 55-74.
|
| |
In XMLSEC '03: Proceedings of the 2003 ACM workshop on XML security (2003), pp. 86-93.
|
| |
Knowledge-Based Intelligent Information and Engineering Systems (2008), pp. 975-983.
|
| |
The Journal of China Universities of Posts and Telecommunications, Vol. 15, No. 4. (December 2008), pp. 69-74.
|
| |
Intelligence and Security Informatics, 2008. ISI 2008. IEEE International Conference on In Intelligence and Security Informatics, 2008. ISI 2008. IEEE International Conference on (2008), pp. 215-217.
|
| |
In In Asiacrypt, volume 3329 of LNCS (2004), pp. 308-322.
|
| |
Comput. Commun, Vol. 22 (1999), pp. 1502-1511.
|
| |
In in Proceedings of the 4th International Conference on Trust Management, LNCS (2006)
|
| |
Information and Communications Security (2006), pp. 238-248.
|
| |
In VANET '07: Proceedings of the fourth ACM international workshop on Vehicular ad hoc networks (2007), pp. 19-28.
|
| |
In VANET '08: Proceedings of the fifth ACM international workshop on VehiculAr Inter-NETworking (2008), pp. 49-57.
|
| |
|
| |
In PhD Progress Report (July 2005)
|
| |
In FOCS (1982), pp. 160-164.
|
| |
In IEEE Globecom (1987), pp. 99-102.
|
| |
In FOCS (1986), pp. 162-167.
|
| |
|
| |
Advances in Cryptology — CRYPTO’ 88 (1990), pp. 27-35.
|
| |
In STOC '87: Proceedings of the nineteenth annual ACM conference on Theory of computing (1987), pp. 218-229.
|
| |
Advances in Cryptology — CRYPTO ’87 (1988), pp. 462-462.
|
| |
Advances in Cryptology - EUROCRYPT 2007 (2007), pp. 412-429.
|
| |
Topics in Cryptology – CT-RSA 2008 (2008), pp. 318-332.
|
| |
Information Security and Privacy (2007), pp. 416-430.
|
| |
Theory of Cryptography (2005), pp. 342-362.
|
| |
In STOC '88: Proceedings of the twentieth annual ACM symposium on Theory of computing (1988), pp. 1-10.
|
| |
In PODC '98: Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing (1998), pp. 101-111.
|
| |
Theory of Cryptography (2006), pp. 285-304.
|
| |
Public Key Cryptography – PKC 2007 (2007), pp. 343-360.
|
| |
Lecture Notes in Computer Science, Vol. 2139 (2001), pp. 119-??.
|
| |
Signal Processing Letters, IEEE In Signal Processing Letters, IEEE, Vol. 3, No. 4. (1996), pp. 119-120.
|
| |
Transactions on Computers In Transactions on Computers, Vol. 42, No. 5. (1993), pp. 608-612.
|
| |
System Sciences, 2003. Proceedings of the 36th Annual Hawaii International Conference on (2003), 6 pp..
|
| |
Commun. ACM, Vol. 21, No. 2. (1 February 1978), pp. 120-126.
|
| |
GeoInformatica, Vol. 11, No. 2. (June 2007), pp. 159-193.
|
| |
|
| |
International journal of uncertainty, fuzziness, and knowledge-based systems (2002)
|
| |
|
Search
