Game theory-based Security Vulnerability Quantification for Social Internet of Things

Lee, Seokcheol,Kim, Sungjin,Choi, Ken,Shon, Taeshik North-Holland 2018 Future generations computer systems Vol.82 No.-

<P><B>Abstract</B></P> <P>In modern society, information and communication technology (ICT) has been applied to various areas such as home, industry, and finance. Therefore, social networks using Internet of Things (IoT) technologies have been constructed. As ICT continues to be used in various modern applications, security vulnerabilities from legacy ICT have been inherited by social IoT network systems. To guarantee the safety of these applications, these networks must be protected from various cyberattacks. A variety of security technologies and products have been developed for this purpose. However, the most important task in dealing with cyberattacks is to inspect the current security status of a social IoT network system. Many types of vulnerability quantification methods exist for inspecting the security vulnerabilities of network systems. However, with legacy methods, quantification results lack objectivity. In this study, to compensate for this limitation, we propose a game-theory-based vulnerability quantification method using attack tree, which consists of three steps: game strategy modeling, cost-impact analyzation, and payoff calculation. We present a case study for a social-IoT-based network environment. Using the proposed method, we believe social IoT network system security experts will be able to cope with security incidents more effectively. The proposed method can be used as a reference for constructing a safer social IoT network system.</P>

특칭양화에 의한 중첩현상의 무표형 출현분석

조학행,서정민 대한언어학회 2003 언어학 Vol.11 No.1

This paper investigates the emergence of the unmarked (henceforth, TETU) in reduplication according to Correspondence Theory. In the original Correspondence Theory (McCarthy & Prince, 1995a), which is universally quantified, the alternation in the base for TETU brings about opacity. The opacity arises when the reduplicant contains materials which are not present in the base. In this paper the modified Correspondence Theory (Struijke, 2000) will be compared with the original Correspondence Theory (McCarthy & Prince, 1995a). We think these two correspondence models differ in their account of TETU. To explain the difference, first we will analyse TETU in Kwakwala according to Correspondence Theory (McCarthy & prince, 1995a). However, though the model can explain TETU in the reduplicant, it cannot analyse TETU in the base. Therefore, we apply a new TETU approach to Kwkwala according to the modified Correspondence Theory (Struijke, 2000). which is existentially quantified.

논문 : 낙농자조금사업에 의한 우유소비촉진광고효과 및 우유소비량에 미치는 요인분석 - 수량화 이론의 적용 -

박종수,연규영,민재윤 한국협동조합학회 2004 韓國協同組合硏究 Vol.22 No.2

추진체계 개념설계단계에서 불확실성 고려방법에 대한 연구

안중기(Joongki Ahn),엄기인(Ki-in Um),이호일(Ho-il Lee) 한국추진공학회 2017 한국추진공학회 학술대회논문집 Vol.2017 No.5

고속추진체계의 시험평가에는 많은 비용과 시간이 필요하므로 시험자료의 양은 항상 부족하고, 설사 있더라도 지상시험 환경이 실제 비행조건과 일치하는 경우가 드물다. 이러한 이유로 설계자들은 설계결과에 대한 불확실성을 정량적인 확률로 제시하는데 어려움을 가지고 있다. 본 논문에서는 Evidence 기법을 이용하여, 시험자료 대신 개발자들의 경험과 공학적인 지식을 바탕으로 불확실성을 모델링하는 방법을 연구하였다. 연소효율은 이중연소램제트 엔진의 초기설계단계에서 가장 예측하기 어려운 변수중의 하나이다. 유사분야의 경험을 가진 설계자들이 이 값을 제시하는 것으로 가정하여 이중연소램제트 엔진의 설계결과에 대한 불확실성을 산출하였다. 나아가 흡입구와 연소기 출구면적으로 설계변수로, 추력성능과 thermal choking의 가능성을 제약함수로 하는 신뢰성 최적설계를 수행함으로써 시스템의 안전성을 확보하면서 최적의 성능을 얻을 수 있는 설계기법을 탐색하였다. At the early stage of the development of high speed propulsion systems, the designers suffer from the lack of both the quantity and the quality of test data. In that situation, the associated uncertainties could not be modeled as probabilistic distribution since probabilistic modelling requires large amount of data. In this paper, instead, the information provided by experts based on their experience and engineering knowledge was used to model uncertainty using the evidence theory. In designing the DCR(Dual Combustion Ramjet) engine, the combustion efficiencies, not well understood and little data existing, are assumed to have been provided by experts. And the uncertainties are quantified by Evidence theory. The quantified uncertainties are incorporated into the optimization. The design variables, area of inlet and area of combustor exit, have been found while satisfying reliability margins of thrust and thermal choking. The results show a reasonable design of the engine under the uncertain circumstances.

