• 한국디지털정책학회:학술대회논문집
• /
• 2004.11a
• /
• pp.435-448
• /
• 2004

While Internet promises ubiquitous access, it also creates a fundamental challenge to the traditional ownership toward digital assets traded in e-commerce market. Sharing digital information freely through shared networks leads to many untapped business opportunities, but uncontrolled digital asset transaction undermines many electronic business models. Thus, in this Internet age, proper protection and safe delivery of Intellectual Property (IP) and its representation as digital assets would be a crucial ingredient of building trust in upcoming e-business environment. In this paper, we give a general structural diagram of Intellectual Property Management and Protection (IPMP) and implement an IPMP prototype based on the RSA encryption algorithm and XrML (eXtensible rights Markup Language) WORK tags to show how proper protection and safe delivery of the intellectual property is achieved. This study concludes that IPMP mechanism may contribute significantly to the volume and quality of e-commerce market.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.1C
• /
• pp.86-93
• /
• 2007

In this paper, we present an electronic voting system based on cryptographic techniques. Recently, some countries have used e-voting systems using an electronic voting device instead of a voting sheet. These e-voting systems are the early stage which is not online voting. Many cryptographers have studied on-line e-voting systems based on cryptographic techniques. The existing 1-out-of-L e-voting systems are based on E1Gamal cryptosystem. To reduce computational complexity, we use r-th residue encryption scheme and compare the computational complexity of our 1-out-of-L e-voting system with that of the 1-out-of-L e-voting system based on E1Gamal cryptosystem. Moreover, we extend the proposed 1-out-of-L e-voting system to ballot-cancellation property The existing e-voting systems had been overlooked the ballot-cancellation property. There is the reason that the ballot is cancelled according to an election law. For our e-voting system with ballot-cancellation property, we extend the homomorphic property based on r-th residue encryption. The extended homomorphic property is used to cancel votes with guaranteeing privacy and universal verifiability.

• Communications of the Korean Mathematical Society
• /
• v.19 no.4
• /
• pp.759-764
• /
• 2004

Let X = {a} ${\cup}$ {$a_{i}$ ${$\mid$}$i $\in$ N} be a subspace of Euclidean space $E^2$ such that $lim_{{i}{\longrightarrow}{$\infty}}a_{i}$ = a and $a_{i}\;{\neq}\;a_{j}$ for $i{\neq}j$. Then it is well known that the space X has no expansive homeomorphisms with the shadowing property. In this paper we show that the set of all expansive homeomorphisms with the shadowing property on the space Y is dense in the space H(Y) of all homeomorphisms on Y, where Y = {a, b} ${\cup}$ {$a_{i}{$\mid$}i{\in}Z$} is a subspace of $E^2$ such that $lim_{i}$-$\infty$ $a_{i}$ = b and $lim_{{i}{\longrightarrow}{$\infty}}a_{i}$ = a with the following properties; $a_{i}{\neq}a_{j}$ for $i{\neq}j$ and $a{\neq}b$.

• Communications of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.145-152
• /
• 2009

In this paper, we introduce a new property of a topological space which is weaker than sequential compactness and give some necessary and sufficient conditions for a $Fr{\acute{e}}chet$-Urysohn space with the property to be sequentially compact.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.4
• /
• pp.233-241
• /
• 2014

This paper suggests a fast minimum spanning tree algorithm which simplify the original graph to 2-edge connected graph, and using the cycling property. Borůvka algorithm firstly gets the partial spanning tree using cycle property for one-edge connected graph that selects the only one minimum weighted edge (e) per vertex (v). Additionally, that selects minimum weighted edge between partial spanning trees using cut property. Kruskal algorithm uses cut property for ascending ordered of all edges. Reverse-delete algorithm uses cycle property for descending ordered of all edges. Borůvka and Kruskal algorithms always perform |e| times for all edges. The proposed algorithm obtains 2-edge connected graph that selects 2 minimum weighted edges for each vertex firstly. Secondly, we use cycle property for 2-edges connected graph, and stop the algorithm until |e|=|v|-1 For actual 10 benchmark data, The proposed algorithm can be get the minimum spanning trees. Also, this algorithm reduces 60% of the trial number than Borůvka, Kruskal and Reverse-delete algorithms.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.1
• /
• pp.19-34
• /
• 2011

