• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.11
• /
• pp.4502-4521
• /
• 2020

At EUROCRYPT 2015, Todo proposed a new technique named division property, and it is a powerful technique to find integral distinguishers. The original division property is also named word-based division property. Later, Todo and Morii once again proposed a new technique named the bit-based division property at FSE 2016 and find more rounds integral distinguisher for SIMON-32. There are two basic approaches currently being adopted in researches under the bit-based division property. One is conventional bit-based division property (CBDP), the other is bit-based division property using three-subset (BDPT). Particularly, BDPT is more powerful than CBDP. In this paper, we use Boolean Satisfiability Problem (SAT)-aided cryptanalysis to search integral distinguishers. We conduct experiments on SIMON-32/-48/-64/-96, SIMON (102)-32/-48/-64, SIMECK-32/-48/-64, LBlock, GIFT and Khudra to prove the efficiency of our method. For SIMON (102)-32/-48/-64, we can determine some bits are odd, while these bits can only be determined as constant in the previous result. For GIFT, more balanced (zero-sum) bits can be found. For LBlock, we can find some other new integral distinguishers. For Khudra, we obtain two 9-round integral distinguishers. For other ciphers, we can find the same integral distinguishers as before.

• 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}$.

• Bulletin of the Korean Chemical Society
• /
• v.25 no.5
• /
• pp.652-656
• /
• 2004

A new luminescent polymer, poly{1,4-phenylene-1,2-ethenediyl-2'-[2"-(4'"-octyloxyphenyl)-(5"-yl)-1",3",4"-oxadiazole]-1,4-phenylene-1,2-ethenediyl-2,5-bis-dodecyloxy-1,4-phenylene-1,2-ethenediyl} (Oxd-PPV), was synthesized by the Heck coupling reaction. Electron withdrawing pendant, conjugated 1,3,4-oxadiazole (Oxd), is on the vinylene unit. The band gap of the polymer figured out from the UV-visible spectrum was 2.23 eV and the polymer film shows bright yellow emission maximum at 552 nm. The electroluminescence (EL) maximum of double layer structured device (ITO/PEDOT:PSS/Oxd-PPV/Al) appeared at 553 nm. Relative PL quantum yield of Oxd-PPV film is 3.6 times higher than that of MEH-PPV film. The HOMO and LUMO energy levels of Oxd-PPV figured out from the cyclic voltammogram and the UV-visible spectrum are -5.32 and -3.09 eV, respectively, so that more balanced hole and electron injection efficiency can be expected compared to MEH-PPV. A double layer EL of Oxd-PPV has an maximum efficiency of 0.15 cd/A and maximum brightness of 464 cd/$m^2$.

• Journal of Communications and Networks
• /
• v.14 no.6
• /
• pp.682-691
• /
• 2012

Key agreement protocol is a fundamental protocol in cryptography whereby two or more participants can agree on a common conference key in order to communicate securely among themselves. In this situation, the participants can securely send and receive messages with each other. An adversary not having access to the conference key will not be able to decrypt the messages. In this paper, we propose a novel identity-based authenticated multi user key agreement protocol employing a symmetric balanced incomplete block design. Our protocol is built on elliptic curve cryptography and takes advantage of a kind of bilinear map called Weil pairing. The protocol presented can provide an identification (ID)-based authentication service and resist different key attacks. Furthermore, our protocol is efficient and needs only two rounds for generating a common conference key. It is worth noting that the communication cost for generating a conference key in our protocol is only O($\sqrt{n}$) and the computation cost is only O($nm^2$), where $n$ implies the number of participants and m denotes the extension degree of the finite field $F_{p^m}$. In addition, in order to resist the different key attack from malicious participants, our protocol can be further extended to provide the fault tolerant property.

• The Korean Journal of Applied Statistics
• /
• v.5 no.1
• /
• pp.19-28
• /
• 1992

In this paper, minimal balanced $2^t$ fractional factorial designs which permit the estimation of main effects and 2-factor interactions are developed by using a partially balanced array. Such designs are characterized by a minimum number of runs and some balancedness property of the variance-covariance matrix of the estimates. In addition to describing the designs, optimality criteria are discussed and the trace-optimal designs are presented. The proposed designs are especially useful in Taguchi method, where we need to investigate up to 2-factor interactions of the control factors.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.1
• /
• pp.11-19
• /
• 1992

