• Language and Information
• /
• v.3 no.2
• /
• pp.67-83
• /
• 1999

This paper attempts to provide an account for the problems of intensional opacity of referring expressions and the presupposition inheritance in the belief contexts from the discourse perspective. I discuss Jaszczolt's discourse model based on DRT to account for the belief reports. Jaszczolt analyzes referring expressions in terms of the three readings(de re, de $dicto_1$ and de $dicto_2$) and attempts to represent the differences between them in the DRS's via different anchoring modes; external anchoring, formal anchoring and nonanchoring. I propose an extended model to account for the presupposition inheritance in the belief contexts and attempt to analyze the data in Korean based on this model. The differences in the PI and in the representations of DRS's which are induced by the different complement types, ${\ldots}ko(mitta)\;and\;{\ldots}kesul(mitta)$, are discussed.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.11
• /
• pp.17-23
• /
• 2015

In this paper, we propose a plural subject account of group beliefs using grounding concept, which bridges the gap between the two main approaches of ACLs, the mentalistic accounts and the social commitment accounts. The key idea of this Gilbert's plural subject account of group beliefs is to extend the grounding logic into the common ground framework for the semantics of ACLs which is fully verifiable, fully formalized and easily applicable. Thus, we formalize the proper group belief concept using common ground framework and we define the semantics of the primitive speech acts of FIPA-ACL such as inform, request and confirm as case studies. Also, we illustrate our framework on an e-commerce agent purchase negotiation and compare this proposed framework with two traditional semantics for ACLs.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.7
• /
• pp.563-572
• /
• 2013

Based on this paper, in case of the on-line account system in finance industry temporarily stops working because of the on-line data change from 00:00 to 00:30, it conducts in extra placement server and the director update is carried out via center cut or on-line server to make the service possible through customer director reproduction revision. So, from the simulation result in financial operating system, We retain the batch director & backup director securely about the important time data in each account classes on-line director without even one second interruption.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2002.11a
• /
• pp.749-753
• /
• 2002

Wireless technology is glowing rapidly in the new millennium period. By this technical progress, new idea which separate CDMA 2000-1x service and existing mobile service by the account appears in interconnection market. Especially fixed operator and mobile operator insist contrary opinions. Account Separation of CDMA 2000-lx service is not studied despite it's importance. This paper deal with this subject and analyse logic of operators opinion. By the result of this paper, CDMA 2000-lx is more a 3rd generation service than a 2.5rd generation service and the current account separation criteria based on using frequency bandwidth is not desirable.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.303-306
• /
• 2011

System solutions for access control to the user's personal when you want to authenticate to the system is used. The valid user is really just a part of authorized users, the suitability of a valid user has been authenticated are not sure whether the problem is the fact. For example, one developer in the Unix operating system can be valid, but do not have permission to access the system should be limited for. In this paper, a single account for multiple users to use the system operational issues to improve the fine-grained delegation of authority, the session audit, the administrator account's policy-based management, with full rights the administrator account of distribution management and auditing the system overall is the study of access control measures.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.5
• /
• pp.941-950
• /
• 2021

Single Sign-On (SSO) service manages user's account passwords from multiple websites so that security in a high level is required. Users who use the SSO service are authenticated through the Identity Provider (IdP) when logging into the website. We present the security requirements that IdP can take in order to minimize the user's risk whose IdP account is compromised. We describe the security threats that arise when the security requirements are not satisfied. Through evaluation, we prove that the attacker's session cannot be canceled even if the user recognizes the attack if the IdP does not satisfy the security requirements.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1995.02a
• /
• pp.103-108
• /
• 1995

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1995.02a
• /
• pp.281-291
• /
• 1995

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2003.06a
• /
• pp.25-34
• /
• 2003

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1996.02a
• /
• pp.479-488
• /
• 1996