An Information Theory-based Approach to Modeling the Information Processing of NPP Operators

Kim, Jong Hyun,Seong, Poong Hyun 한국원자력학회 2002 Nuclear Engineering and Technology Vol.34 No.4

System Analysis of Potential Accidents on Mountain Road Based on Rough Set and Quantitative Theory

Jian Jun Wang,Xu Dong Cao 대한토목학회 2021 KSCE JOURNAL OF CIVIL ENGINEERING Vol.25 No.3

Although the number of traffic accidents in China has been declining year by year, the proportion of major traffic accidents in mountainous areas has continued to rise, reaching 60% in recent years. This shows that a mountain road safety system has not been effectively established. The majority of the methods used in mountain road safety assessments are statistical analysis methods based on accident causation theory. However, these expert methods greatly depend on massive amounts of traffic environmental data, which are very difficult and time-consuming to obtain. This study had the goal of reducing the environmental monitoring data required for this assessment and increasing analysis efficiency. Based on the research of road traffic accident data and traffic flow characteristics in mountainous areas, an attribute reduction algorithm was developed to weigh the significance of the data and construct a systemic analysis mothed. The proposed risk analysis model, which considers the accidents, roadside environment, and traffic safety facilities, is based on Shaanxi province data. The results from the actual implementation of this model indicate that the approach has good operability and holds great promise for mountain road safety assessment.

과학의 언어-이론 구성과 소통 기능을 중심으로-

신선경 한국사고와표현학회 2009 사고와표현 Vol.2 No.1

This paper examines the features of science language from theoryconstruction and science communication. Language functions not onlyas a tool of theory construction but also a media of communicationfor research and eduction in natural science field. In an aspect of theory construction for scientific investigation,scientific language shows several peculiarities in use of language;frequent use of nominals, quntification and mathematization in formof language, preference of operational defining, selection of actionverb as predicate of sentence, using metaphor and analogy for constructingand explain of new theory. In an aspect of communication and education of science, sciencelanguage shows circumstantial and reader oriented properties. Dependingon the purpose and reader, language use become different. Forexample, In research paper wriiten by and for scientist, language foraction and process is frequently used, while in the news paper ofscience magazine articles for public, language for attribute and resultis used because scientists are interested in experimental process andrepeatability, while public is interested in result and applicability. 본고는 과학적 탐구와 이론 정립 및 과학 지식의 소통과 전수라는 과학 언어의 두 가지 측면에 주목하면서 과학의 탐구와 이론화의 도구로 사용되는 과학언어의 이론 구성적 특징과 과학 지식의 소통과 전수라는 측면에서 과학 언어의소통적 특징을 고찰하는 것을 목적으로 한다. 과학 언어의 이론 구성적 성격을밝히기 위해서는 자연 과학의 방법적 특징과 논증 방식, 그리고 그 과정에서 사용되는 과학 언어의 특징에 대해 고찰하였고 과학 지식의 전수와 소통과 관련하여서는 독자를 달리 하는 다양한 과학 텍스트들과 각 텍스트에 나타난 언어 사용의 양상을 분석하였다. 과학의 탐구 과정에서 이론 구성의 수단으로 사용되는 언어는 그 사용에 있어객관성과 보편성을 지향하는 것에 비해 언어가 과학 지식의 소통을 위해 사용될때는 상황 의존적이며 개별적 성격을 갖는 것을 볼 수 있는데 이는 언어가 이론내적 도구로 사용될 때와 이론 외적 수단으로 사용될 때 서로 다른 방식으로 작용할 수 있다는 것을 보여주는 것이라고 할 수 있다. 이론 구성적 측면에서 과학의 언어의 특징은 첫째, 새로운 개념의 명명과 분류를 위한 동사의 명사화 현상과 둘째, 현상에 대한 수식화와 수량화, 셋째, 행위와 작용을 중시하는 조작적 정의 방식과 동작성 서술어의 빈번한 사용 넷째,비유 대상 사이의 구조적 유사성에 입각하여 이루어지는 은유와 유추의 사용 등으로 정리된다. 과학 지식의 소통과 전수라는 측면에서 과학 언어는 과학적 방법론을 전제로과학 기술에 대한 지식을 전달한다는 공통적인 목적에도 불구하고 전달 목적과예상되는 대상 독자의 독서 목적과 지식 정도의 차이에 따라 다양한 장르의 다양한 텍스트로 전달되며 각각의 텍스트에 따라 주제 전개 방식 및 메타 담화적표현, 어휘 및 문장 구조 선택 등 실제적 언어 사용에서 차이점을 갖는 것으로나타났다.

