Browse By Person: Choo, Kim-Kwang
 | Up a level |
Group by: Item Type | Date
Number of items: 13.
Journal Article
Choo, Kim-Kwang R., Boyd, Colin A., & Hitchcock, Yvonne (2006) The Importance of Proofs of Security for Key Establishment Protocols: Formal Analysis of Jan-Chen, Yang-Shen-Shieh, Kim-Huh-Hwang-Lee, Lin-Sun-Hwang, and Yeh-Sun Protocols. Computer Communications, 29(15), pp. 2788-2797.
412 
8 
6
412 8 6Conference Paper
Du, Rong, Foo, Ernest, Boyd, Colin A., & Choo, Kim-Kwang R. (2006) Formal analysis of secure contracting protocol for E-Tendering. In Fourth Australasian Information Security Workshop (Network Security) (AISW 2006), 16 - 19 Jan 2006, Hobart, Australia.
176
176Tang, Qiang & Choo, Kim-Kwang R. (2006) Secure Password-based Authenticated Group Key Agreement for Data-Sharing Peer-to-Peer Networks. In Zhou, Jianying & Yung, Moti (Eds.) 4th International Conference on Applied Cryptography and Network Security (ACNS'06), 6~9 June 2006, Singapore.
376 6
376 6Boyd, Colin A., Choo, Kim-Kwang R., & Mathuria, Anish (2006) An extension to Bellare and Rogaway (1993) model: resetting compromised long-term keys. In Batten, L. & Safavi-Naini, R. (Eds.) 11th Australasian Conference. on. Information Security and Privacy - ACISP 2006, 3 - 5 July 2006, Melbourne, Australia.
235 2 4
235 2 4Ring, Jared W., Cho, Kim-Kwang R., Foo, Ernest, & Looi, Mark H. (2006) A new authentication mechanism and key agreement protocol for SIP using identity-based cryptography. In Clark, Andrew, McPherson, Mark, & Mohay, George (Eds.) AusCERT Asia Pacific Information Technology Security Conference 2006, 23 May 2006, Gold Coast, Australia.
548
548Choo, Kim-Kwang R., Boyd, Colin A., Hitchcock, Yvonne, & Maitland, Greg M. (2005) Complementing Computational Protocol Analysis with Formal Specifications. In Dimitrakos, Theo & Martinelli, Fabio (Eds.) IFIP TC1 WG1.7 Second International Workshop on Formal Aspects in Security and Trust - FAST 2004, 26 - 27 August, Toulouse, France.
150
150Choo, Kim-Kwang R., Boyd, Colin A., & Hitchcock, Yvonne (2005) Errors in Computational Complexity Proofs for Protocols. In Roy, Bimal (Ed.) Advances in Cryptology - Asiacrypt 2005, 4-8 Dec 2005, Chennai, India.
318 29 34
318 29 34Choo, Kim-Kwang R., Boyd, Colin A., & Hitchcock, Yvonne (2005) Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. In Roy, Bimal (Ed.) Advances in Cryptology - Asiacrypt 2005, 4-8 Dec 2005, Chennai, India.
415 54 44
415 54 44Choo, Kim-Kwang R., Boyd, Colin, Hitchcock, Yvonne, & Maitland, Greg M. (2005) On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. In Carlo, Blundo & Cimato, Stelvio (Eds.) 4th Conference on Security in Communication Networks - SCN 2004, 8 - 10 Sep 2004, Amalfi, Italy.
312 7
312 7Choo, Kim-Kwang R., Boyd, Colin A., & Hitchcock, Yvonne (2005) On Session Key Construction in Provably-Secure Key Establishment Protocols. In 1st International Conference on Cryptology in Malaysia - Mycrypt 2005, 28 Sep - 01 Oct 2005, Kuala Lumpur, Malaysia.
110 12 15
110 12 15Au, Wai-Ki, Choo, Kim-Kwang, & Looi, Mark (2005) A Secure Anonymous Authorisation Architecture for E-Commerce. In Cheung, W & Hsu, J (Eds.) Proceedings: The 2005 IEEE International Conference on E-Technology, E-Commerce and E-Service, 29 March - 1 April, 2005, China, Hong Kong.
1
1Choo, Kim-Kwang R. & Hitchcock, Yvonne (2005) Security Requirement for Key Establishment Proof Models: Revisiting Bellare-Rogaway and Jeong-Katz-Lee Protocols. In Boyd, Colin & Gonzalez-Nieto, Juan Manuel (Eds.) 10th Australasian Conference on Information Security and Privacy - ACISP 2005, 4-6 July 2005, Brisbane, Australia.
394
394QUT Thesis
Choo, Kim-Kwang Raymond (2006) Key establishment : proofs and refutations. PhD thesis, Queensland University of Technology.
648
648