Some Publications of Wenbo Mao
Trusted Computing, Virtualization and Grids
- H. Chen, J. Chen, W. Mao and F. Yan. Daonity--Grid security from two levels of virtualization Elsevier Journal of Information Security Technical Report , Vol 12, pages 123--138, 2007.
- W. Mao, F. Yan and C. Chen. Daonity---Grid Security with Behaviour Conformity from Trusted Computing In 1st ACM Workshop on Scalable Trusted Computing, ACM Press, pages 43--46, November 2006.
- W. Mao, A. Martin, H. Jin and H. Zhang Innovations for Grid Security from Trusted Computing --- Protocol Solutions to Sharing of Security Resource To appear in Security Protocols, 14th International Workshop on Security Protocols, Cambridge University, March 2006, Lecture Notes in Computer Science, Vol xxx (to appear), Springer-Verlag.
Cryptography and Computer Security
- W. Mao. A Structured Operational Semantic Modelling of the Dolev-Yao Threat Environment and its Composition with Cryptographic Protocols In International Journal: Computer Standards & Interfaces, Vol 27 (2005) 479-488, Elsevier.
- L. Chen, H.W. Lim and W. Mao. User Friendly Grid Security Architecture and Protocols To appear in Security Protocols, 13th International Workshop on Security Protocols, Cambridge University, April 2005, Lecture Notes in Computer Science, Vol xxx (to appear), Springer-Verlag.
- Boyd, C., W. Mao and K. Paterson. Key agreement using statically keyed authenticators 2004 Applied Cryptography and Newwork Security (ACNS'04), Yellow Mountain, China, June 2004, Lecture Notes in Computer Science, Vol 3089, Springer-Verlag, 2004, pages 248-262.
- Boyd, C., W. Mao and K. Paterson. Deniable authenticated key establishment for internet protocols In B. Christianson, B. Crispo, J.A. Malcolm, M. Roe (eds.) Security Protocols, 11th International Workshop on Security Protocols, Cambridge University, April 2003, Lecture Notes in Computer Science, Vol 3364, Springer-Verlag, 2005, pages 255-271.
- Malone-Lee J. and W. Mao. Two birds one stone: Signcryption using RSA Topics in Cryptology - Cryptographers' Track, RSA Conference - 2003, Lecture Notes in Computer Science, Vol 2612, Springer-Verlag, 2003, pages 210-224.
- Galbraith S.D. and W. Mao. Invisibility and anonymity of undeniable and confirmer signatures Topics in Cryptology - Cryptographers' Track, RSA Conference 2003, Lecture Notes in Computer Science, Vol 2612, Springer-Verlag, 2003, pages 80-97.
- Galbraith S.D., W. Mao and P.G. Paterson. RSA-based undeniable signatures for general moduli Topics in Cryptology - Cryptographers' Track, RSA Conference 2002, San Jose, California, February 2002, Lecture Notes in Computer Science, Vol 2271, Springer-Verlag, 2002, pages 200-217.
- Galbraith S.D., W. Mao and P.G. Paterson. A cautionary note regarding cryptographic protocols based on composite integers HP Laboratories Technical Report HPL-2001-284, November, 2001.
- Mao W. Verifiable partial escrow of integer factors Design, Codes and Cryptography, Vol 24, No 3, December 2001, Kluwer Academic Publishers, pages 327-342.
- Mao W. Timed-release cryptography Selected Areas in Cryptography VIII (SAC'01), Toronto, Ontario, Canada, August 2001, Lecture Notes in Computer Science, Vol 2259, Springer-Verlag, 2001, pages 342-357.
- Mao W. Fast Monte-Carlo primality evidence shown in the dark Cryptographers' Track, RSA Conference 2000, Europe, Munich, Germany, April 2000; Full version: HP Laboratories Technical Report HPL-1999-30R1 October 1999.
- Mao W. Short certification of secure RSA modulus (Transcript of discussion). In Security Protocols 8th International Workshop on Security Protocols, Cambridge University, April 2000, Lecture Notes in Computer Science, Vol 2133, Springer-Verlag, 2001, pages 234-237.
- Mao W. Send message into a definite future 2nd International Conference on Information and Communications Security (ICICS'99), Sydney, australia, November 1999, Lecture Notes in Computer Science, Vol 1726, Springer-Verlag, 1999, pages 244-251.
- Mao W. Time-lock puzzle with examinable evidence of unlocking time. In Security Protocols, 7th International Workshop on Security Protocols, Cambridge University, April 1999, Lecture Notes in Computer Science, Vol 1796, Springer-Verlag, 2000, pages 95-102.
- Mao W. and C.H. Lim. Cryptanalysis of subgroups of Z*n Advances in Cryptology, ASIACRYPT'98, Beijing, China. October 1998, Lecture Notes in Computer Science, Vol 1514, Springer-Verlag, 1998, pages 214-216.
- Mao W. Verifiable partial sharing of integer factors Selected Areas of Cryptography (SAC'98), Kingston, Ontario, Canada, August 1998, Lecture Notes in Computer Science, Vol 1556, Springer-Verlag, 1998, pages 94-105.
- Mao W. Necessity and Realization of universally verifiable secret sharing 1998 IEEE Symposium on Security and Privacy. Oakland, CA, May 1998, IEEE Computer Society Press, 1998, pages 208-214.
- Bao F., R. Deng and W. Mao. Efficient and practical fair exchange protocols with off-line TTP 1998 IEEE Symposium on Security and Privacy. Oakland, CA, May 1998, IEEE Computer Society Press, 1998, pages 77-85.
- Mao W. Guaranteed correct sharing of integer factorization with off-line shareholders Public Key Cryptography, PKC'98, Pacifico Yokohama, Japan, February 1998, Lecture Notes in Computer Science, Vol 1431, Springer-Verlag, 1998, pages 60-71.
- Mao W. Publicly verifiable partial key escrow 1st International Conference on Information and Communications Security (ICICS'97), Beijing, November, 1997, Lecture Notes in Computer Science, Vol 1334, Springer-Verlag, 1997, pages 409-413.
- Mao W. Verifiable Escrowed Signature 2nd Australian Conference in Information Security and Privacy. Sydney, July, 1997, Lecture Notes in Computer Science, Vol 1270, Springer-Verlag, 1997, pages 240-248.
- Mao W. and C. Boyd. Methodical use of cryptographic transformations in authentication protocols IEE Proceedings, Comput. Digit. Tech., Vol. 142, No. 4, July 1995, pages 272-278.
- Mao W. and C. Boyd. On strengthening authentication protocols to foil cryptanalysis 1994 European Symposium on Research in Computer Security (ESORICS'94), Lecture Notes in Computer Science, Vol 875, Springer-Verlag, 1994, pages 193-204.
- Boyd C. and W. Mao. Design secure key exchange protocols, 1994 European Symposium on Research in Computer Security (ESORICS'94), Lecture Notes in Computer Science, Vol 875, Springer-Verlag, 1994, pages 93-105.
- Mao W. and C. Boyd. Design of authentication protocols: some misconceptions and a new approach IEEE Computer Security Foundations Workshop VII, Franconia, New Hampshire, June 1994, IEEE Computer Society Press, 1994, pages 178-186.
- Mao W. and C. Boyd. To decrypt or not to decrypt? that is the question 2nd International Workshop on Security Protocols, Cambridge University, April 1994.
- Mao W. and C. Boyd. Design of authentication and key management protocols Official document of International Organisation for Standardisation (ISO) and International Electrotechnical Commission (IEC) JTC1, SC27, WG2, Document N262: ``Papers on authentication and key management protocols based on symmetric techniques,'' February 1994.
- Mao W. and C. Boyd. On the use of encryption in cryptographic protocols Official document of International Organisation for Standardisation (ISO) and International Electrotechnical Commission (IEC) JTC1, SC27, WG2, Document N262: ``Papers on authentication and key management protocols based on symmetric techniques,'' February 1994.
- Mao W. and C. Boyd. Classification of cryptographic techniques in authentication protocols Selected Areas in Cryptography (SAC'94), Kingston, Ontario, Canada, May 1994, pages 95-106.
- Boyd C. and W. Mao. Design and analysis of key exchange protocols via secure channel identification Advances in Cryptology, ASIACRYPT'94, Lecture Notes in Computer Science, Vol 917, Springer-Verlag 1994, pages 171-181.
- Mao W. and C. Boyd. On the use of encryption in cryptographic protocols Codes and Cyphers, the Institute of Mathematics and Its Applications, ISBN: 0-905091-03-5, 1993, pages 251-262.
- Boyd C. and W. Mao. On a limitation of BAN logic Advances in Cryptology, EUROCRYPT'93, Lofthus, Norway. May, 1993, Lecture Notes in Computer Science, Vol 765, Springer-Verlag, 1994, pages 240-247.
Electronic Commerce
- Chen, L. and W. Mao. An auditable metering scheme for web advertisement applications Information Security, 4th International Conference on Information Security (ISC'01), Malaga, Spain, October 2001, Lecture Notes in Computer Science, Vol 2200, Springer-Verlag, 2001, pages 475-485.
- Boyd, C. and W. Mao. Security issues for electronic auctions HP Laboratories Technical Report HPL-2000-90, July, 2000.
- Mao W. Lightweight micro-cash for the Internet Computer Security - 4th European Symposium on Research in Computer Security (ESORICS'96), Rome, Italy, September 1996, Lecture Notes in Computer Science, Vol 1146, Springer-Verlag, 1996, pages 15-32.
- Mao W. On two proposals for on-line bankcard payments using open networks: problems and solutions 1996 IEEE Symposium on Security and Privacy, IEEE Computer Society Press, May 1996, pages 201-210.
- Mao W. On cryptographic techniques for on-line bankcard payment transactions using open networks In Security Protocols 1996 International Workshop on Security Protocols, the Isaac Newton Institute, Cambridge University, April 1996, Lecture Notes in Computer Science, Vol 1189, Springer-Verlag, 1996, pages 1-17.
- Mao W. Financial transaction models in the electronic world Workshop on Advanced Payment Systems for Open Networks, Advisory Committee to the government of the United States of America on Internet Technologies, San Francisco, November 1-2, 1995.
- Mao W. and S. Zaba. the HP protocol for Internet secure payment transactions, 33rd Internet Engineering Task Force, Stockholm, Sweden. July 1995, pages 493-496.
Formal Methods for Systems Verification
- Mao W. A structured operational modelling of the Dolev-Yao Threat Model Security Protocols, 10th International Workshop on Security Protocols, Cambridge University, April 2002, Lecture Notes in Computer Science, Vol 2845, Springer-Verlag, 2004, pages 34-44.
- Mao W. An augmentation of of BAN-like logics 8th IEEE Computer Security Foundations Workshop, County Kerry, Ireland, June 1995, IEEE Computer Society Press, 1995, pages 44-55.
- Mao W. and C. Boyd. Towards formal analysis of security protocols IEEE Computer Security Foundations Workshop VI, Franconia, New Hampshire, June 1993, IEEE Computer Society Press, 1993, pages 147-158.
- Mao W. and G. Milne. An automated technique for finite-state machine equivalence Computer Aided Verification, CAV'91, July 1991, Lecture Notes in Computer Science, Vol 575, Springer-Verlag, 1992, pages 233-243.
- Mao W. The Verification of Concurrent Finite-State Systems Ph.D. Thesis, University of Strathclyde, Glasgow, Scotland, 1992.
VLSI Design, Silicon Compilation
- Mao W. A virtual grid silicon compilation layout system, Computer-Aided Design for VLSI, Guilin, China, August 1986 (in Chinese).
Radio Communications
- Mao W. Prediction of available frequencies for short-wave communications. Wave and Antenna. Vol. 4(1983):138-146 (in Chinese).
Comments
Topic revision: r3 - 16 May 2008 - 17:39:09 - Main.Admininistrator