• 정보교육학회논문지
• /
• 제3권1호
• /
• pp.143-152
• /
• 1999

컴퓨터 관련 교육에 있어서 실험과 실습은 교육 내용의 효과적인 전달과 교육의 목적 달성을 위하여 대단히 중요한 부분이다. 현재의 환경에서 소프트웨어의 실험과 실습을 위해서는 실습하고자 하는 프로그램을 실습자가 사용하는 컴퓨터에 모두 설치하여야 한다. 실습 프로그램을 개별적으로 갖추는 것은 설치에 대한 부담, 설치에 의한 자원 낭비, 업그레이드의 필요성등으로 인해서 실습 자체와는 직접적인 관련이 없는 부분에 대한 부담이 커진다. 본 논문에서는 WWW 환경에서 컴퓨터 관련 교과를 실습할 수 있는 환경을 구축하기 위한 기본적인 모델을 제시하는데 그 목적이 있다. 제안된 모델은 클라이언트-서버 구조를 기반으로 하여 구축되었으며, 실습자는 웹 브라우저를 실행함으로써 실습에 대한 준비가 끝나며, 프로그램의 실행이나 처리는 서버에서 모두 이루어진다. 또한 WWW에서 제공하는 하이퍼링크 기능을 이용하여 실습에 관련된 사항이나 정보를 실습 환경 속에 포함할 수 있어 실습을 위한 통합된 환경을 제공한다. 제안된 모델의 유용성을 검증하기 위하여 본 논문에서는 다양한 프로그래밍 언어를 실습하기 위한 시스템, UNIX 운영체제 실습 시스템, 오라클 데이타베이스 실습 시스템을 제안된 모델을 이용하여 구현하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.1233-1236
• /
• 2004

보안 시스템에서 접근 통제 모델을 사용하는 가장 중요한 목적은 시스템 및 사용자에 대한 안정성을 보장하기 위해서이다. 본 논문에서 다루고 있는, SPR은 보안 시스템의 행위를 유한 상태 기계(FSM) 기반의 보안모델로 표현한 후, 보안 모델에 대한 초기 상태의 안전성을 검사하고 초기 상태에서 다음 상태로 전이가 존재할 경우에 그 상태들에 대응하는 모든 상태들에 대해서 보안기준을 만족하는지 검증하는 도구이다. 본 논문에서는 SPR를 사용하여 현재 많은 사람들이 이용하는 Windows 운영 체제의 NTFS에 기반을 둔 보안모델의 안전성을 검증하는 방법을 소개한다

• 융합보안논문지
• /
• 제20권4호
• /
• pp.91-101
• /
• 2020

과거 해외에서 발생한 APT 공격사례를 사이버 킬체인 모델과 TTP 모델로 분석하였다. 분석 결과 사이버 킬체인 모델은 전체적인 윤곽을 파악하는데 효과적이지만 구체적인 방어 전략을 수립하는 데에는 부적합하며, TTP 모델로 분석해야만 실질적인 방어 체제를 구비하는데 적합함을 알 수 있었다. 이러한 분석 결과를 바탕으로 사이버 공격을 대비하는 관점에서 심층 방어선 구축에 적합한 TTP 모델 관점에서 방어 기술 개발이 필요함을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.593-596
• /
• 2008

최근에는 임베디드 시스템의 규모가 점차 커지고, 시스템이 노드단위로 분산되어 협업을 통한 작업을 하는 경향이 많아져, 시스템 디자인에 객체지향적인 패러다임이 필요하게 되었다. TMO 모델은 90년대초반부터 U.C Irvine의 Kane.Kim 등에 의해 연구되고 있는 실시간 객체모델이다. TMO 모델은 SvM과 SpM의 두가지 메소드 타입으로 실시간 클럭에 의한 수행이나, 이벤트 발생에 의한 메소드 수행을 지원함으로써 분산 실시간 시스템의 설계를 용이하게 해준다. 본 논문에서는 적은 용량의 실시간 운영체제인 MicroC/OS-II에 TMO 모델의 적용 방안을 제안한다.

• 한국기술혁신학회:학술대회논문집
• /
• 한국기술혁신학회 2017년도 추계학술대회 논문집
• /
• pp.749-749
• /
• 2017

