• Apr 24, 2017 News! Vol.6, No.4 has been indexed by EI (Inspec).   [Click]
  • Apr 24, 2017 News! Vol.6, No.3 has been indexed by EI (Inspec).   [Click]
  • Jun 26, 2017 News!Vol 7, No 4 has been published with online version 12 original aritcles from 6 countries are published in this issue   [Click]
General Information
    • ISSN: 2010-3697
    • Frequency: Bimonthly
    • DOI: 10.7763/IJMO
    • Editor-in-Chief: Prof. Adrian Olaru
    • Executive Editor: Ms.Yoyo Y. Zhou
    • Abstracting/ Indexing: Engineering & Technology Digital Library, ProQuest, Crossref, Electronic Journals Library, Google Scholar, EI (INSPEC, IET).
    • E-mail ijmo@iacsitp.com
Prof. Adrian Olaru
University Politehnica of Bucharest, Romania
I'm happy to take on the position of editor in chief of IJMO. It's a journal that shows promise of becoming a recognized journal in the area of modelling and optimization. I'll work together with the editors to help it progress.
IJMO 2013 Vol.3(2): 198-201 ISSN: 2010-3697
DOI: 10.7763/IJMO.2013.V3.266

Digital Currency System for India

Mahil Carr, Tripti Gupta, and Abhishek Pandey
Abstract—This paper proposes a new Digital Currency System for India. The fundamental concepts of the system and the security properties required are specified using a formal specification language Z. An abstract specification is given here and it has to be further refined to a detailed concrete specification closer to implementation.

Index Terms—Formal methods, Z specification, functional security properties, electronic money.

The authors are from the Institute for Development and Research in Banking Technology (e-mail: mahilcarr@idrbt.ac.in, {er.tgupta, abhishekpandey31}@ gmail.com).


Cite:Mahil Carr, Tripti Gupta, and Abhishek Pandey, "Digital Currency System for India," International Journal of Modeling and Optimization vol. 3, no. 2, pp. 198-201, 2013.

Copyright © 2008-2015.International Journal of Modeling and Optimization. All rights reserved.
E-mail: ijmo@iacsitp.com