Formal verification of a secure mobile banking protocol

Harry Huy Hoang Ngo; Osama Dandash; Phu Dung Le; Balasubramaniam Srinivasan; Campbell Charles Wilson

Formal verification of a secure mobile banking protocol

Harry Huy Hoang Ngo, Osama Dandash, Phu Dung Le, Balasubramaniam Srinivasan, Campbell Charles Wilson

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Proceedings of the First International Conference on Computer Science and Information Technology, Part II
Editors	Natarajan Meghanathan, Brajesh Kumar Kaushik, Dhinaharan Nagamalai
Place of Publication	Berlin Germany
Publisher	Springer-Verlag London Ltd.
Pages	410 - 421
Number of pages	12
ISBN (Print)	9783642178771
Publication status	Published - 2011
Event	International Conference on Computer Science and Information Technology (CCSIT 2011) - Bangalore, India Duration: 2 Jan 2011 → 4 Jan 2011 Conference number: 1st https://link.springer.com/book/10.1007/978-3-642-17857-3

Conference

Conference	International Conference on Computer Science and Information Technology (CCSIT 2011)
Abbreviated title	CCSIT 2011
Country/Territory	India
City	Bangalore
Period	2/01/11 → 4/01/11
Other	CCSIT: International Conference on Computer Science and Information Technology Advances in Computer Science and Information Technology First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I
Internet address	https://link.springer.com/book/10.1007/978-3-642-17857-3

Cite this

Ngo, Harry Huy Hoang ; Dandash, Osama ; Le, Phu Dung et al. / Formal verification of a secure mobile banking protocol. Proceedings of the First International Conference on Computer Science and Information Technology, Part II. editor / Natarajan Meghanathan ; Brajesh Kumar Kaushik ; Dhinaharan Nagamalai. Berlin Germany : Springer-Verlag London Ltd., 2011. pp. 410 - 421

@inproceedings{05b8022b8fdb4e558ccec09d039457dd,

title = "Formal verification of a secure mobile banking protocol",

author = "Ngo, {Harry Huy Hoang} and Osama Dandash and Le, {Phu Dung} and Balasubramaniam Srinivasan and Wilson, {Campbell Charles}",

year = "2011",

language = "English",

isbn = "9783642178771",

pages = "410 -- 421",

editor = "Natarajan Meghanathan and Kaushik, {Brajesh Kumar} and Dhinaharan Nagamalai",

booktitle = "Proceedings of the First International Conference on Computer Science and Information Technology, Part II",

publisher = "Springer-Verlag London Ltd.",

address = "Germany",

note = "International Conference on Computer Science and Information Technology (CCSIT 2011), CCSIT 2011 ; Conference date: 02-01-2011 Through 04-01-2011",

url = "https://link.springer.com/book/10.1007/978-3-642-17857-3",

}

Ngo, HHH, Dandash, O, Le, PD, Srinivasan, B & Wilson, CC 2011, Formal verification of a secure mobile banking protocol. in N Meghanathan, BK Kaushik & D Nagamalai (eds), Proceedings of the First International Conference on Computer Science and Information Technology, Part II. Springer-Verlag London Ltd., Berlin Germany, pp. 410 - 421, International Conference on Computer Science and Information Technology (CCSIT 2011), Bangalore, India, 2/01/11.

Formal verification of a secure mobile banking protocol. / Ngo, Harry Huy Hoang; Dandash, Osama; Le, Phu Dung et al.
Proceedings of the First International Conference on Computer Science and Information Technology, Part II. ed. / Natarajan Meghanathan; Brajesh Kumar Kaushik; Dhinaharan Nagamalai. Berlin Germany: Springer-Verlag London Ltd., 2011. p. 410 - 421.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Formal verification of a secure mobile banking protocol

AU - Ngo, Harry Huy Hoang

AU - Dandash, Osama

AU - Le, Phu Dung

AU - Srinivasan, Balasubramaniam

AU - Wilson, Campbell Charles

N1 - Conference code: 1st

PY - 2011

Y1 - 2011

M3 - Conference Paper

SN - 9783642178771

SP - 410

EP - 421

BT - Proceedings of the First International Conference on Computer Science and Information Technology, Part II

A2 - Meghanathan, Natarajan

A2 - Kaushik, Brajesh Kumar

A2 - Nagamalai, Dhinaharan

PB - Springer-Verlag London Ltd.

CY - Berlin Germany

T2 - International Conference on Computer Science and Information Technology (CCSIT 2011)

Y2 - 2 January 2011 through 4 January 2011

ER -