최근 들어 사회문제 해결형 과학기술혁신 활동이 활성화되고 있다. 과학기술정보통신부에서 추진하는 국민생활연구사업, 그리고 혁신본부에서 기획하고 있는 사회문제 해결을 위한 다부처 공동 기획사업 등이 추진되고 있다. 사회문제 해결형 과학기술혁신은 사회문제 해결을 최우선 목표로 삼고 있기 때문에 수월한 과학기술지식의 창출, 산업경쟁력 강화를 위한 혁신과는 목표와 추진체제가 다르다. 사회문제 해결형 과학기술혁신은 사회혁신과 과학기술을 결합하는 활동이라고 할 수 있다. 이렇게 새로운 유형의 혁신활동이 등장하면서 이를 바라보는 다양한 관점이 존재하고 있다. 본 발표에서는 각 논의들을 정리하고 향후 사회문제 해결형 과학기술혁신의 발전방향을 제시한다. 여기서는 크게 3가지 분류로 사회문제 해결형 혁신을 보는 관점을 정리한다. 첫 번째는 전문가 중심의 관점(Innovation for people)이다. 이는 전문가가 분석과 논의를 통해 사회문제를 정의하고 그 대안을 제시하는 접근이다. 많은 과학기술전문가들이 가지고 있는 틀로서 선형모델에 입각한 논의이다. 때문에 혁신의 선형모델이 가지고 있는 문제점, 피드백의 부족, 현장에 대한 이해 부족 등과 같은 단점이 있다. 두 번째는 시민사회 중심의 관점(Innovation by people)이다. 이는 현장의 문제 상황에 있는 시민들이 문제를 정의하고 혁신활동을 주도해야 한다는 관점이다. 이 관점은 일반 시민을 과학기술혁신의 주체로 호명하고 실질적인 문제 해결에 참여시키면서 주류 과학기술의 미흡한 현장 지역 지향성을 비판하고 있다. 그러나 혁신의 논의가 지역에 한정되면서 규모 확대의 어려움을 겪는 경우가 많다. 장기 지속성을 확보하는 데에도 난점이 있다. 세 번째는 전문가와 시민의 협업 관점(Innovation with people)이다. 이는 시민성과 전문성의 결합을 통해 민주주의를 고양하고, 현장 지식과 전문 지식의 융합을 지향하는 접근이다. 또 리빙랩과 같은 추진 체제를 적극적으로 활용한다. 그러나 전문가와 시민사회의 협업을 지원하는 인프라와 지원체제가 부족하면 여러 문제점이 발생할 수 있다. 본 연구에서는 이런 관점들의 한계를 극복하기 위해서 국지적 문제해결과 국가적 문제 해결의 연계, 실험의 중요성 강조, 전문가와 최종 사용자 및 시민의 실질적 협업을 위한 기반 구축, 시스템 전환 프레임의 도입을 정책 방향으로 제시했다.

• 한국통신학회논문지
• /
• 제29권1B호
• /
• pp.41-51
• /
• 2004

OBS (Optical Burst Switching) 네트워크에 관한 연구가 최근 활발히 진행되고 있으나 OBS 네트워크 운용에 필수적인 OAM (Operation md Maintenance)에 대한 연구는 아직 다루어지고 있지 않다. 본 논문에서는 다섯가지 OBS 기능들, 즉 BT (Burst Termination), BTX (Burst Transmission), BSW (Burst Switching), RSC(Routing and Switching Control), 그리고 PAR (Protection and Restoration)을 정의하였고, 이 기능적 모델에 근거하여 네트워크 운용 요구 조건들을 만족시키기 위한 OAM 아키텍처를 설계하였다. 또한, OAM 수행에 필요한 OAM 동작들의 정의와 OAM이 가능한 ingress 에지, 코어, egress 에지 노드들의 구조, 그리고 OAM 정보 및 통신 모델과 프로토콜 등과 같은 OAM 구현을 위한 기본 체제를 제안하였다. 그리고, 제안된 OAM 아키텍처를 이용하여 OBS 네트워크에서 발생 가능한 여러 가지 장애들에 대한 OAM을 정리하였다.

• 인터넷정보학회논문지
• /
• 제17권1호
• /
• pp.91-99
• /
• 2016

안드로이드 운영체제의 보안체계는 샌드박스와 권한모델을 적용하고 있다. 특히 권한모델은 설치시점 확인과 all-or-nothing 정책을 운영하고 있기 때문에 안드로이드는 앱을 설치할 때 필요한 권한에 대해 사용자 동의를 요구하고 있다. 하지만 안드로이드 권한에 대한 사용자의 인식은 부족한 상황이다. 따라서 본 논문에서는 실제 모바일 앱을 대상으로 권한요구 실태를 조사하고 금융회사를 중심으로 모바일 서비스 제공자가 모바일 앱의 최소권한 정책에 위배되는 사항을 자체점검하고자 할 때 활용가능한 중점 점검항목과 방법을 제시하고 그 유용성에 대해 알아보고자 한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권1호
• /
• pp.53-59
• /
• 2008

