• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.5
• /
• pp.57-67
• /
• 2003

Security Policy Model is a structured representation using informal, semiformal or formal method of security policy to be enforced by TOE. It provides TOE to get an assurance to mitigate security flaws resulted from inconsistency between security functional requirements and functional specifications. Therefore, Security Policy Model has been required under an hish evaluation assurance level on an evaluation criteria such as ISO/IEC 15408(Common Criteria, CC). In this paper, we present an evaluation method for security policy model based on assurance requirements for security policy model in Common Criteria through an analysis of concepts, related researches and assurance requirements for security policy model.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.16 no.8
• /
• pp.2587-2605
• /
• 2022

In order to efficiently detect community structure in complex networks, community detection algorithms can be designed from the perspective of node similarity. However, the appropriate parameters should be chosen to achieve community division, furthermore, these existing algorithms based on the similarity of common neighbors have low discrimination between node pairs. To solve the above problems, a noval community detection algorithm using closeness similarity based on common neighbor node clustering entropy is proposed, shorted as CSCDA. Firstly, to improve detection accuracy, common neighbors and clustering coefficient are combined in the form of entropy, then a new closeness similarity measure is proposed. Through the designed similarity measure, the closeness similar node set of each node can be further accurately identified. Secondly, to reduce the randomness of the community detection result, based on the closeness similar node set, the node leadership is used to determine the most closeness similar first-order neighbor node for merging to create the initial communities. Thirdly, for the difficult problem of parameter selection in existing algorithms, the merging of two levels is used to iteratively detect the final communities with the idea of modularity optimization. Finally, experiments show that the normalized mutual information values are increased by an average of 8.06% and 5.94% on two scales of synthetic networks and real-world networks with real communities, and modularity is increased by an average of 0.80% on the real-world networks without real communities.

• Journal of Software Assessment and Valuation
• /
• v.14 no.2
• /
• pp.35-44
• /
• 2018

Tools for detecting cross-language clones usually compare abstract-syntax-tree representations of source code, which lacks scalability. In order to compare large source code to a practical level, we need a similarity checking technique that works on a token level basis. In this paper, we define common tokens that represent all tokens commonly used in programming languages of different paradigms. Each source code of different language is then transformed into the list of common tokens that are compared. Experimental results using exEyes show that our proposed method using common tokens is effective in detecting cross-language clones.

• The Journal of the Acoustical Society of Korea
• /
• v.28 no.1
• /
• pp.51-60
• /
• 2009

This paper presents a new method of designing room equalization filters using a warped common acoustical pole and zero (WCAPZ) modeling. The proposed method is capable of significantly reducing the order of the equalization filters without sacrificing the filter performance, especially, at low frequencies. Thus, the associated input-output delay is much smaller than the conventional block transform method while its computational complexity is comparable to it. The computational complexity also is still comparable to the conventional room equalization method, since the filter is implemented in the linear frequency domain after the pole-zero dewarping. Simulation results confirm that the use of the proposed algorithm significantly improves the room equalization over a range of low frequencies.

• Journal of Korean Society of Forest Science
• /
• v.61 no.1
• /
• pp.60-68
• /
• 1983

Ever since the day of pre-modernized society where the farming skill had been in the stagnant condition, the common farmwoodlands have been utilized in common (collectivelly) by villagers in order to harvest farmwoodlands and fuelwoods. Later, during the process of modernization, most of the common farmwoodlands were transferred into national or public forests by the administrative enforcement, but there were still various types of village (common) forests such as the common forests owned by joint owners, village block associations, village forest productive societies, Village Forestry Association(V.F.A.), and the national or public forests leased to V.F.A. As Village Forestry Association is organized with a few villages, each of common forests ow nod to the villages is obliged to be diversely controlled by other managers than the chief of V.F.A. Therefore, it is to be desired that the control of common forests should be under Gun Forestry Association Union. While the rate of the use of common forests for fuelwoods and cemetery has been considerably high, villagers wish to promote the timber forest establishment through the collective management by their improved farming skills and economical situations. In these present circumstances the village forest productive societies should be guided to work in closer cooperation with Gun Forestry Association Union. Since the management of common forests is still extensive, it still remains in the semi-management condition under which we can not find any management plan or measure to control forest damage. Especially the small area common forests should have appropriate size for the joint management. This will promote the forest productivity through the lease for reforestation of disposable national forests or public county forests and the contracts for profit sharing. Today owing to increasing forest value, frequent dispute has occurred on the common right telated to the village forests and rationalization of forest management has been disregarded. If a necessary measure were taken to control the dispute such as transferring the registeration right of ownership to the village forest productive society, the confidence of local inhabitants can be regained and the productivity of forests can be naturally increased.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.3
• /
• pp.537-545
• /
• 2007

Necessary conditions for the existence of common fixed points for noncommuting mappings satisfying generalized contractive conditions in the setup of certain metrizable topological vector spaces are obtained. As applications, related results on best approximation are derived. Our results extend, generalize and unify various known results in the literature.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.329-341
• /
• 2005

In this paper, we introduce new random iterative sequences with errors approximating a unique random common fixed point for three random set-valued strongly pseudo-contractive mappings and show the convergence of the random iterative sequences with errors by using an approximation method in real uniformly smooth separable Banach spaces. As applications, we study the existence of random solutions for some kind of random nonlinear operator equations group in separable Hilbert spaces.

• Korean Journal of Oriental Medicine
• /
• v.1 no.1
• /
• pp.347-362
• /
• 1995

The treament of common cold in oriental medicine is different from that of mordern medicine. In mordern medicine, the treatment is indiscriminat and allopathic, but it is varied by many factors - immunity, palpation, and constitution etc. - in oriental medicine. I reported that the relations of immunity, symptoms, diagnosis and medication.

• Journal of applied mathematics & informatics
• /
• v.31 no.1_2
• /
• pp.155-164
• /
• 2013

In this paper, we have established some common fixed point theorems for two pairs of occasionally weakly compatible hybrid maps sat-isfying a strict contractive condition in a non-archimedean fuzzy metric space. Our result extend, generalized and fuzzify several fixed point theo-rems on metric space.

• Communications of the Korean Mathematical Society
• /
• v.27 no.4
• /
• pp.733-743
• /
• 2012

In the present paper, we prove common fixed point theorems for single-valued and set-valued occasionally weakly compatible mappings in Menger spaces. Our results improve and extend the results of Chen and Chang [Chi-Ming Chen and Tong-Huei Chang, Common fixed point theorems in Menger spaces, Int. J. Math. Math. Sci. 2006 (2006), Article ID 75931, Pages 1-15].