A bounded linear operator T on a complex Banach space X is said to have property (I) provided that T has Bishop's property (${\beta}$) and there exists an integer p > 0 such that for a closed subset F of ${\mathbb{C}}$ ${X_T}(F)={E_T}(F)=\bigcap_{{\lambda}{\in}{\mathbb{C}}{\backslash}F}(T-{\lambda})^PX$ for all closed sets $F{\subseteq}{\mathbb{C}}$, where $X_T$(F) denote the analytic spectral subspace and $E_T$(F) denote the algebraic spectral subspace of T. Easy examples are provided by normal operators and hyponormal operators in Hilbert spaces, and more generally, generalized scalar operators and subscalar operators in Banach spaces. In this paper, we prove that if T has property (I), then the quasi-nilpotent part $H_0$(T) of T is given by $$KerT^P=\{x{\in}X:r_T(x)=0\}={\bigcap_{{\lambda}{\neq}0}(T-{\lambda})^PX$$ for all sufficiently large integers p, where ${r_T(x)}=lim\;sup_{n{\rightarrow}{\infty}}{\parallel}T^nx{\parallel}^{\frac{1}{n}}$. We also prove that if T has property (I) and the spectrum ${\sigma}$(T) is finite, then T is algebraic. Finally, we prove that if $T{\in}L$(X) has property (I) and has decomposition property (${\delta}$) then T has a non-trivial invariant closed linear subspace.

• Honam Mathematical Journal
• /
• v.39 no.1
• /
• pp.115-126
• /
• 2017

In this paper, we aim to prove certain common fixed point theorems for a pair of weakly compatible mappings satisfying (CLRg) (or (E.A)) property in the bicomplex valued metric spaces. We also provide some examples which support the main results here.

• Honam Mathematical Journal
• /
• v.30 no.2
• /
• pp.359-362
• /
• 2008

We shall give a sufficient condition for Hartogs-Laurent domains over a base $\mathbb{C}$ to be taut, and study some properties for Hartogs-Laurent domains related to the $E_*$-extension property.

• Korean Journal of Heritage: History & Science
• /
• v.55 no.4
• /
• pp.278-294
• /
• 2022

To date, cultural property education has seen rapid quantitative growth due to national and personal needs. However, qualitative growth is lacking. The objectives of cultural property education have not been established, and therefore, even its identity is not clear. The most pressing issue at present in cultural property education is to first set objectives. This study aimed to analyze the objectives of current cultural property education, identify the problems, and set new objectives to meet significant national and personal needs in terms of education. The problems with the objectives of current cultural property education are that the persons interested in the education do not understand the concept of the education objectives clearly and that the objectives do not contain much actual content of the education. Also, the objectives of the education do not take into account the dynamic competencies and interests of the learners and do not satisfy the changes of the times. To solve these problems, new cultural property education, called 'U.V.E.C.,' was offerred. U.V.E.C. education is aimed at understanding cultural properties, recognizing their value, and enjoying them, and at creating culture. The objectives of U.V.E.C. cultural property education were set such that they can be modified flexibly in a learner-centric way with clear and practical format and contents. Based on this direction, stepwise objectives were set including overall objectives, detailed objectives, and practice objectives, and objective cases of each step were proposed. Considering the generality of the education and the distinct characteristics of the cultural properties, the U.V.E.C. education objectives took into account the diversity of behavioral objectives, clearness in statements, the objectives of problem solving, the initiative of learners and openness for expression outcomes. The U.V.E.C. objectives are clear and specific so that teachers can enhance their pedagogical efficiency and learners are able to develop interesting and diversified competencies. In addition, it is expected that the U.V.E.C. objectives will significantly affect objective setting for education on cultural properties which have not been studied widely. Further systemic and specific studies on the contents and methods of the U.V.E.C. education would help to change the overall education on cultural properties and position the field as a new academic area.

• Journal of the Korean Mathematical Society
• /
• v.41 no.1
• /
• pp.39-50
• /
• 2004

In [25] Taskinen shows that if $\{E_n\}_n\;and\;\{F_n\}_n$ are two sequences of Frechet spaces such that ($E_m,\;F_n$) has the BB-property for all m and n then (${\Pi}_m\;E_m,\;{\Pi}_n\;F_n$) also has the ΒΒ-property. Here we investigate when this result extends to (i) arbitrary products of Frechet spaces, (ii) countable products of DFN spaces, (iii) countable direct sums of Frechet nuclear spaces. We also look at topologies properties of ($H(U),\;\tau$) for U balanced open in a product of Frechet spaces and $\tau\;=\;{\tau}_o,\;{\tau}_{\omega}\;or\;{\tau}_{\delta}$.