• 제목/요약/키워드: 증명론적 의미론

Search Result 46, Processing Time 0.025 seconds

ID-based signcryption with improved security (안전성을 보완한 ID기반 signcryption 기법)

  • Kwak Byeong-Ok;Jeong Yoon-Su;Lee Sang-Ho
    • Journal of the Korea Society of Computer and Information
    • /
    • v.11 no.2 s.40
    • /
    • pp.239-251
    • /
    • 2006
  • Zheng's signcryption scheme is a new encryptical scheme of which can save more expense than those of the current signature encryption by using digital signature and symmetric key encryption logically. The current signcryption schemes have a problem that is to be exposed the secret key of the receiver in the case of checking repudiation of origin by the third party. To solve this problem, a solution suggested in this paper is to use multi-purpose ID-based signcryption scheme with anonymity and unlinkability. This solution is safe and more efficient than current signcryption schemes because the suggested scheme keeps the security of the random oracle model as using Weil-pairing in encryption. and follows a formal proof of semantic security of the decisional Diffie-Hellman problem.

  • PDF

Against Skepticism: Doubt and Belief in C. S. Peirce and Michael Polanyi (찰스 S. 퍼스와 마이클 폴라니의 회의론과 믿음(belief)에 대한 비교 연구)

  • Kim, Dong Ju
    • 기호학연구
    • /
    • no.54
    • /
    • pp.7-36
    • /
    • 2018
  • Michael Polanyi's idea of tacit knowledge came from the realization that scientific objectivity and critical philosophy had become too restrictive for philosophy, especially in the realm of meaning, which is beyond positivistic proof and contains more non-critical elements than critical ones. In social life, people still share certain kinds of knowledge and beliefs which they obtain without making or learning those explicitly. Contemplating the role and significance of tacit knowledge, he called for a post-critical philosophy that integrates the realm of meaning and thereby appreciates the intertwined nature of tacit and explicit knowledge. Polanyi's position towards skepticism and doubt shows similarities with Charles S. Peirce's thinking about the relationship between belief and doubt. Although Peirce's semeiotics stands firmly in the tradition of critical philosophy, he affirms that doubt cannot be a constant state of mind and only belief can form a basis for a specific way of life. Polanyi's approach differs from Peirce's by focusing on the impossibility of scientific knowledge based solely on principles and precision, and his emphasis on the crucial role of the community of scientists. Nevertheless, the deeper implications of Peirce's contemplations on belief and doubt have myriad ramifications on the philosophy of science as well as the sociology of science.

신경망 기반 응용최적통계 기법을 이용한 전략 계획에 따른 단기 계획 조정 방법에 관한 연구

  • 김우주;최대우;김정수
    • Proceedings of the Korea Association of Information Systems Conference
    • /
    • 1997.10a
    • /
    • pp.53-73
    • /
    • 1997
  • 대부분의 조직들은 그 조직의 생존과 발전을 위해 장기 전략 계획과 동시에 운영 을 위한 구체적 단기 계획(예 : 생산 계획)을 항상 수립 또는 조정하고 있다. 특히 장기적인 관점에서의 이익 극대화와 생존을 위해 수립되거나 조정된 장기 전략 계획을 효과적으로 달 성하기 위해서는 실제 그 전략을 수행하기 위한 단기 계획에 대한 전략 계획 결과의 일관되 고 지속적인 반영이 필수적이다. 그러나 단기 계획 수립 시점에서 전략 목표나 전략 계획의 내용을 단기적으로 실현 가능한 이익 관점에서 양적으로 구체화하여 평가하기 어려운 현실 적 이유로 인해 대부분의 경우 객관적으로 측정 가능한 단기 이익을 극대화하는 방향으로 단기 계획을 수립하는 것이 보통이다. 따라서 이러한 단기 계획의 수립은 장기 전략 계획과 의 불일치를 가져오게 되며 궁극적으로 기업의 장기적 이익 극대화와 생존에 불리한 결과를 초래할 수도 있다. 이에 따라 본 연구에서는 장기전략 계획이 구체적인 단기 계획에 있어 어떤 구체적이고 명시적인 의미나 결과를 가지게 되는지를 파악할 수 있는 체계를 모형화 하고, 이를 바탕으로 장기 전략 계획을 달성하기 위해 혹은 장기 전략 계획의 변화가 발생 했을 경우 이에 따른 단기 계획에의 일관된 조정을 수행할 수 있는 방법론을 개발 제시하고 자 한다. 본 연구에서는 이를 위해 장기 전략 계획으로는 포트폴리오(Portfolio) 계획 모형을 가정하고 있으며, 단기 계획 수립은 최적화 모형(예 : 선형계획법)을 사용하는 것을 전제로 하여 신경망 기반 응용최적통제(Adaptive Optimal Control)기법을 통해 포트폴리오 모형을 전략 목표를 위한 최적화 모형의 통제 및 조정을 수행함으로써 전략 계획에 의한 단기 계획 조정을 달성하고자 한다. 본 연구에서 제시한 방법론은 장기 전략 목포를 달성하기 위한 일 관적인 기군에 따른 적절한 단기 계획의 통제가 가능하다는 것을 보여주었으며 나아가서 장 기 전략 목표와 단기 이익간의 체계적인 상호 교환적 절충의 가능성 역시 경험적으로 증명 하고 있다. 이는 대부분의 기업 환경에 적용되어 현대의 빠른 기업 환경 변화에 대응하기 위한 전략 계획의 변화를 신속하고 효과적으로 단기 계획에 반영할 수 잇는 방법을 제시함 으로써 기업의 전략 목표 달성에 중요한 역할을 담당할 수 있을 것으로 기대한다.

  • PDF