수량화방법을 이용한 장애인의 고용변화 추이

남기성,천영민,황기돈 한국자료분석학회 2010 Journal of the Korean Data Analysis Society Vol.12 No.2

This study analyze job mobilities and changes in job status for the disabled. The research method is longitudinal analysis which uses a panel data and quantification theory. Using the Korea Welfare Panel Study from 2006 to 2008, it is explored whether changes in job status is various with respect to physical disabilities. Our results show that sustaining rate of holding regular occupation was lower for the disabled, while the rate of holding non-regular occupation was longer relative to the non-disabled. Another finding is that the disabled are of lower probabilities to become regular workers than the non-disabled, implying a possible existence of discrimination against the disabilities. These findings imply more active government intervention needed, letting the disabled to have longer tenure instead of the current employment quota for them. 본 연구는 일자리의 질적 측면을 파악할 수 있는 고용형태의 변화를 장애 여부에 따라 차이가 있는 지를 분석하였다. 연구방법으로는 패널 자료를 이용한 추적분석과 다변량 분석 기법인 수량적 분석을 적용하였으며, 연구에서 사용한 데이터는 한국복지패널로서 2006년부터 2008년까지 3년의 자료를 이용하였다. 연구 결과에 따르면 장애인의 경우 지속적 정규직 유지비율은 비장애인에 비해 낮으나, 지속적 비정규직의 유지비율은 비장애인에 비해 높게 나타났다. 또한 정규직에서 비정규직으로의 변화비율은 비장애인에 비해 높게 나타난 것은 장애인에 대한 차별이 일부 존재할 가능성이 있는 것으로 볼 수 있었다. 비장애인의 경우는 2차년에 정규직일지라도 1차년에 비정규직 경험이 있는 패널이 비정규직 경험이 없었던 패널보다 3차년에 비정규직으로 전환될 가능성이 높게 분석되었다. 연구결과에 의한 정책적 시사점은 정부지원에서 기업체에서 장애인의 의무비율 유지만이 아니라, 근속기간을 평가기준으로 삼는 것이 장애인의 노동환경 개선에 도움을 줄 수 있을 것이다.

고속도로의 주행속도예측 및 주행환경만족도 모형 개발에 관한 연구

김장욱,김정현,이수범,장일준 대한교통학회 2009 대한교통학회지 Vol.27 No.2

