• Journal of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.259-268
• /
• 1996

The Data Encryption Standard(DES) [3, 8, 9] was developed by an IBM team aroung 1974 and adopted as a national standard in 1977.

• The Pure and Applied Mathematics
• /
• v.7 no.1
• /
• pp.61-69
• /
• 2000

Let($X^{\ast},\tau^{\ast}$) be the space with one point Lindeloffication topology of space (X,$\tau$). This paper offers the definition of the space with one point Lin-deloffication topology of a topological space and proves that the retraction regu-lar closed function f: $K^{\ast}(X^{\ast}$) defined f($A^{\ast})=A^{\ast}$ if p $\in A^{\ast}$ or ($f(A^{\ast})=A^{\ast}-{p}$ if $p \in A^{\ast}$ is a homomorphism. There are two examples in this paper to show that the retraction regular closed function f is neither a surjection nor an injection.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.6
• /
• pp.105-110
• /
• 2005

The linearized polynomial fan be regarded as a generalization of the identity function so that the inverse of the linearized polynomial is a generalization of e inverse function. Since the inverse function has so many good cryptographic properties, the inverse of the linearized polynomial is also a candidate of good Boolean functions. In particular, a construction method of vector resilient functions with high algebraic degree was proposed at Crypto 2001. But the analysis about the algebraic degree of the inverse of the linearized Polynomial. Hence we correct the inexact result and give the exact maximal algebraic degree.

• Journal of Korea Society of Industrial Information Systems
• /
• v.16 no.5
• /
• pp.9-19
• /
• 2011

In many instances a concise form of logic is often required for building today's complex systems. The method described in this paper can be used for a wide range of industrial applications that requires Boolean type of logic minimization. Unlike some of the previous logic minimization methods, the proposed method can be used to better gain insights into the logic minimization process. Based on the decimal valued matrix, the method described here can be used to find an exact minimized solution for a given Boolean function. It is a visual based method that primarily relies on grouping the cell values within the matrix. At the same time, the method is systematic to the extent that it can also be computerized. Constructing the matrix to visualize a logic minimization problem should be relatively easy for the most part, particularly if the computer-generated graphs are accompanied.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.3
• /
• pp.781-791
• /
• 1999

DD(Decision Diagrams) is an efficient operational data structure for an optimal expression of boolean functions. In a graph-based synthesis using DD, the goal of optimization decreases representation space for boolean functions. This paper represents boolean functions using OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagrams) for a graph-based synthesis and is based on the number of nodes as the criterion of DD size. For a property of OPKFDD that is able to select one of different decomposition types for each node, OPKFDD is variable in its size by the decomposition types selection of each node and input variable order. This paper proposes a method for generating OPKFDD efficiently from the current BDD(Binary Decision Diagram) Data structure and an algorithm for minimizing one. In the multiple output functions, the relations of each function affect the number of nodes of OPKFDD. Therefore this paper proposes a method to decide the input variable order considering the above cases. Experimental results of comparing with the current representation methods and the reordering methods for deciding input variable order are shown.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.885-892
• /
• 2010

In this paper we study the structures and properties of a single cycle T-finction, whose theory has been lately proposed by Klimov and Shamir. Any cryptographic system based on T-functions may be insecure. Some of the TSC-series stream ciphers have been successfully attacked by some attacks. So it is important to analyze every aspect of a single cycle T-function. We study some properties on a single cycle T-function and we show some examples are single cycle T-functions by these properties, whose proof is easier than existing methods.

• Journal of Korean Society for Geospatial Information Science
• /
• v.15 no.2 s.40
• /
• pp.43-49
• /
• 2007

In this study, a GIS spatial analysis method adopted fuzzy concept was introduced and land suitability analysis of waste landfill were conducted through this method. Previous studies conducted site evaluation and land suitability analysis by appling spatial overlay of conventional GIS that based on the boolean logic of crisp set. However these method can not consider the uncertainty of spatial data and the incongruity of data classification criteria, because these method handle spatial data based on the boolean logic of crisp set. As not provided trustable analysis result, conventional GIS spatial overlay method lacks opportunity for expanding use in reality. This study selected waste landfill as facility for analysis and applied fuzzy spatial analysis method as an objective approach. In the concrete contents of study, a series process with regard to the definition procedure of membership function for continuous data and the fuzzy input value generation of spatial data for fuzzy analysis is established. As a result, in this study we proposed a method that derive parameters for deciding the membership function of spatial data by considering the criterion of data classification and factor selection for land suitability analysis of waste landfill.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.19 no.2
• /
• pp.23-30
• /
• 2009

Recently, rotation symmetric Boolean functions have attracted attention since they are suitable for fast evaluation and show good cryptographic properties. For example, important problems in coding theory were settled by searching the desired functions in the rotation symmetric function space. Moreover, they are applied to designing fast hashing algorithms. On the other hand, for some homogeneous rotation symmetric quadratic functions of simple structure, the exact formulas for their Hamming weights and nonlinearity were found[2,8]. Very recently, more formulations were carried out for much broader class of the functions[6]. In this paper, we make a further improvement by deriving the formula for the Hamming weight of quadratic rotation symmetric functions containing linear terms.

• Proceedings of the KIEE Conference
• /
• 1997.07c
• /
• pp.927-929
• /
• 1997

In this paper, a new expert system scheme, called Logic Based Expert System (LBES), is proposed for real time fault diagnosis of power system. In LBES, Expertise is represented by logical connectives and converted into a Boolean function. The set of Prime Implicants (PIs) of the Boolean function contains all the sound inference results which can be obtained from the expertise. Therefore, off-line inference is possible by off-line PI identification, which reduces the on-line inference time considerably and makes it possible to utilize-the LBES in real-time environment.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.659-671
• /
• 2003

This paper proposes a method of disambiguating the senses of words using decision lists, which consists of rules with confidence values. The rule of decision list is composed of a boolean function(=precondition) and a class(=sense). Decision lists classify the instance using the rule with the highest confidence value that is matched with it. Previous work disambiguated the senses using single feature decision lists, whose boolean function was composed of only one feature. However, this approach can be affected more severely by data sparseness problem and preprocessing errors. Hence, we propose multiple feature decision lists that have the boolean function consisting of more than one feature in order to identify the senses of words. Experiments are performed with 1 sense tagged corpus in Korean and 5 sense tagged corpus in English. The experimental results show that multiple feature decision lists are more effective than single feature decision lists in disambiguating senses.