A Study on The Problem in Policy of Korean Resident Registration Number: On Basis of Freedom of Data Provision (현행 주민번호제도의 문제점에 관한 연구: 정보 제공 자유도를 기반으로)

  • Rhee, Hae-kyung
    • Journal of Digital Convergence
    • /
    • v.14 no.11
    • /
    • pp.45-51
    • /
    • 2016
  • Although the problem of personal data leakage is reported to be serious, there has been no research that tries to excavate out that real cause of the leakage in scientific prospective. Although this topic is considered to be crucial, there have been no literatures relevant to the topic, and the reason for this limitation is that scientific approach to this problem was not feasible. In this respect, in this paper a model for such scientific analysis and a methodology of analysis have been devised. Results show that the degree of rigidity turns out be the determinant that vindicates the degree of leakage. The notion of data rigidity is revealed to be very strongly correlated to the number of hacking incidents in each country. The notion of resident data freedom was then deployed in this paper to determine the world-wide ranking for a slew of different countries. The United Kingdom and the Republic of Korea turned out to be the two extreme countries that lie in the spectrum of the scale, with UK the most flexible and ROK one of the most rigid.

A study on the Shift of Burden of Proof in Medical Malpractice - Ruling of Jeonju Appellate Court 2017Na9346 - (의료과오소송에서의 증명책임에 대한 소고 -전주지방법원 2017. 7. 21. 선고 2017나9346판결-)

  • Lee, Soo-Kyoung;Yoon, Seok-Chan
    • The Korean Society of Law and Medicine
    • /
    • v.22 no.2
    • /
    • pp.49-79
    • /
    • 2021
  • Due to defendant's wrongful act by implant surgery, plaintiff has been suffered serious damages to his face and teeth, and pain caused by establishing implanted teeth. Jeonju Appellate Court sentenced to pay future medical expenses and alimony to the plaintiff in compensation for breach of duty or torts. The ruling is designed to relieve the burden of proof because it is extremely difficult for non-experts to determine whether dentists violated their 'duty of care' or whether there was a causal relationship between damages to medial treatment. It was judged that if symptoms that contributed to the patient's significant outcome occurred during or after surgery, such symptoms could be presumed to have been caused by medical negligence if indirect facts were proven to be other than medical negligence. Originally, the shifting of burden of proof in Germany, has already been developed in medical malpractice case since 1940s. In order to guarantee the patients' right, §630h German Civil Code (BGB) - presumption of negligence in the realization of controllable risk- has been also legislated. BGH (Bundesgerichtshof) has been interested in ensuring that the principle of equality between patients and doctors. So, in this study, we wanted to refer to German precedent cases to analyzing Korean medical malpractice lawsuit. In particular, the decision could be significant in that it approaches closer to allows the shifting burden of proof in drastically growing dental malpractice cases. This is clearly confirmed in the judgment of the dentist's "fault" that "if indirect facts about the symptom or occurrence are proven to be cause other than medical negligence, such symptoms can be presumed to be due to medical negligence."

A Study on Monitoring Function Based System (기능 기반 시스템의 모니터링을 위한 방법론)

  • Bosik Ryu;Giljong Yoo;Jinsu Jung;Eunseok Lee
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2008.11a
    • /
    • pp.9-12
    • /
    • 2008
  • 근래에 들어와 시스템의 복잡성에 대한 문제가 제기되고 있다. 그 해결책으로 대두되고 있는 자가치유 시스템이란 자율 컴퓨팅의 개념 중 하나로 사람의 개입 없이 시스템의 이상상태을 인식하고 정상상태로 복귀 가능한 시스템을 의미한다. 이를 달성하기 위해서는 가장 먼저 필요한 것은 시스템의 어떤 부분에서 어떤 이상이 일어났는지 파악하는 것이다. 그래서 내외부적으로 여러 가지 접근을 통한 시스템에서의 이상여부를 파악하기 위한 모니터링 기법들이 연구되고 있다. 그렇지만, 기존의 여러 모니터링 기법에서는 부분에 초점을 두어 전체적인 시스템의 감시를 위한 다른 방법이 필요하다. 본 논문에서는 이를 해결하기 위하여 현재 부곽되고 있는 AOP(Aspect Oriented Programming)기법을 적용하여 각 기능의 수행범위 / 제약사항을 조절하며 기능적인 작은 이상을 파악한다. 또한, 모듈-기능 관계리스트를 사용하여 이상이 발생하였을 경우 어떤 요구사항이 위반되었는지 파악하고, 해당 기능들에 근거한 State-diagram을 사용함으로 시스템의 전체 흐름 상의 이상 발생을 감시하는 구조를 제안한다. 그리고 Case Study를 통해 실제 이 방법을 적용한 시스템의 감시가 가능하다는 것을 증명했다.

