• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.18 no.6B
• /
• pp.219-232
• /
• 2008

A novel idea of protocol security analysis is presented based on trusted freshness. The idea has been implemented not only by hand but also by a belief muitisets formalism for automation. The key of the security analysis based on trusted freshness is a freshness principle: for each participant of a cryptographic protocol, the security of the protocol depends only on the sent or received one-way transformation of a message, which includes a trusted freshness. The manual security analysis method and the belief multisets formalism are all established on the basis of the freshness principle. Security analysis based on trusted freshness can efficiently distinguish whether a message is fresh or not, and the analysis results suggest the correctness of a protocol convincingly or the way to construct attacks intuitively from the absence of security properties. Furthermore, the security analysis based on trusted freshness is independent of the idealization of a protocol, the concrete formalization of attackers' possible behaviors, and the formalization of concurrent runs of protocols.

• Korean Journal of Organic Agriculture
• /
• v.22 no.3
• /
• pp.381-395
• /
• 2014

The objective of the study to investigate factors affecting consumers' consumption extension toward environment-friendly agricultural products in Suncheon city. The main results of the analysis are as follows. First, the main reason that consumers purchase environment-friendly agricultural products is "concerns of pesticides." Second, NAQS is highly trusted of a certificate institution. Third, the results show that consumers is satisfied such as safety, freshness, nutrition, whereas price, package design and taste are dissatisfied. Fourth, the factors affecting increase in the consumption of environmental-friendly agricultural products, have been analyzed in the variables noted of whether Sex, marital status, purchase experience, Private Certificate Authority faulty.