<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AM</journal-id><journal-title-group><journal-title>Applied Mathematics</journal-title></journal-title-group><issn pub-type="epub">2152-7385</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/am.2016.73027</article-id><article-id pub-id-type="publisher-id">AM-64064</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Cryptographic Schemes Based on Elliptic Curves over the Ring Zp[i]
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>anoj</surname><given-names>Kumar</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Pratik</surname><given-names>Gupta</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Mathematics and Statistics, Gurukula Kangri Vishwavidyalaya, Haridwar (Uttrakhand), India</addr-line></aff><pub-date pub-type="epub"><day>24</day><month>02</month><year>2016</year></pub-date><volume>07</volume><issue>03</issue><fpage>304</fpage><lpage>312</lpage><history><date date-type="received"><day>9</day>	<month>January</month>	<year>2016</year></date><date date-type="rev-recd"><day>accepted</day>	<month>26</month>	<year>February</year>	</date><date date-type="accepted"><day>29</day>	<month>February</month>	<year>2016</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p><html>
 <head></head>
 
  Elliptic Curve Cryptography recently gained a lot of attention in industry. The principal attraction of ECC compared to RSA is that it offers equal security for a smaller key size. The present paper includes the study of two elliptic curve 
  <img src="Edit_c3a83099-c34d-4831-be0f-f3c4197da966.bmp" alt="" /> and 
  <img src="Edit_d485afc8-c2e2-441c-9599-d6e2dcc20bb6.bmp" alt="" /> defined over the ring 
  <img src="Edit_16d96315-0ad1-4cf8-acaa-01197139896d.bmp" alt="" /> where 
  <img src="Edit_4347c31a-bf48-4c75-8bea-a471c8ff7b19.bmp" alt="" />. After showing isomorphism between 
  <img src="Edit_04feea96-2784-4f7e-92c8-fa543a06fe14.bmp" alt="" /> and 
  <img src="Edit_2da90949-4ae2-4c38-9813-ebf8eaed47e1.bmp" alt="" /> , we define a composition operation (in the form of a mapping) on their union set. Then we have discussed our proposed cryptographic schemes based on the elliptic curve 
  <img src="Edit_73d38ace-3eff-4544-97e1-ca1351fd33cd.bmp" alt="" />. We also illustrate the coding of points over E, secret key exchange and encryption/decryption methods based on above said elliptic curve. Since our proposed schemes are based on elliptic curve of the particular type, therefore the proposed schemes provides a highest strength-per-bit of any cryptosystem known today with smaller key size resulting in faster computations, lower power assumption and memory. Another advantage is that authentication protocols based on ECC are secure enough even if a small key size is used.
 