When most drivers take to the freeway, they don’t necessarily pay attention to the geometric design. They expect proper design by depending on their own senses and recognition. When they evaluate the features of traveling on the freeway, they can think differently than engineers. The design needs to predict the exact speed of the driver to satisfy the driver's expectation, safety, pleasure and so on. This study categorized the factors influencing the speed of six freeways considering geometric and operational features to make a prediction model of speed. The model used multiple regression with these factors and produced statically appropriate results. This study utilized the principle component analysis and the quantification Ⅱ analysis based on the image data of the satisfaction of the traveling environment collected through individual interviews. As a result, this study found the factors of satisfaction in a traveling environment. It made a satisfaction model of the traveling environment on freeways considering the change of driver's actual recognition and societal recognition using structural equations and the quantification Ⅱ theory. Through the model made in this study, This model can present not only qualitative factors like satisfaction of traveling environment on freeways, but also the quantitative elements like speed. What is important is the evaluation of features of traveling on freeways reflected in the recognition and traffic environment felt by drivers. 고속도로이용자가 주행할 때 도로기하구조를 정확하게 파악하지 못하면, 도로이용자는 자신의 감각과 인식에 의존해 판단을 내리게 되기 때문에 고속도로의 주행성을 평가할 때 설계자와는 다른 판단을 내리게 될 수도 있다. 따라서 도로이용자의 기대심리를 만족시키면서 안전성, 쾌적성 등을 확보하기 위해서는 정확한 주행속도를 예측할 필요가 있다. 또한, 고속도로의 기하구조적인 주행성뿐만 아니라 도로이용자가 이러한 구성요소의 조화에 의해 느끼는 감성적 측면에서의 주행환경만족도에 대한 인식의 변화를 파악할 필요가 있다. 이에 본 연구에서는 주행속도 예측모형 구축하기 위해 6개 고속도로(경부, 서해안, 영동, 남해, 중앙, 호남)를 대상으로 주행속도에 영향을 미치는 요인을 크게 선형요소, 교통운영특성 요소로 분류하였다. 주행속도에 영향을 미치는 요인을 대상으로 다중회귀를 이용한 주행속도예측모형 구축 및 검증 결과, 통계적으로 모두 적합한 것으로 나타났다. 또한, 본 연구에서는 고속도로 이용자를 대상으로 개별면접 설문조사를 통해 수집된 주행환경만족도 이미지 데이터를 바탕으로 수량화 제Ⅱ류 및 주성분분석을 실시하여 고속도로 주행환경만족도에 대한 영향 요인을 규명하였다. 또한 수량화 제Ⅰ류 및 구조방정식을 이용하여 사회인식 및 고속도로 이용자의 실제인식의 변화가 고려된 고속도로의 주행환경만족도 모형을 구축하였다. 본 연구에서 구축된 모형을 통해 주행속도와 같은 정량적인 요인뿐만 아니라 도로이용자가 느끼는 고속도로의 주행환경만족도와 같은 정성적인 요인에 대한 결과도 제시할 수 있어서 도로이용자가 느끼는 변화된 교통 환경과 인식여부가 반영된 고속도로의 주행성을 평가할 수 있다는 데에 그 의의가 있다.

전통적 존재론에 대한 콰인의 분석과 존재론적 언질 기준

이명숙 범한철학회 2010 汎韓哲學 Vol.59 No.4

Quine, as an analytic philosopher and logican, would overcome the prevailing hostility to metaphysics that pervaded analytical philosophy during the period when it was dominated by logical positivism and establish metaphysics as a science. This is not to say that Quine would encourage a return to cultivating metaphysics of the sort the positivists condemned. Quine is just as hostile to the excesses of speculative and transcendent metaphysics as were the positivists. But his views may be taken as subscribing to the cautionary advice that one should not throw out the baby with the bath water. Quine takes a positive stance with respect to the importance and need to cultivate sound ontological views. Quine would revitalize and rehabilitate metaphysics as ontology. Quine approaches this problem by the method of semantic ascent. By this strategy questions about the world are replaced with questions about language, that is, clarifying ontological commitments of ordinary discourse, philosophical statements or scientific theories. This can be done by reconstructing the formulation of the questions with which ontology deals in accordance with the guiding principles of morden logic. We seek to determine the ontological commitments embedded in such discourses or theories, the first thing we must be prepared to do is rewrite the relevant statements to disclose their underlying logical patterns. We could then be clear about what can be profitably inquired into, where legitimate differences arise among competing ontologies, and how one might proceed to try to resolve these differences. Quine calls it the criterion of ontological commitment. To sum up, Quine's famous statement, “To be is to be the value of a variable” serves as a criterion of ontological commitment. 콰인은 존재론의 핵심 문제를 세계 속에 어떤 종류의 것들이 있는가를 밝히는 일이라고 보고, 이 문제에 대한 해명을 통하여 철학자는 과학자들보다 훨씬더 포괄적으로 세계를 이해하는 데 도움을 줄 수 있다고 믿는다. 그러나 분석철학의 전통 속에 있는 콰인은 철학자들이 과학자들처럼 존재하는 것들에 대해 직접 탐구한다든가, 종래의 형이상학들처럼 철학자 특유의 어떤 통찰이나 직관에 의해 세계와 실재의 본성을 밝히려 하는 전통적 접근 방식을 버리고 언어 수준에서 존재 문제를 다룬다. 이 글은 콰인이 현대 논리학을 동원하여 세계 속에 개별적 대상은 물론 추상적인 것과 보편적인 것 등 여러 유형의 것들이 존재한다고 독단적으로 주장하는 전통적 존재론들을 분석하고 비판한 내용을 중점적으로 다룬다. 콰인의 분석을 따라가다 보면 존재론의 핵심 문제나 존재론 탐구의 방법을 확인할 수 있을 것이다. 더 나아가 존재론을 탐구하는 철학자가 세계 이해의 한 부분을 어떤 식으로 감당할 것인지도 분명해질 것이다.