This paper proposes a reduced order method which reduces passband error by changing controllability and observability gramian based on weighted functions in the linear time invariant system. In the case that the 4-order model is the reduced to 3-order model in the low-pass filter, the QEI in the proposed method is improved to 6.15724 compared to 10.16464 in the balanced realization method and the sensitivity is improved to 5.45962 compared to 7.790568. The frequency property curves show that the proposed method is superior to the balanced realization method.

• Journal of the Korean Society of Costume
• /
• v.57 no.4 s.113
• /
• pp.143-158
• /
• 2007

This study considers enlargement phenomenon in hair style as one of Costume types and analyzes its artistic characteristics based on the comparison between Hair style in the late Chosun Dynasty and that of the Rococo. First, its formative property, one of the common aesthetic characteristics, breaks the concept of traditional balance in Clothing and emphasizes its transformation, changes, and space beauty. This formative property shows the Enlargement and exaggeration beyond the concept of Space. Its sensuous property reflects women's psychological minds; exaggeration and sensualism. Artistic property doesn't focus on hair style only or clothing style only and considers hair style as renter of beauty as well as its important element. It shows the traditional beauty of nature and creativity in the Chosun Dynasty. Second, its formative property, one of the differential aesthetic characteristics, shows these following differences considering the aesthetic characteristics in the late Chosun Dynasty and that of the Rococo; mutual transformation, independent transformation, focus on distortion, harmony in scale, disharmony between irregularity and exception, extension and separation in space, etc. Sensuous property shows the temperate beauty and metaphorical sense, affected by the Practical Science, in the late Chosun Dynasty while it shows the secular sense and exaggerated beauty, affected by the Enlightenment, in the Rococo. Artistic property shows the harmony with the Clothing style, balanced wearing lines, and natural beauty, as one part of Clothing, in the late Chosun Dynasty. However it shows creativity, as separate part from Clothing, in the Rococo.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.22 no.9
• /
• pp.912-918
• /
• 2011

In this paper, a composite right-/left-handed(CRLH) rectangular waveguide satisfying a balanced condition above the cut-off frequency is presented. The proposed structure consists of one shorted stub and two twisted H-plane irises which produce an effectively negative permeability and permittivity, respectively. The CRLH structure can independently control the series and shunt resonance frequencies of a CRLH transmission line which determine the left-handed(LH) and right-handed(RH) bands due to a minimized coupling between a shorted stub and twisted H-plane irises. Thus, the design of the CRLH waveguide satisfying a balanced condition is possible. To analyze the CRLH structure, a crossly connected equivalent circuit is derived. The simulated and measured results confirm that the proposed CRLH waveguide has a transmission property without a band gap among the LH and RH bands.

• Journal of the Korean Statistical Society
• /
• v.14 no.1
• /
• pp.29-38
• /
• 1985

Cyclic Factorial Association Scheme (CFAS) for incomplete block designs in a factorial experiment is defined. It is a generalization of EGD/($2^n-1$)-PBIB designs defined by Hinkelmann (1964) or Binary Number Association Scheme (BNAS) named by Paik and Federer (1973). A property of PBIB designs having CFAS is investigated and it is shown that the structural matrix NN' of such designs has a pattern of multi-nested block circulant matrix. The generalized inverse of (rI-NN'/k) is obtained. Generalized Cyclic incomplete block designs for factorial experiments introduced by John (1973) are presented as the examples of CFAS-PBIB designs. Finally, the relationship between CFAS and BNAS in block designs is briefly discussed.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.34S no.9
• /
• pp.50-59
• /
• 1997

This paper is on the generalized singular perturbation approximation (GSPA) preserving the discrete positive real property. We transform the discrete positive real(PR) system into a stochastically banlanced system and get the reduced order discrete system from the GSPA of the full order stochastically balanced system. eSPECIALLY, WHEN THE FREE PARAMETER OF THE gspa IS .+-.1, we show that the reduced order discrete system retains stability, minimality, and positive real and stochstically balancing properties. And we derived the .inf.-norm error bound with the reduced order discrete strictly positive real(SPR) system by the proposed method. Finally, we give an example to ascertain the properties of the proposed reduced order discrete system and to compare with the conventional methods.