BIM 기술은 현재 빠르게 건설 산업 전반에 적용 및 확산되고 있다. 그러나 고비용의 BIM 인프라, 법령의 부재, 운영 프로세스 등의 문제로 도입 초기의 기대와 달리 그 활용도면에서 만족할 만한 기대치를 채우지 못하고 있다. 설계 단계에서 수행되는 BIM 기술 기반의 협업 설계 인프라 구축은 성공적인 건설 프로젝트를 위한 필수 요소로 볼 수 있다. 현재 BIM은 클라우드 컴퓨팅기술과 결합하여 드로잉, 3D 모델링, 객체 데이터, 속성 정보 등을 생성할 수 있는 서비스 들이 파생되고 있으며 설계 인프라를 위한 핵심으로 떠오르고 있다. 본 논문은 VDI 시스템 환경 설정 및 구축을 통해 BIM 모델링, Viewing, 모델 체크, 마크업 등 BIM을 수행할 수 있는 서버 인프라 서비스 구축 방안을 제시한다. VDI 성능 시스템 테스트를 통하여 BIM 설계 환경에 필요한 가상 머신 리소스를 산정하고 배분하는 방식을 제안하여 클라우드 컴퓨팅 기반 BIM 설계 및 BIM 설계정보를 활용 프로젝트 운영 방향을 제시하고자 한다.
습지 분류의 목표는 '목록작성(inventory)과 평가와 관리를 위해 자연적인 생태계에 범위를 설정하는 것'이다. 또한 등질적인 속성을 갖는 생태단위를 기술하고, 자원관리 의사결정에 도움을 줄 수 있는 체계로 단위를 만들어내고, 목록작성과 지도화에 필요한 단위를 제공하면, 습지에 관한 개념과 용어의 통일성을 제공하는 것 등이다. 해안지형 가운데 해안 습지의 분류에는 우선, 1) 형태, 2) 생성요인, 3) 자갈, 모래, 펄 같은 기질 물질과 4)현재의 환경이라는 요소가 모두 고려되어야만 하는데 아직 국내에는 이에 대한 연구가 절대적으로 부족하여 이에 대한 규정이 부족한 현실이다. 따라서 현 단계에서 ISO/IEC 규정대로 각 코드는 엄밀히 상호배타적인 개념일 것, 정수로 표시할 것과 순차적으로 증가하는 숫자로 표시할 것 등의 전제조건을 만족시키는 전제 하에서 해안습지를 분류하는 것은 매우 힘든 작업이라 생각한다. 하지만 국토공간의 효율적 관리와 보존을 위해서는 위치와 장소에 따라 차이를 보이는 지질, 지형, 토양, 식생, 수리 현상 등 제반 지표 환경요소에 대한 체계화된 정보의 축척이 있어야 가능하다. 우리나라의 경우 지질 정보는 지질자원연구원에서 발행하는 지질도와, 농촌진흥청에서 발행하는 토양도, 임업연구원에서 발행하는 임상도 등의 주제도가 있으나, 지표환경을 나타내주는 지형에 대한 정보체계는 아직 이루러진 바가 없고, 대학의 석사학위논문이나, 실험적인 수준의 연구에 머물고 있는 실정이다. 이번 연구에서는 지형분류도 작성과 관련한 외국의 사례를 집중적으로 분석하고, 지형정보의 체계적 관리를 위해 가장 필요한 해안습지 지형분류도를 작성하기 위해 가장 기초적인 단계인 해안습지 지형분류체계에 대한 국내외의 연구성과를 비교하여 시안을 작성 표준화를 위한 첫 단계 시도를 소개하였다.분석 결과는 문장, 그림 및 도표, 장 끝의 질문, 학생의 학습 활동 수 등이 $0.4{\sim}1.5$ 사이의 값으로 학생 참여를 적절히 유도하는 발견 지향적 인 것으로 조사되었다. 그러나 장의 요약은 본문 내용을 반복하는 내용으로 구성되었다. 이와 같이 공통과학 과목은 새로운 현대 사회에 부응하는 교과 목표와 체계를 지향하고 있지만 아직도 통합과학으로서의 내용과 체계를 완전히 갖추고 있지 못할 뿐만 아니라 현재 사용되고 있는 7종의 교과서가 교육 목표를 충분히 반영하지 못하고 있다. 따라서 교사의 역할이 더욱더 중요하게 되었다.괴리가 작아진다. 이 결과에 따르면 위탁증거금의 징수는 그 제도의 취지에 부합되고 있다. 다만 제도운용상의 이유이거나 혹은 우리나라 주식시장의 투자자들이 비합리적인 투자형태를 보임에 따라 그 정책적 효과는 때로 역기능적인 결과로 초래하였다. 그럼에도 불구하고 이 연구결과를 통하여 최소한 주식시장(株式市場)에서 위탁증거금제도는 그 제도적 의의가 여전히 있다는 사실이 확인되었다. 또한 우리나라 주식시장에서 통상 과열투기 행위가 빈번히 일어나 주식시장을 교란시킴으로써 건전한 투자풍토조성에 저해된다는 저간의 우려가 매우 커왔으나 표본 기간동안에 대하여 실증분석을 한 결과 주식시장 전체적으로 볼 때 주가변동율(株價變動率), 특히 초과주가변동율(超過株價變動率)에 미치는 영향이 그다지 심각한 정도는 아니었으며 오히려 우리나라의 주식시장은 미국시장에 비해 주가가 비교적 안정적인 수준을 유지해 왔다고 볼 수 있다.36.4%)와 외식을 선호(29.1%)${\lrcorner}$ 하기 때문에 패스트푸드를 이용하게 된 것으로 응답 하였으며, 남 여 대학생간에는 유의한 차이(p<0.05)가 인정되었다. 응답자의 체형은 ${\ulcorner}$
외식의 관심도가 높아지면서 지역경제의 활성화전략으로 외식이벤트를 적극적으로 활용하면서 대부분의 외식이벤트 주체자는 참여고객의 만족에 초점을 두기보다는 대외 홍보와 언론노출이 용이한 일회성 이벤트와 광고에 치중하고 있는 것에 대해서 문제의식과 필요성을 가지고 탐색적인 차원에서 외식이벤트 주최자의 중요 점과 진행후의 성취도, 외식이벤트 참여자가 중요하게 생각하며 참여 후에 느끼는 만족도를 IPA분석 통해 연구하였다. 본 연구의 목적은 참여자와 진행 주최자의 양측 면에서 중요도와 만족도를 심도 있게 논외하고 외식 이벤트를 성공적으로 이끌기 위한 참여자와 주최자간의 차이를 밝히고자 함이며, 외식이벤트 주최자와 참여자간의 연구에서 제시된 자료를 토대로 외식이벤트에 대한 학문적 접근을 시도하고자 함에 있다. 이에 따른 연구방법으로는 서문지 작성으로 조사 시기는 2008년 5월 9일에서 10일까지 이틀에 걸쳐 이루어졌고 총 200매의 설문지가 배포되었으며 회수된 설문지는 176매로 88% 회수율을 보였으며 이중 불성실하거나 누락된 항목이 많은 설문지를 제외하고 분석에 사용된 설문지는 171부(85.5%)가 SPSS프로그램을 통하여 빈도분석(Frequency)과 기술 분석 (Descriptive Statistics), 대응표본 T-test(paired Samples)등을 실시하였고 중요도와 성취도의 IPA 그래프를 작성하기 위하여 IPA (Importance-Performance Analysis) 분석을 이용하였다. 연구의 결과는 외식이벤트 주최자는 새로움, 예약서비스, 가격, 조명, 고객수준이 유지되어야 한다고 나타났고 외식이벤트 참가자는 소스 맛 주최측서비스 수준, 주차 서비스, 예약 서비스, 고객수준은 유지되어야 한다고 나타났으며 불만족을 느끼는 것은 참가자는 '천연 조미료사용', '음식 맛', '세련된 분위기로 나타났으며 배경음악, 공간청결, 환송서비스, 주방장명성, 세련된 분위기로 나타났다. 결과적으로 주최자는 참여고객들이 불만족을 갖는 '천연 조미료사용' '음식 맛', '세련된 분위기를 보강하는데 노력을 하여야하며 보완 수정이 시급한 것으로 나타났다. 그리고 '배경음악', '색다른 음식'은 참가자가 관심을 두지 않는 부분으로 나타났고 서비스과잉은 계산서비스, 환송 서비스로 나타났으므로 이에 따른 수정보완이 필요 시 된다.
디자인 패턴은 새롭게 만들어 지는 것이 아니라 기존의 검증된 지식, 관용법, 원칙들을 체계화한 것이다. 다시 말하면 디자인 패턴은 특정한 문제를 해결하기 위한, 검증된 설계 방법에 이름을 붙인 것이다. 그러므로 적절한 디자인 패턴 사용은 1) 개발자들간의 원활한 의사소통에 도움을 주며, 2) 하급자가 고급기술을 쉽게 익힐 수 있도록 할 수 있다. 3) 또한 사용된 디자인이나 아키텍처를 재사용할 수 있도록 하고, 4) 만들어진 시스템의 유지 보수를 보다 쉽게 할 수 있는 등의 장점을 얻을 수 있다. 반면에 필요하지 않은 곳에 까지 디자인패턴을 사용하게 되면 소프트웨어를 복잡하고, 유지보수도 어렵게 만들 수 있다. 디자인 패턴의 분류는 수 많은 패턴을 비슷한 속성을 지닌 그룹들로 조직화 하는 것이다. 이는 개발자가 특정 문제에 맞는 디자인 패턴을 쉽게 선택 할 수 있도록 도와 줄 뿐만 아니라, 디자인 패턴의 주요특성을 빠르게 이해하고 간파 할 수 있게 한다. 그래서 Beck 이 디자인패턴을 소개한 이후 GoF, Buschmann, Grand, Antoy 등은 디자인 패턴을 단순히 열거를 통해 소개하지 않고, 각자의 기준에 따라 체계적으로 분류하여 패턴을 설명 하고 있다. 본 연구는 객체지향 설계의 근본 개념인 Polymorphism (Inclusion Polymorphism) 과 '객체 지향 소프트웨어 설계 원칙' 그리고 이 근본 원칙들이 UML 클래스 다이어그램에 나타나는 구조적 특정에 의거해 디자인 패 턴 해석을 수행 하였다. 본 연구의 목적은 1) 객체지향의 근본 원칙으로 표현 되는 패턴과 2) 설계자의 전문적 인 Art를 포함하고 있는 패턴으로 분류하는데 있다.3: 재미는 용이성을 통해 채택의도에 정의 영향을 미친다. 가설4: 유용성은 채택의도에 정의 영향을 미친다. 가설5: 용이성은 채택의도에 정의 영향을 미친다. 가설6: 용이성은 유용성에 정의 영향을 미친다. 본 연구의 대상은 자발적으로 이러닝을 채택할 수 있는 대학생을 대상으로 하였고, 설문 데이터 분석을 통한 실증연구를 수행하였다. 분석방법으로는 PLS 분석도구를 사용하였다. 분석결과 가설6을 제외하고는 모두 유용한 것으로 입증되었다.97)은 배움의 용이성, 기억의 용이성, 오류, 효율성, 만족성으로 분류하고 있고(Nielsen, 1997), Shneiderman(1998)는 효과성(직무시간, 배움의 시간), 효율성(기억의 지속시간, 오류), 만족도를 품질의 특성으로 분류하였다. 이와 같은 소프트웨어의 품질은 소프트웨어 계획, 개발, 성장과 쇠퇴의 모든 과정에 적용되며, 환경적 변화에 따라 사용자들의 정보욕구를 적절하게 반영하여 만족도를 높이 는 것이라고 요약할 수 있다. 그러나 현재까지 소프트웨어 품질 평가에 대한 연구들 은 보편적인 평가 항목들을 대상으로 측정하여 일반적인 품질기준을 제시하고 있고, 유사한 측정 내용들이 중복되어 있다. 이러한 경향은 산업별 특수성이 강한 소프트웨어에 대해서는 정확한 품질측정이 어려웠고, 품질측정에 대한 신뢰성을 떨어뜨리는 계기가 되었다. 이러한 한계를 극복하고자 나타난 방법론이 최종사용자들의 요구사항을 얼마나 적절하게 시스템에 반영했는지에 대한 사용성(Usability) 측정이다. 사용성에 대한 정의는 사용자들이 실질적으로 일하는 장소에서 직접 사용자들의 시스템 운용실태를 파악하여 문제점을 개선하는 것으로 요약할 수 있다. ISO9124-1
본 연구에서는 음식점 위생등급제의 인식도를 조사하여 위생등급제 활성화 방안을 마련하고자 성인남녀 총 315명을 대상으로 설문조사를 실시한 결과는 다음과 같다. 조사대상자의 성별은 남자가 43.8%, 여자가 56.2%였고, 가족과 동거하는 경우가 73.3%, 1인 가구가 26.7%였다. 조사대상자중 주 1회 이상 외식하는 경우는 전체의 84.5%였으며, 외식 시간대는 '주말저녁' (66.8%)이 가장 많았다. 또한 가장 선호하는 외식업소 유형은 '한식당' (37.5%), '배달음식점' (14.6%), '양식당' (8.9%) 순이었고, '인터넷 검색' (54.0%)을 통해 외식업소 정보를 얻는 경우가 가장 많았다. 그리고 1인 1회 평균 외식비용은 15,483원이었고, 외식에 대한 전체적인 만족도는 평균 3.58점/5점이었다. 음식점 선택속성에 대한 중요도-만족도 분석 결과 우선적으로 개선이 필요한 항목은 '음식의 적정 가격'과 '화장실의 청결'이었다. 또한 음식점 위생등급제를 알고 있는 경우는 전체의 30.5%였고, 향후 위생등급제 인증 음식점 이용 의향은 5점 척도로 평가한 결과 평균 4.02점이었으며, 인증업체 음식에 대한 추가 지불 의향이 있는 경우는 전체의 56.8%였고, 추가로 지불하겠다는 가격은 음식가격의 6.02%였다. 따라서 음식점 위생등급제의 빠른 정착을 위해서는 고객 대상 교육·홍보, 업체 전 직원의 개선 노력과 함께 인증업체에 대한 정부기관의 정책적 지원이 필요하다고 생각된다.
본 연구에서는 심리적 측정방법의 한계점을 보완할 수 있는 효과적인 감성 측정방법의 일환으로 감성어휘 로깅 소프트웨어 'VideoTAME'을 개발하여 제품을 사용하는 도중에 표출되는 사용자의 감성변화를 측정하였다. 이를 통해 제품의 사용성이 사용자의 감성에 어떤 영향을 미치는 지에 대하여 밝혀내는 것이 본 연구의 궁극적인 목적이라 할 수 있다. 본 연구에서는 실험실에서 피실험자 30명을 대상으로 그들이 휴대폰을 가지고 일련의 태스크를 수행한 장면을 녹화한 동영상을 'VideoTAME'을 통해 재생해 보면서 자신의 감성변화를 평가하게 하였다. 실험 분석 결과, 사용성에 문제가 있어서 수행하기 어려운 태스크에서는 '불편성'과 같은 부정적 감성이 많이 표출되었고, 아직 그 근거가 다소 미약하기는 하지만 사용성에 문제가 없어서 수행하기 쉬운 태스크에서는 '사용적 만족성'과 같은 긍정적 감성이 많이 표출되었다. 또한 제품 사용 중 사용자의 감성변화가 태스크의 전체적인 속성 보다는 각 태스크를 수행하는 시점에서의 상황에 의해 유발된다는 것을 발견할 수 있었다. 향후 개발한 'VideoTAME'을 활용하여 보다 많은 실험데이터의 수집과 분석을 통해 제품의 사용성이 사용자의 감성에 어떤 영향을 미치는 지에 대하여 보다 더 명확하게 밝혀낼 수 있으리라 기대한다.
대전시 쪽방밀집지역의 주거환경 문제점 및 주거환경이 주민들의 사회적 배제에 미치는 영향을 알아보기 위해 GIS(지리정보시스템)기반 커뮤니티매핑 및 주민 대상의 설문조사를 실시하였다. 지역주민들의 지리정보 및 기타 속성을 지도화한 결과, 여성과 고령자가 중심지역에 밀집하는 현상이 나타났으며 2009년과 2016년의 자료비교를 통해 빈곤밀집지역이 다소 분산되는 경향을 살펴볼 수 있었다. 또한 이 지역의 실내외 모습을 담은 252장의 사진을 대상으로 의미단위별 유목화, 범주화 작업을 실시, 주거환경문제를 미관-위생, 협소-주택기능미비, 안전-사생활노출, 낙인의 4가지 범주로 분류하였다. 사진자료를 통한 커뮤니티매핑실시 결과 이 지역이 4곳의 구역으로 구분되며 주택형태, 주거형성의 역사, 비빈곤지역과의 접촉면, 폐쇄와 개방 등의 특징으로 주거문제가 달라진다는 점을 발견하였다. 또 주민대상 설문조사를 실시, 구역별로 일자리참가여부, 이웃만족도, 낙인, 사회적 배제에 의미있는 차이가 있음을 발견하였다. 마지막으로 회귀분석 결과, 주거만족도가 사회적 배제에 가장 큰 요인임이 드러났다. GIS기반의 본 연구를 통해 향후 이 지역에 대한 주거환경 개선에 있어서 구체적 접근과 문제별 대응이 이루어질 것을 제언하는 바이다.
전통된장으로부터 분리한 Bacillus subtilis DJI은 다른 Bacillus 속에 비해 균체 생육이 빠르게 진행되어 9시간 만에 생육이 최대값에 이른다. 그 이후 사멸기에 접어들면서 자기소화에 의해 급격한 세포파쇄가 이루어져 포자가 세포외로 방출됨과 동시에 다량의 단백분해효소가 세포 밖으로 방출된다. 이러한 B. subtilis DJI 특유의 생육특징을 이용하여 세균형 코지와 된장을 제조(DJI 된장)하였으며, 제조된장의 숙성 60일 이후 일반성분을 분석한 결과 아미노태 질소 507 mg%, 조단백 14.3%, 조지방 4.8%로 식품공전상의 된장규격에 만족하였다. 또한 단백질 구성아미노산과 유리아미노산의 함량을 분석한 결과 유리아미노산의 총 함량이 숙성 30일에는 299.255 mg%에서 60일 이후에는 547.784 mg%로 증가함을 확인할 수 있었다. DJI 된장과 6종의 가정식 된장의 혈전용해능을 비교한 결과 DJI 된장은 909.7 units/ml, 재래된장은 $363.3{\sim}618.6\;units/ml$로 나타내었다. DJI 된장은 관능적으로도 쿰쿰한 냄새가 거의 없고 구수한 된장향이 났으며, GC/MS를 통한 DJI 된장의 향기성분을 분석한 결과에서도 재래된장 특유의 쿰쿰한 냄새의 원인물질 (3-methyl-1-butanol, 1-octen-3-ol, butanoic acid)은 적은양 검출된 반면 재래된장 고유의 맛과 향의 원인물질 (benzaldehyde, 2-furancarboxaldehyde, hexadecanoic acid)은 일정량 이상 검출되었다. 현재 식품공전상 된장은 대두나 곡물에 종국을 섞어 제국하여 발효 숙성시키거나, 메주를 식염수에 담가 발효하여 여액분리 후 이를 가공한 것으로 정의하고 있다. 즉 현재까지 된장은 주로 곰팡이의 단백분해효소에 의한 발효, 숙성물이었으나 본 연구에서는 B. subtilis DJI의 특이한 생육특성에 의하여 이를 사용한 새로운 개념의 세균형 코지제조와 이를 활용하여 재래된장 고유의 구수한 풍미를 지닌 맛있는 된장제조가 2개월 안에 제조 가능함을 나타내었다.
1. 연구배경과 문제제기 - 보험시장의 환경변화 : 보험업법 개정, 방카슈랑스 도입, 고(高)보장성 생존급부(CI, LTC)상품의 등장, 통신판매 전문보험회사의 설립 허용 - 현행 언더라이팅 시스템의 문제점 : 위험난이도와 판매 채널별 특성이 고려되지 않고 언더라이터에 전건 배정 되어 업무의 효율성이 낮음 - 보험시장의 환경변화에 맞는 EUS(Expert Underwriting System) 도입으로 언더라이팅의 효율성을 증대하고자함 2. 국내/외 생보사 언더라이팅 시스템 현황 비교 및 개선방안 - 국내 언더라이팅 시스템 현황 : 청약서 입력/스캔 후 진단 및 적부 유무(有無)에 따라 자동으로 언더라이터에게 심사가 배정됨 - 미국 언더라이팅 시스템 현황 : EUS에 의한 1차 전산승낙여부 결정 후(後)언더라이터에게 심사가 배정됨 - 위험난이도의 고저(高低)와 관계없이 언더라이터에 배정되는 심사시스템의 문제점을 극복하고 체계적인 위험평가를 위해 EUS도입이 필요함 3. EUS 선행요건 - 고객정보의 확보 - 국내 생보사의 고객정보 수집원 : 청약서, 모집인 보고서, 건강진단서,적부조사, 보험사고정보조회시스템 (ICPS), 고액보험 및 상해보험 중복가입자에 대한 정보 교환제도 - 북미 생보사의 고객정보 수집원 : 청약서, 모집인 보고서, 의사소견서 및 진료기록서, 건강검진, 적부조사, 정보교환제도( 북미보험사간 의료정보 공유-MIB) - 정확한 고객정보의 확보방안 : 법률/제도의 정비, 청약서 질문 내용의 세분화, 의료정보교환제도의 구축 4. EUS 개요 및 현황 - EUS의 정의: 고객의 정보를 입력하여 청약부터 보험증권 발행 단계까지 One-Stop 서비스를 제공하는 것으로 언더라이터가 청약서를 가지고 언더라이팅 하는 것과 동일한 업무를 할 수 있는 전문가 시스템 - EUS의 장점: (1) 비용절감 및 인력의 효율적 활용 (2) 업무별 시스템화 되는 조직속성에 적합함. (3) 언더라이팅 정책이 경영 환경 변화에 대처하는데 신속함 - 국외 EUS 현황 (예: Cologne Re) 및 사례연구 5. 위험분류 및 EUS 개요현황 (언더라이팅 시스템 도입) - 위험관리 선행요건으로 위험요소별 분류가 체계적으로 수립되어야 함. - 데이터웨어하우스 (의사결정을 목적으로 설계된 조회와 분석이 가능한 통합된 정보저장소) 시스템 사용 - EUS 도입을 통한 언더라이팅 프로세스: 데이터마이닝 과정을 통해 "자동승낙, 언더라이터에게 심사배정, 적부의뢰, 진단의뢰, 텔레 언더라이터, 보완지시"등이 결정됨. 6. 판매채널별 EUS 활용방안 - 대면채널: 효용성 높은 정보제공과 정확한 위험분석이 가능한 시스템으로 고(高)보장, 고(高)위험 상품에 대해 언더라이터가 집중 심사 할 수 있게 함. - 방카슈랑스: 3S(간결, 신속, 서비스)의 특성에 맞는 전과정 무인자동심사시스템 - 비대면채널: 판매상품과 타겟시장을 명확히 한 후 도덕적 위험과 재무적 위험에 대한 평가시스템 및 의사결정 시스템을 도입 7. 결론 - EUS 도입의 기대효과 (1) 심사기일의 단축으로 고객만족 실현 (2) 체계적 과학적 리스크 관리로 위험률차익 증대에 기여 (3) 업무효율의 증대와 언더라이터의 역량강화 (4) CRM 활용증대와 모바일 청약시스템 구축의 근간 - EUS 도입시 경제적 법률적 제도적 문제 극복과 생보 업계 공동의 관심과 노력이 필요함 - EUS를 활용하여 종합적.체계적 리스크 관리가 가능한 금융회사로의 경쟁력 향상에 기여함.
RFID 시스템은 리더와 태그간의 무선 통신 구간이 존재한다. 이 부분은 항상 보안 취약성으로 공격자의 목표가 되며 기밀누설, 프라이버시침해등 보안적인 문제가 발생한다. 이와 관련하여 기존에 여러 가지의 프로토콜이 제안된 바 있으나 구현이 까다로워 대부분 이론적 정리증명의 수준에서 머물러 보안 프로토콜의 안정성이 정확히 증명되지 못했다. 따라서 본 논문에서는 특히 기존에 제안된 Kenji et al. 의 프로토콜이 보안 속성을 만족하는지 검사하고 ID 및 메시지의 노출 등 취약성을 확인하였다. 이 문제의 해결책으로 공개키 및 난수를 줄여 개선한 RFID 보안 프로토콜을 제안한다. 주요 특징으로는 불필요한 계산을 없애고 보안상으로 취약성이 없도록 구성했다. 안전한 프로토콜을 개발 및 검증하기 위해 Casper 및 FDR(Failure Divergence Refinements) 도구를 이용하여 확인하고 제안한 프로토콜이 보안상으로 안전함을 확인했다. 아울러 본 연구의 학술적 기여는 다음과 같이 요약된다. 첫째 정리증명에서 벗어나 모델 체킹으로 보안성을 검증하였다. 둘째 FDR 검증으로 프로토콜의 개발을 좀 더 효과적으로 할 수 있는 방법을 제시하였다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.