무선 센서 네트워크의 발달에 따라 그 응용분야는 점점 더 복잡해져 가고 있음에도 불구하고, 대부분의 센서 노드 플랫폼은 여전히 심각한 자원 제약을 가지고 있다. 특히 적은 메모리 공간과 메모리 관리 유닛(MMU)의 부재는 스레드의 스택 관리에 있어 메모리 공간 낭비, 스택 오버플로우와 같은 문제를 야기해왔다. 이에 다 수의 스레드가 하나의 스택을 공유 함으로써 기존의 고정 크기 스택에 의해 낭비되는 메모리의 양을 최소화 시킬 수 있는 공유 스택 기법이 제안되었다. 본 논문에서는, 고정 크기 스택기법과 공유 스택 기법의 수학적 분석 모델을 제시하였다. 그 모델을 바탕으로 각각의 스택 오버플로우 확률을 계산하고 공유 스택 기법이 고정 크기 스택보다 더 안정적임을 확인하였다.

• 한국기술혁신학회:학술대회논문집
• /
• 한국기술혁신학회 2015년도 추계학술대회 논문집
• /
• pp.789-797
• /
• 2015

한국의 출연(연)은 과학기술 기반 창조경제 실현을 위한 선도적 탈추격 R&D 주체로서의 출연(연)의 역할모델 재정립을 요구받고 있으며, 이는 자율과 책무에 기반한 지속가능한 R&D 체제로의 패러다임 전환을 수반한다. 본 연구는 공공연구기관의 자율성을 정의하고, 자율성을 구성하는 요인을 기관장 선임 및 거버넌스, 연구전략 및 목표관리, 예산, 인력, 그리고 평가로 구분하고, Autonomy Regime on Wheel (ARoW) 모델을 통하여 제시하였다. 자율성을 구성하는 각 요인에 대한 핵심 질의를 정의하고, 한국과 선진공공연구기관의 현황을 파악하여 벤치마킹 분석을 수행하였다. 분석 대상 선진 공공연구기관은 독일, 영국, 미국의 기관들로 선정하였으며, 특히 연구회 구조의 유사성 및 각 연구회 간 연구분야 및 임무의 균형이 조화롭게 유지되고 있는 독일의 4대 연구회를 중심으로 연구를 진행하였다. 연구를 위하여 분석대상 기관의 홈페이지를 포함한 국내?외 문헌조사 및 독일, 영국, 미국의 현지조사 과정을 거쳤으며, 이와 함께 국내?외 관련 전문가들에 대한 인터뷰를 진행하였다. 한국 및 선진 공공연구기관의 자율성 현황을 분석한 결과, 자율성을 구성하는 요인들에 대하여 전반적으로 한국의 실질적 자율성이 상대적으로 약한 것으로 나타났다. 본 연구는 공공연구기관의 자율성을 정의 및 분석한 최초의 학술적 연구로서, 향후 자율과 책무에 기반한 지속가능한 출연(연) 발전을 위한 전략 수립에 기반자료로 활용이 가능하다는 점에 그 의의가 존재한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권11호
• /
• pp.1056-1060
• /
• 2010

항공 시스템에 사용되는 소프트웨어는 높은 신뢰성과 생산성이 요구된다. 이와 같은 요구로 인하여 IMA(Integrated Modular Avionics)의 파티션 OS 개념을 가진 ARINC 653 같은 항공 시스템 운영체제와 응용프로그램 간 인터페이스를 정의한 표준이 등장하였다. ARINC 653을 사용한 운영체제나 유인 항공기의 예는 많다. 하지만 아직까지 무인 항공기를 위한 리녹스 기반의 ARINC 653은 연구된 바 없다. 리녹스는 항공 ARINC 653의 요구사항을 충분히 충족시킬 수 있는 잠재력을 가지고 있다. 본 논문에서는 리녹스 기반의 ARINC 653 프로세스 모델을 위한 설계를 제안하고 초기 버전을 구현한다. 구현된 결과물을 통해 제시된 리녹스 기반 ARINC 653이 무인 항공기에 충분히 활용 가능함을 보인다.