• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.2
• /
• pp.978-1002
• /
• 2019

With the rapid development of the Internet of Things, the problem of privacy protection has been paid great attention. Recently, Nikooghadam et al. pointed out that Kumari et al.'s protocol can neither resist off-line guessing attack nor preserve user anonymity. Moreover, the authors also proposed an authentication supportive session initial protocol, claiming to resist various vulnerability attacks. Unfortunately, this paper proves that the authentication protocols of Kumari et al. and Nikooghadam et al. have neither the ability to preserve perfect forward secrecy nor the ability to resist key-compromise impersonation attack. In order to remedy such flaws in their protocols, we design a lightweight authentication protocol using elliptic curve cryptography. By way of informal security analysis, it is shown that the proposed protocol can both resist a variety of attacks and provide more security. Afterward, it is also proved that the protocol is resistant against active and passive attacks under Dolev-Yao model by means of Burrows-Abadi-Needham logic (BAN-Logic), and fulfills mutual authentication using Automated Validation of Internet Security Protocols and Applications (AVISPA) software. Subsequently, we compare the protocol with the related scheme in terms of computational complexity and security. The comparative analytics witness that the proposed protocol is more suitable for practical application scenarios.

• The Bulletin of The Korean Astronomical Society
• /
• v.45 no.1
• /
• pp.60.3-61
• /
• 2020

We perform disk-halo decomposition of the Large Magellanic Cloud (LMC) using a novel HI velocity field extraction method, aimed at better deriving its HI kinematics and thus the dark matter density profile. For this, we use two newly developed galaxy kinematic analysis tools, BAYGAUD and 2DBAT which have been used for the kinematic analysis of resolved galaxies from Australian Square Kilometre Array (ASKAP) observations like WALLABY which is an all-sky HI galaxy survey in southern sky. By applying BAYGAUD to the combined HI data cube of the LMC taken with the Australia Telescope Compact Array (ATCA) and Parkes radio telescopes, we decompose all the line-of-sight velocity profiles into an optimal number of Gaussian components based on Bayesian MCMC techniques. From this, we disentangle turbulent non-circular gas motions from the overall rotation of the galaxy. We then derive the rotation curve of the LMC by applying 2DBAT to the separated circular motions. The rotation curve reflecting the total kinematics of the LMC, dark and baryonic matters is then be combined with the mass models of baryons, mainly stellar and gaseous components in order to examine the dark matter distribution. Here, we present the analysis of the extracted HI gas maps, rotation curve, and J, H and K-band surface photometry of the LMC.

• Journal of Astronomy and Space Sciences
• /
• v.30 no.3
• /
• pp.145-152
• /
• 2013

Rotation-powered pulsars are excellent laboratories for studying particle acceleration as well as fundamental physics of strong gravity, strong magnetic fields and relativity. Particle acceleration and high-energy emission from the polar caps is expected to occur in connection with electron-positron pair cascades. I will review acceleration and gamma-ray emission from the pulsar polar cap and associated slot gap. Predictions of these models can be tested with the data set on pulsars collected by the Large Area Telescope on the Fermi Gamma-Ray Telescope over the last four years, using both detailed light curve fitting, population synthesis and phase-resolved spectroscopy.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1339-1351
• /
• 2015

In this paper, using pseudo-spherical Frenet frame of pseudo-spherical curves in hyperbolic space, we define the notion of the structure functions on the non-developable ruled surfaces with timelike ruling. Then we obtain the properties of the structure functions and a complete classification of the non-developable ruled surfaces with timelike ruling in Minkowski 3-space by the theories of the structure functions.

• Journal of the Korean Mathematical Society
• /
• v.42 no.6
• /
• pp.1279-1285
• /
• 2005

Here we generalize previous work by Eisenbud-Harris and Farkas in order to prove that certain Brill-Noether divisors on the moduli space of curves have distinct supports. From this fact we deduce non-trivial regularity results for a higher co dimensional Brill-Noether locus and for the general $\frac{g+1}{2}$-gonal curve of odd genusg.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.967-978
• /
• 2009

In this work, we give some characterizations of rectifying curves in dual Lorentzian space. Also, we show that rectifying dual Lorentzian curves can be stated by the aid of dual unit spherical curves.

• Honam Mathematical Journal
• /
• v.40 no.4
• /
• pp.701-718
• /
• 2018

In this paper, we will study the constant mean curvature (CMC) surfaces foliated by ellipses in three dimensional Euclidean space $E^3$. We prove that: (1): Surfaces foliated by ellipses are CMC surfaces if and only if it is a part of generalized cylinder. (2): All surfaces foliated by ellipses are not minimal surfaces. (3): CMC surfaces foliated by ellipses are developable surfaces. (4): CMC surfaces foliated by ellipses are translation surfaces generated by a straight line and plane curve.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.159-175
• /
• 2017

We solve the $Bj{\ddot{o}}rling$ problem for constant mean curvature one surfaces in hyperbolic three-space and in de Sitter three-space. That is, we show that for any regular, analytic (and spacelike in the case of de Sitter three-space) curve ${\gamma}$ and an analytic (timelike in the case of de Sitter three-space) unit vector field N along and orthogonal to ${\gamma}$, there exists a unique (spacelike in the case of de Sitter three-space) surface of constant mean curvature 1 which contains ${\gamma}$ and the unit normal of which on ${\gamma}$ is N. Some of the consequences are the planar reflection principles, and a classification of rotationally invariant CMC 1 surfaces.

• Journal of Astronomy and Space Sciences
• /
• v.18 no.1
• /
• pp.55-62
• /
• 2001

We present VRI CCD photometry of W UMa type binary TY UMa. The light curves show that the secondary minimum is deeper than the primary minimum and the maximum I ($0.^{p}25$)is $0.^{m}023$ brighter than the maximum II ($0.^{p}75$). The V light curve has been analyzed and the photometric solutions have been determined by the method of Wilson & Devinney differential correction. We adopted the spot model to explain the asymetric light curve.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.377-386
• /
• 2011

For a smooth algebraic curve C of genus g $\geq$ 4, let $SU_C$(r, d) be the moduli space of semistable bundles of rank r $\geq$ 2 over C with fixed determinant of degree d. When (r,d) = 1, it is known that $SU_C$(r, d) is a smooth Fano variety of Picard number 1, whose rational curves passing through a general point have degree $\geq$ r with respect to the ampl generator of Pic($SU_C$(r, d)). In this paper, we study the locus swept out by the rational curves on $SU_C$(r, d) of degree < r. As a by-product, we present another proof of Torelli theorem on $SU_C$(r, d).