Analysis Method for Speeding Risk Exposure using Mobility Trajectory Big Data (대용량 모빌리티 궤적 자료를 이용한 과속 위험노출도 분석 방법론)

  • Lee, Soongbong;Chang, Hyunho;Kang, Taeseok
    • Journal of the Society of Disaster Information
    • /
    • v.17 no.3
    • /
    • pp.655-666
    • /
    • 2021
  • Purpose: This study is to develop a method for measuring dynamic speeding risks using vehicle trajectory big data and to demonstrate the feasibility of the devised speeding index. Method: The speed behaviors of vehicles were analysed in microscopic space and time using individual vehicle trajectories, and then the boundary condition of speeding (i.e., boundary speed) was determined from the standpoint of crash risk. A novel index for measuring the risk exposure of speeding was developed in microscopic space and time with the boundary speed. Result: A validation study was conducted with vehicle-GPS trajectory big data and ground-truth vehicle crash data. As a result of the analysis, it turned out that the index of speeding-risk exposure has a strong explanatory power (R2=0.7) for motorway traffic accidents. This directly indicates that speeding behaviors should be analysed at a microscopic spatiotemporal dimension. Conclusion: The spatial and temporal evolution of vehicle velocity is very variable. It is, hence, expected that the method presented in this study could be efficaciously employed to analyse the causal factors of traffic accidents and the crash risk exposure in microscopic space using mobility trajectory data.

A Study of a Secure Smart Car System using Attribute-based Delegation Method (속성 기반 권한위임 관리 기법을 사용한 스마트 자동차 안전성 검토에 관한 연구)

  • Kim, Jin-Mook;Moon, Jeong-Kyung;Hwang, Deuk-Young
    • Convergence Security Journal
    • /
    • v.19 no.3
    • /
    • pp.71-79
    • /
    • 2019
  • The demand of smart cars is increasing rapidly. International stand organize such as 3GPP and 5GAA are proposing standard communication protocvols for connected-car, and automotive network infrastructure. But Smart car network have many security threats and more dangerous against the existed wire communication network. Typically, peripheral devices of a smart car may disguise their identity and steal location information and personal information about the vehicle. In addition, the infrastructure elements around smart cars can conspire and put driving cars in danger, threatening lives. This is a very serious security threat. Therefore, in order to solve these problems, we proposed a system that is secure from collusion and tampering attacks using attribute-based authorize delegation method and threshold encryption algorithms. We have demonstrated using a semantic safety model that the proposed system can be safe from collusion attack.

Face Super-Resolution using Adversarial Distillation of Multi-Scale Facial Region Dictionary (다중 스케일 얼굴 영역 딕셔너리의 적대적 증류를 이용한 얼굴 초해상화)

  • Jo, Byungho;Park, In Kyu;Hong, Sungeun
    • Journal of Broadcast Engineering
    • /
    • v.26 no.5
    • /
    • pp.608-620
    • /
    • 2021
  • Recent deep learning-based face super-resolution (FSR) works showed significant performances by utilizing facial prior knowledge such as facial landmark and dictionary that reflects structural or semantic characteristics of the human face. However, most of these methods require additional processing time and memory. To solve this issue, this paper propose an efficient FSR models using knowledge distillation techniques. The intermediate features of teacher network which contains dictionary information based on major face regions are transferred to the student through adversarial multi-scale features distillation. Experimental results show that the proposed model is superior to other SR methods, and its effectiveness compare to teacher model.

A Study on customer experience centered innovation model for culture and arts organizations - Centered on museum service - (문화예술 기관의 고객경험 중심 혁신모형 연구 - 박물관 서비스를 중심으로 -)

  • Ahn, Jinho;Kim, Yeunhee
    • Journal of Service Research and Studies
    • /
    • v.11 no.1
    • /
    • pp.21-30
    • /
    • 2021
  • This study examined methodologies for establishing a customer experience-focused innovation strategy, which is essential to transforming existing collection and preservation-oriented museum service into a visitor-oriented service. To this end, a review of studies examining good customer experience and bad customer experience was conducted, focusing on change in museum environments and customer experience from the service science and customer experience management perspectives. Research was conducted to present and prove. Implementing a customer experience-oriented innovation strategy in a museum requires exploring the various approaches that can be used to reach the target state from the present state, focusing on the customer, and selecting the most appropriate transformation plan. This study found that effective approaches are distinguished by the fact that they generate positive emotions in customers and use customer experience data to make important decisions regarding the establishment of practical resources in museums. This innovation model was developed and validated by analyzing how it differed from existing evaluation methods. Finally, a regression analysis using the customer experience measurement procedure, customer experience diagnosis/evaluation, customer experience innovation strategy, and museum performance as variables revealed a significant causal relationship.