</html></p></abstract><kwd-group><kwd>Elliptic Curve</kwd><kwd> Ring</kwd><kwd> Finite Field</kwd><kwd> Isomorphism</kwd><kwd> Cardinality</kwd><kwd> Encryption/Decryption</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Elliptic curve cryptography has been an active area of research since 1985 when Koblitz (Ref. [<xref ref-type="bibr" rid="scirp.64064-ref1">1</xref>] ) and Miller (Ref. [<xref ref-type="bibr" rid="scirp.64064-ref2">2</xref>] ) independently suggested using elliptic curves for public-key cryptography. A lot of work has been done on elliptic curve cryptography (Ref. [<xref ref-type="bibr" rid="scirp.64064-ref3">3</xref>] -[<xref ref-type="bibr" rid="scirp.64064-ref7">7</xref>] ). Because elliptic curve cryptography offers the same level of security as compared to RSA with considerably shorter keys, it has replaced traditional public key cryptosystems, especially, in environments where short keys are important. Public-key cryptosystems are computationally demanding and, hence, the fact that elliptic curve cryptography has been shown to be faster than traditional public-key cryptosystems is of great importance. Elliptic Curve Cryptographic (ECC) schemes are public-key mechanisms that provide the same functionality as RSA schemes. However, their security is based on the hardness of a different problem, namely the Elliptic Curve Discrete Logarithmic Problem (ECDLP). Most of the products and standards that use public-key cryptography for encryption and digital signatures use RSA schemes. The competing system to RSA is an elliptic curve cryptography. The principal attraction of elliptic curve cryptography compared to RSA is that it offers equal security for a smaller key-size.</p></sec><sec id="s2"><title>2. Auxiliary Result</title><p>In this section first we discuss some essential arithmetic of elliptic curves, and then we mention some auxiliary results which are necessary to prove the main result. Although a lot of literature exist on arithmetic of elliptic curves (Ref. [<xref ref-type="bibr" rid="scirp.64064-ref8">8</xref>] -[<xref ref-type="bibr" rid="scirp.64064-ref11">11</xref>] ), a simple and easier arithmetic of elliptic curves are given by the following (Ref. [<xref ref-type="bibr" rid="scirp.64064-ref10">10</xref>] ):</p><p>An elliptic curve <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x14.png" xlink:type="simple"/></inline-formula> over a finite field <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x15.png" xlink:type="simple"/></inline-formula> is defined by the parameters <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x16.png" xlink:type="simple"/></inline-formula> (a and b satisfy the relation<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x17.png" xlink:type="simple"/></inline-formula>), consists of the set of points<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x18.png" xlink:type="simple"/></inline-formula>, satisfying the equation<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x19.png" xlink:type="simple"/></inline-formula>. The set of points on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x20.png" xlink:type="simple"/></inline-formula> also include point O, which is the point at infinity and which is the identity element under addition. Actually elliptic curve are not ellipse. They are so called because they are described by cubic equation similar to those are used for calculating the circumference of an ellipse.</p><p>The Addition operation is defined over <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x21.png" xlink:type="simple"/></inline-formula> and it can be seen that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x22.png" xlink:type="simple"/></inline-formula> forms an abelian group under addition.</p><p> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x23.png" xlink:type="simple"/></inline-formula>.</p><p> If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x24.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x25.png" xlink:type="simple"/></inline-formula>. (The point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x26.png" xlink:type="simple"/></inline-formula> and is called the negative of P and is denoted<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x27.png" xlink:type="simple"/></inline-formula>).</p><p> If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x28.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x29.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x30.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x31.png" xlink:type="simple"/></inline-formula>, where</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x32.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x33.png" xlink:type="simple"/></inline-formula>.</p><p> Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x34.png" xlink:type="simple"/></inline-formula>. Then the point<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x35.png" xlink:type="simple"/></inline-formula>,</p><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x36.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x37.png" xlink:type="simple"/></inline-formula>.</p><p>Now we discuss the auxiliary result of this section. For a prime number p, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x38.png" xlink:type="simple"/></inline-formula> where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x39.png" xlink:type="simple"/></inline-formula>, be a ring having <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x40.png" xlink:type="simple"/></inline-formula> elements. Then we have the following assertion:</p><p>Lemma 2.1. (Ref. [<xref ref-type="bibr" rid="scirp.64064-ref12">12</xref>] ) An element <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x41.png" xlink:type="simple"/></inline-formula> is invertible in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x42.png" xlink:type="simple"/></inline-formula> if only if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x43.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x44.png" xlink:type="simple"/></inline-formula> be invertible then there exists an element <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x45.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x46.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.64064-formula65"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/12-7403046x47.png"  xlink:type="simple"/></disp-formula><p>which implies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x48.png" xlink:type="simple"/></inline-formula> i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x49.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x50.png" xlink:type="simple"/></inline-formula>.</p><p>In (1) take the conjugate</p><disp-formula id="scirp.64064-formula66"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/12-7403046x51.png"  xlink:type="simple"/></disp-formula><p>Multiply (1) and (2), we get</p><disp-formula id="scirp.64064-formula67"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x52.png"  xlink:type="simple"/></disp-formula><p>We deduce</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x53.png" xlink:type="simple"/></inline-formula>, so<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x54.png" xlink:type="simple"/></inline-formula>.</p><p>Lemma 2.2. (Ref. [<xref ref-type="bibr" rid="scirp.64064-ref13">13</xref>] [<xref ref-type="bibr" rid="scirp.64064-ref14">14</xref>] ) Let p be a prime number. Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x55.png" xlink:type="simple"/></inline-formula> is field iff<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x56.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Assume that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x57.png" xlink:type="simple"/></inline-formula> is not field if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x58.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x59.png" xlink:type="simple"/></inline-formula> an element<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x60.png" xlink:type="simple"/></inline-formula>, which is not</p><p>invertible. By Lemma 2.1, we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x61.png" xlink:type="simple"/></inline-formula>. So<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x62.png" xlink:type="simple"/></inline-formula>, where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x63.png" xlink:type="simple"/></inline-formula>. We can write<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x64.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula>with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula>. Suppose a is not divisible by p then p does not divide t but p divides<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x67.png" xlink:type="simple"/></inline-formula>. Using proposition 1.2 [<xref ref-type="bibr" rid="scirp.64064-ref3">3</xref>] , we obtain<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x68.png" xlink:type="simple"/></inline-formula>. We have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x69.png" xlink:type="simple"/></inline-formula>. Supposing<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x70.png" xlink:type="simple"/></inline-formula>, we can write <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x71.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x72.png" xlink:type="simple"/></inline-formula> is not invertible. Assume<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x73.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x74.png" xlink:type="simple"/></inline-formula> an element <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x75.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x76.png" xlink:type="simple"/></inline-formula>because <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x77.png" xlink:type="simple"/></inline-formula> this implies that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x78.png" xlink:type="simple"/></inline-formula> and hence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x79.png" xlink:type="simple"/></inline-formula>. So<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x80.png" xlink:type="simple"/></inline-formula>.</p><p>We deduce that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x81.png" xlink:type="simple"/></inline-formula> is not invertible. This completes the proof of the result.</p><p>Theorem 2.3. For two isomorphic abelian groups <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x82.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x83.png" xlink:type="simple"/></inline-formula> with the same unit element e, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x84.png" xlink:type="simple"/></inline-formula> and also let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x85.png" xlink:type="simple"/></inline-formula> be a mapping defined by</p><disp-formula id="scirp.64064-formula68"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x86.png"  xlink:type="simple"/></disp-formula><p>such that</p><disp-formula id="scirp.64064-formula69"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x87.png"  xlink:type="simple"/></disp-formula><p>where f is the isomorphism between <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x88.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x89.png" xlink:type="simple"/></inline-formula>. Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x90.png" xlink:type="simple"/></inline-formula> is an internal composition law, commutative with</p><p>identity element e and all elements in E are invertible.</p><p>Proof. It is clear that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x91.png" xlink:type="simple"/></inline-formula> is an internal composition law over E.</p><p>To show that e is the identity element with respect to binary operation<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x92.png" xlink:type="simple"/></inline-formula>.</p><p>Let x in E. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x93.png" xlink:type="simple"/></inline-formula> then</p><disp-formula id="scirp.64064-formula70"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x94.png"  xlink:type="simple"/></disp-formula><p>because <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x95.png" xlink:type="simple"/></inline-formula> and e is the unit element of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x96.png" xlink:type="simple"/></inline-formula>.</p><p>Else<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x97.png" xlink:type="simple"/></inline-formula>, then</p><disp-formula id="scirp.64064-formula71"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x98.png"  xlink:type="simple"/></disp-formula><p>because <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x99.png" xlink:type="simple"/></inline-formula> and e is unit element of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x100.png" xlink:type="simple"/></inline-formula>.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x101.png" xlink:type="simple"/></inline-formula>is commutative</p><p>We have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x102.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x103.png" xlink:type="simple"/></inline-formula> two abelian groups with the same unit element e.</p><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x104.png" xlink:type="simple"/></inline-formula>. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x105.png" xlink:type="simple"/></inline-formula> then</p><disp-formula id="scirp.64064-formula72"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x106.png"  xlink:type="simple"/></disp-formula><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x107.png" xlink:type="simple"/></inline-formula> then</p><disp-formula id="scirp.64064-formula73"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x108.png"  xlink:type="simple"/></disp-formula><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x109.png" xlink:type="simple"/></inline-formula> then</p><disp-formula id="scirp.64064-formula74"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x110.png"  xlink:type="simple"/></disp-formula><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x111.png" xlink:type="simple"/></inline-formula> then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x112.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s3"><title>3. Elliptic Curve over the Field <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x113.png" xlink:type="simple"/></inline-formula></title><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x114.png" xlink:type="simple"/></inline-formula> be two elliptic curve over the field<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x115.png" xlink:type="simple"/></inline-formula>, where p is a prime number such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x116.png" xlink:type="simple"/></inline-formula>, defined by</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x117.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x118.png" xlink:type="simple"/></inline-formula></p><p>where O is the point at infinity.</p><p>Corollary 3.1. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x119.png" xlink:type="simple"/></inline-formula> then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x120.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x121.png" xlink:type="simple"/></inline-formula>, then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x122.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x123.png" xlink:type="simple"/></inline-formula></p><p>This implies that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x124.png" xlink:type="simple"/></inline-formula>i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x125.png" xlink:type="simple"/></inline-formula></p><p>which is a contradiction.</p><p>Hence</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x126.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s4"><title>4. Main Result</title><p>Theorem 4.1. Let f be a mapping from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x127.png" xlink:type="simple"/></inline-formula> to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x128.png" xlink:type="simple"/></inline-formula> defined by</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x129.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x130.png" xlink:type="simple"/></inline-formula></p><p>Then f is a bijection.</p><p>Proof. First we show that f is well defined.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x131.png" xlink:type="simple"/></inline-formula> then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x132.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x133.png" xlink:type="simple"/></inline-formula> i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x134.png" xlink:type="simple"/></inline-formula>therefore <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x135.png" xlink:type="simple"/></inline-formula></p><p>Hence f is well defined.</p><p>f is one-one. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x136.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.64064-formula75"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x137.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64064-formula76"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x138.png"  xlink:type="simple"/></disp-formula><p>This implies that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x139.png" xlink:type="simple"/></inline-formula> i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x139.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x140.png" xlink:type="simple"/></inline-formula></p><p>So, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x141.png" xlink:type="simple"/></inline-formula></p><p>Hence, f is one-one.</p><p>f is onto. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x142.png" xlink:type="simple"/></inline-formula>. Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x143.png" xlink:type="simple"/></inline-formula> or <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x144.png" xlink:type="simple"/></inline-formula></p><p>This implies that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x145.png" xlink:type="simple"/></inline-formula> because <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x146.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x147.png" xlink:type="simple"/></inline-formula></p><p>Thus, f is onto.</p><p>f is homomorphism. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x148.png" xlink:type="simple"/></inline-formula> there is three cases arise:</p><p>Case I. When <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x149.png" xlink:type="simple"/></inline-formula></p><p>As we know that addition of two different points <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x150.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x151.png" xlink:type="simple"/></inline-formula> on elliptic curve is given by</p><disp-formula id="scirp.64064-formula77"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x152.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x153.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x154.png" xlink:type="simple"/></inline-formula></p><p>So we have</p><disp-formula id="scirp.64064-formula78"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x155.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x156.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x157.png" xlink:type="simple"/></inline-formula></p><p>Again</p><disp-formula id="scirp.64064-formula79"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x158.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x159.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x160.png" xlink:type="simple"/></inline-formula>.</p><p>It is obvious that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x161.png" xlink:type="simple"/></inline-formula> this implies that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x162.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x163.png" xlink:type="simple"/></inline-formula>.</p><p>Therefore</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x164.png" xlink:type="simple"/></inline-formula>.</p><p>Case II. When <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x165.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x166.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.64064-formula80"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x167.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x168.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x169.png" xlink:type="simple"/></inline-formula>.</p><p>Again</p><disp-formula id="scirp.64064-formula81"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x170.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x171.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x172.png" xlink:type="simple"/></inline-formula>.</p><p>It is evident that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x173.png" xlink:type="simple"/></inline-formula> then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x174.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x175.png" xlink:type="simple"/></inline-formula>.</p><p>Therefore,</p><disp-formula id="scirp.64064-formula82"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x176.png"  xlink:type="simple"/></disp-formula><p>Case III. When <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x177.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x178.png" xlink:type="simple"/></inline-formula></p><p>We have</p><disp-formula id="scirp.64064-formula83"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x179.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.64064-formula84"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x180.png"  xlink:type="simple"/></disp-formula><p>Thus</p><disp-formula id="scirp.64064-formula85"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x181.png"  xlink:type="simple"/></disp-formula><p>Therefore, in either case f is an homomorphism. Hence f is a bijection.</p><p>Corollary 4.2. For two isomorphic abelian groups <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x182.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x183.png" xlink:type="simple"/></inline-formula> with the same unit element O, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x183.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x184.png" xlink:type="simple"/></inline-formula> and also let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x183.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x184.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x185.png" xlink:type="simple"/></inline-formula> be a mapping defined by</p><disp-formula id="scirp.64064-formula86"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x186.png"  xlink:type="simple"/></disp-formula><p>such that</p><disp-formula id="scirp.64064-formula87"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x187.png"  xlink:type="simple"/></disp-formula><p>where f is the isomorphism between <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x188.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x189.png" xlink:type="simple"/></inline-formula>. Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x190.png" xlink:type="simple"/></inline-formula> is an internal composition law, commutative with identity element O and all elements in E are invertible.</p><p>Proof. Keeping in view the result of theorem-2.3, corollary-2.4, and theorem-3.1, it is evident that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x191.png" xlink:type="simple"/></inline-formula> is an internal composition law, commutative with identity element O and all elements in E are invertible.</p><p>Corollary 4.3. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x192.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x193.png" xlink:type="simple"/></inline-formula> are isomorphic groups i.e. they are both abstractly identical of groups then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x194.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x195.png" xlink:type="simple"/></inline-formula> is isomorphic to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x196.png" xlink:type="simple"/></inline-formula> this implies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x197.png" xlink:type="simple"/></inline-formula></p><p>Now,</p><disp-formula id="scirp.64064-formula88"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x198.png"  xlink:type="simple"/></disp-formula><p>This implies that</p><disp-formula id="scirp.64064-formula89"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x199.png"  xlink:type="simple"/></disp-formula><p>Therefore,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x200.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s5"><title>5. Cryptographic Applications</title><p>In this section we shall illustrate our proposed methods for coding of points on Elliptic Curve, then exchange of secret key and finally use them for encryption/decryption.</p><sec id="s5_1"><title>5.1. Coding of Element on Elliptic Curve</title><p>It is described with the help of illustration 5.1 and illustration 5.2.</p><p>Illustration 5.1. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x201.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x202.png" xlink:type="simple"/></inline-formula>, Then codes of elements of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x203.png" xlink:type="simple"/></inline-formula> are given by</p><disp-formula id="scirp.64064-formula90"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x204.png"  xlink:type="simple"/></disp-formula><p>Since, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x205.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x206.png" xlink:type="simple"/></inline-formula></p><p>Therefore</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x207.png" xlink:type="simple"/></inline-formula>.</p><p>and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x208.png" xlink:type="simple"/></inline-formula>.</p><p>Coding of element <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x209.png" xlink:type="simple"/></inline-formula> are described as follow</p><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x210.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x211.png" xlink:type="simple"/></inline-formula> for j = 0 or 1 and z = 0 or 1. Then coding method is given by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x212.png" xlink:type="simple"/></inline-formula> which produces the following codes</p><disp-formula id="scirp.64064-formula91"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x213.png"  xlink:type="simple"/></disp-formula><p>Illustration 5.2. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x214.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x214.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x215.png" xlink:type="simple"/></inline-formula>. The coding of points of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x214.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x215.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x216.png" xlink:type="simple"/></inline-formula> can be described as</p><disp-formula id="scirp.64064-formula92"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x217.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.64064-formula93"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x218.png"  xlink:type="simple"/></disp-formula><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x219.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x220.png" xlink:type="simple"/></inline-formula> for j = 0 or 1 and z = 0 or 1. Then coding method is given by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x221.png" xlink:type="simple"/></inline-formula> which produces the following codes</p><disp-formula id="scirp.64064-formula94"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x222.png"  xlink:type="simple"/></disp-formula><p>The above scheme helps us to encrypt and decrypt any message of any length.</p></sec><sec id="s5_2"><title>5.2. Exchange of Secret Key</title><p>1) For a publically integer p, and an elliptic curve <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x223.png" xlink:type="simple"/></inline-formula> let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x224.png" xlink:type="simple"/></inline-formula> of order n.</p><p>2) P generates a subgroup say <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x225.png" xlink:type="simple"/></inline-formula> which is used to encrypt the message m.</p><p>Now, key exchange between Alice and Bob can be described as follows</p><p>3) Alice chooses a random number<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x226.png" xlink:type="simple"/></inline-formula>, computes <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x227.png" xlink:type="simple"/></inline-formula> and sends it to Bob.</p><p>4) Bob chooses a random number<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x228.png" xlink:type="simple"/></inline-formula>, computes <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x229.png" xlink:type="simple"/></inline-formula> and sends it to Alice.</p><p>5) Alice computes<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x230.png" xlink:type="simple"/></inline-formula>.</p><p>6) Bob computes<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x231.png" xlink:type="simple"/></inline-formula>.</p><p>7) Alice and Bob are agree with a point<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x232.png" xlink:type="simple"/></inline-formula>,choose the binary code of point S as a private key, which transformed on the decimal code<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x233.png" xlink:type="simple"/></inline-formula>.</p><p>Remark. With the secret key <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x234.png" xlink:type="simple"/></inline-formula> such as the decimal code of point S Alice and Bob can encrypt and decrypt the message (m).</p><p>Illustration 5.3. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x235.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x236.png" xlink:type="simple"/></inline-formula></p><p>are two elliptic curve defined over the same field <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x237.png" xlink:type="simple"/></inline-formula> having <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x238.png" xlink:type="simple"/></inline-formula> element, where 8831 be a prime number such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x239.png" xlink:type="simple"/></inline-formula> and a point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x240.png" xlink:type="simple"/></inline-formula> of order 4427.</p><p>1) Alice chooses a random number<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x241.png" xlink:type="simple"/></inline-formula>, compute <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x242.png" xlink:type="simple"/></inline-formula> and sends it to Bob.</p><p>2) Bob chooses a random number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x243.png" xlink:type="simple"/></inline-formula> and compute <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x244.png" xlink:type="simple"/></inline-formula> and sends to it Alice.</p><p>3) Alice computes<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x245.png" xlink:type="simple"/></inline-formula>.</p><p>4) Bob computes<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x246.png" xlink:type="simple"/></inline-formula>.</p><p>5) Alice and Bob are agree with a point<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x247.png" xlink:type="simple"/></inline-formula>, choose the binary code of point S as a private key, which transformed on the decimal code<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x248.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s5_3"><title>5.3. ECC Key Generation Phase</title><p>Now, exchange of secret key involves the following steps:</p><p>1) Encode the message m on the point<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x249.png" xlink:type="simple"/></inline-formula>.</p><p>2) Choose a random number k, compute <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x250.png" xlink:type="simple"/></inline-formula> and calculate<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x251.png" xlink:type="simple"/></inline-formula>.</p><p>3) Public key is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x252.png" xlink:type="simple"/></inline-formula>.</p><p>4) Private key is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x253.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s5_4"><title>5.4. ECC Encryption Phase</title><p>To encrypt<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x254.png" xlink:type="simple"/></inline-formula>, a user choose an integer <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x255.png" xlink:type="simple"/></inline-formula> at random and sends the point<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x256.png" xlink:type="simple"/></inline-formula>. This operation is shown in <xref ref-type="fig" rid="fig1">Figure 1</xref>.</p></sec><sec id="s5_5"><title>5.5. ECC Decryption Phase</title><p>Decryption of the message <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x257.png" xlink:type="simple"/></inline-formula> is done by multiplying the first component <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x258.png" xlink:type="simple"/></inline-formula> of the received point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x259.png" xlink:type="simple"/></inline-formula> and the secret key<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x260.png" xlink:type="simple"/></inline-formula>, and the result is subtracted from the second component <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x261.png" xlink:type="simple"/></inline-formula> i.e.:</p><disp-formula id="scirp.64064-formula95"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x262.png"  xlink:type="simple"/></disp-formula><p>This operation is shown in <xref ref-type="fig" rid="fig2">Figure 2</xref>.</p><p>Illustration 5.4. The<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x263.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x264.png" xlink:type="simple"/></inline-formula></p><fig-group id="fig1"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> The encryption operation.</title></caption><fig id ="fig1_1"><label></label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/12-7403046x265.png"/></fig></fig-group><fig id="fig2"  position="float"><label><xref ref-type="fig" rid="fig2">Figure 2</xref></label><caption><title> The decryption operation</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/12-7403046x266.png"/></fig><p>are two elliptic curves defined over the same field <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x267.png" xlink:type="simple"/></inline-formula> having <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x268.png" xlink:type="simple"/></inline-formula> element where 8831 be a prime number such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x269.png" xlink:type="simple"/></inline-formula> and a point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x270.png" xlink:type="simple"/></inline-formula> of order 4427.</p><p>Alice’s message is the point<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x271.png" xlink:type="simple"/></inline-formula>.</p><p>Bob has chosen his secret random number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x272.png" xlink:type="simple"/></inline-formula> and computed</p><disp-formula id="scirp.64064-formula96"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x273.png"  xlink:type="simple"/></disp-formula><p>and calculated</p><disp-formula id="scirp.64064-formula97"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x274.png"  xlink:type="simple"/></disp-formula><p>Bob publishes the point. Alice chooses the random number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x275.png" xlink:type="simple"/></inline-formula> and computes</p><disp-formula id="scirp.64064-formula98"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x276.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.64064-formula99"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x277.png"  xlink:type="simple"/></disp-formula><p>Alice sends (7966,6354) and (5011,2629) to Bob, who multiplies the first of these point by</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/12-7403046x278.png" xlink:type="simple"/></inline-formula>.</p><p>Bob then subtracts the result from the last point that Alice sends him. Note that he subtracts by adding the point with the second coordinate negated:</p><disp-formula id="scirp.64064-formula100"><graphic  xlink:href="http://html.scirp.org/file/12-7403046x279.png"  xlink:type="simple"/></disp-formula><p>Bob has therefore received Alice’s message.</p></sec></sec><sec id="s6"><title>Acknowledgements</title><p>This research work is supported by University Grant commission (UGC) New Delhi, India under the Junior Research Fellowship student scheme..</p></sec><sec id="s7"><title>Cite this paper</title><p>ManojKumar,PratikGupta, (2016) Cryptographic Schemes Based on Elliptic Curves over the Ring Zp[i]. Applied Mathematics,07,304-312. doi: 10.4236/am.2016.73027</p></sec></body><back><ref-list><title>References</title><ref id="scirp.64064-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Koblitz, A.H., Koblitz, N. and Menezes, A. (2011) Elliptic Curve Cryptography: The Serpentine Course of a Paradigm Shift. Journal of Number Theory, 131, 781-814. http://dx.doi.org/10.1016/j.jnt.2009.01.006</mixed-citation></ref><ref id="scirp.64064-ref2"><label>2</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Miller</surname><given-names> V. </given-names></name>,<etal>et al</etal>. (<year>1985</year>)<article-title>Use of Elliptic Curves in Cryptography</article-title><source> Advances in Cryptology-CRYPTO</source><volume> 85</volume>,<fpage> 417</fpage>-<lpage>426</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.64064-ref3"><label>3</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Chillali</surname><given-names> A. </given-names></name>,<etal>et al</etal>. (<year>2011</year>)<article-title>Elliptic Curve over Ring</article-title><source> International Mathematical Forum</source><volume> 6</volume>,<fpage> 1501</fpage>-<lpage>1505</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.64064-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Koblitz, N. (1987) Elliptic Curve Cryptosystem. Journal of Mathematics Computation, 48, 203-209.  
http://dx.doi.org/10.1090/S0025-5718-1987-0866109-5</mixed-citation></ref><ref id="scirp.64064-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Kumar, S., Suneetha, C. and Chandrasekh, A. (2012) Encryption of Data Using Elliptic Curve over Finite Fields. International Journal of Distributed and Parallel Systems (IJDPS), 3, No. 1.</mixed-citation></ref><ref id="scirp.64064-ref6"><label>6</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Schoof</surname><given-names> R. </given-names></name>,<etal>et al</etal>. (<year>1985</year>)<article-title>Elliptic Curves over Finite Fields and the Computation of Square Roots Mod p</article-title><source> Mathematics of Computation</source><volume> 44</volume>,<fpage> 483</fpage>-<lpage>494</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.64064-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Srivastava, K. and Nand, G. (2015) Elliptic Curves for Data Provenance. Procedia Computer Science, 45, 470-476.  
http://dx.doi.org/10.1016/j.procs.2015.03.082</mixed-citation></ref><ref id="scirp.64064-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Hankerson, D., Menezes, J.A. and Vanstone, S. (2004) Guide to Elliptic Curve Cryptography. Springer-Verlag, Germany.</mixed-citation></ref><ref id="scirp.64064-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Silverman, J. (1986) The Arithmetic of Elliptic Curves. Springer, New York.  
http://dx.doi.org/10.1007/978-1-4757-1920-8</mixed-citation></ref><ref id="scirp.64064-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Stinson, D.R. (2006) Cryptography Theory and Practice. Chapman and Hall/CRC, United Kingdom.</mixed-citation></ref><ref id="scirp.64064-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Washington, L.C. (2008) Elliptic Curves Number Theory and Cryptography. Chapman and Hall/CRC, United Kingdom. http://dx.doi.org/10.1201/9781420071474</mixed-citation></ref><ref id="scirp.64064-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Gilbert, W.J. (2004) Modern Algebra with Application. Willey-Interscience, New York.</mixed-citation></ref><ref id="scirp.64064-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Hardy, G.H. and Wright, E.M. (1938) An Introduction to the Theory of Numbers. Oxford University Press, United Kingdom.</mixed-citation></ref><ref id="scirp.64064-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Gallian, J.A. (1998) Contemporary Abstract Algebra. Narosa Publishing House, New Delhi.</mixed-citation></ref></ref-list></back></article>