최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
Lee, Seung-Youl; Son, Eunjung; Kang, Jin-Young; Lee, Hee-Seok; Shin, Min-Ki; Nam, Hye-Seon; Kim, Sang-Yub; Jang, Young-Mi; Rhee, Gyu-Seek
2013 / BULLETIN OF THE KOREAN CHEMICAL SOCIETY
Huilyung Koo
2021 / Journal of Educational Evaluation for Health Professions
데이터가 존재하지 않습니다.
loading...
본 연구는 시큐어 코딩룰 선정평가 모형을 전자정부 웹서비스에 적용하여 효과를 검증하고, 국내 시큐어 코딩룰에 대한 재평가를 통해 정부 지침의 가중치 중요도를 확인하였다. 이를 통해 시스템 특성에 최적화된 시큐어 코딩룰 선정 및 활용이 가능하도록 하였다.
소프트웨어 보안 평가
정보 시스템 보안성 평가 체계에 관한 연구 =
웹 모의해킹 및 시큐어코딩 진단가이드 =
모바일 서비스용 GML 엔코딩 및 응용스키마 표준 개발 =
Pattern and security requirements : engineering-based establishment of security standards
안전한 웹을 위한 코딩 한줄의 정석 : 웹 어플리케이션 취약성을 제거하라
Nmap NSE를 활용한 보안 취약점 진단 : 엔맵 스크립팅 엔진으로 하는 네트워크와 웹서비스 보안 분석
Formal models and techniques for analyzing security protocols
교육용 소프트웨어 심의 기준 개발연구 : 컴퓨터 보조 수업 프로그램 기준을 중심으로
Architecting secure software systems
위험규제(risk regulation)에 관한 연구 : 위험평가제도의 법정화를 중심으로
Cyber-risk informatics : engineering evaluation with data science
고 신뢰성 내장형 소프트웨어 오류 자동 검증 기술 =
(전자정부 SW 개발·운영자를 위한) 소프트웨어 개발보안 가이드
Cyber Security, Cryptology, and Machine Learning : 6th International Symposium, CSCML 2022, Be'er Sheva, Israel, June 30 – July 1, 2022, Proceedings
Networking security and standards
차세대 네트워크 보안 구조 및 요구사항 표준 개발 =
교육용 소프트웨어 심의 기준 개발연구 : 컴퓨터 보조 수업 프로그램 심의 기준을 중심으로 =
소프트웨어 제품평가에서 소프트웨어 품질 특성 및 그의 사용을 위한 표준(안) =
Resilience assessment and evaluation of computing systems
보안공학연구논문지
최준성; 국광호보안공학연구논문지
최준성, 김우제, 박원형, 국광호보안공학연구논문지
최준성; 김우제; 박원형; 국광호보안공학연구논문지
최준성, 국광호보안공학연구논문지
최준성; 국광호보안공학연구논문지
최준성, 국광호보안공학연구논문지
최준성; 국광호한국통신학회논문지C
최준성, 김우제, 박원형, 국광호한국통신학회논문지C
최준성; 김우제; 박원형; 국광호보안공학연구논문지
최준성, 박상현, 이정민, 국광호정보보호학회논문지
안준선, 방지호, 이은영정보보호학회논문지
안준선; 창병모; 이은영보안공학연구논문지
최준성; 박상현; 이정민; 국광호정보보호학회논문지
한경숙, 김태환, 한기영, 임재명, 표창우보안공학연구논문지
최준성, 국광호디지털융복합연구
김형주; 강정호; 김경훈; 이재승; 전문석멀티미디어학회논문지
손윤식, 오세만한국컴퓨터정보학회논문지
신성윤; 정길현Journal of the Indian Society for Probability and Statistics
Anand, Adarsh; Bhatt, Navneet보안공학연구논문지
최재규, 노봉남전선 / 학사
이 강의는 크게 두 부분으로 나뉜다: 기계화된 수학과 소프트웨어 검증. 첫 번째 부분에서는 컴퓨터의 도움을 받아 수학을 오류 없이 수행하는 방법을 소개한다. 특히, Coq 증명 보조 도구의 이론과 응용에 대해 배운다. 이 도구는 수학적 정의, 정리 및 증명을 엄밀하게 작성할 수 있게 해주며, 이후에 자동 증명 검사를 수행하여 그 증명의 올바름을 보장한다. 이 강의의 두 번째 부분에서는 소프트웨어 명세를 표현하는 방법, 그리고 작성된 프로그램이 주어진 명세대로 오류 없이 동작함을 엄밀하게 검증하는 방법을 소개한다. 구체적으로, Coq 내에서 Hoare 논리라고 불리는 프로그램 논리를 구현하고, 이를 사용하여 다양한 프로그램을 엄밀하게 검증한다.전선 / 대학원
이 과목의 목표는 정책수단의 선택과 그 선택의 결과에 관한 연구능력을 개발하는 것이다. 현대 정부가 활용하는 정책수단은 급격하게 변화하고 있으며 이러한 변화를 이해하고 전문적 조언을 제시할 수 있는 지식에 대한 요구가 증가하고 있다. 초점은 정책수단선택에 관한 실증적 인과지식을 탐구하는 것과 더불어 정책수단의 효과적 설계와 관리를 위해 필요한 실무적 지식을 모색하는데 두어진다. 이 과목의 구체적 내용은 개별 정책수단의 특성, 효과, 선택과정에 관한 국내외 연구문헌의 심층적 검토와 국내외 사례에 관한 토론으로 이루어진다. 정책수단별 전문성이 요구되므로 각 정책수단의 전문연구자인 여러 교수가 공동 강의하는 것을 원칙으로 한다.교양 / 학사
인터넷에서의 보안과 프라이버시는 점점 더 중요해지고 있다. 이공계생들 뿐만 아니라 모든 전공의 학부생들도 인터넷 서비스를 사용함에 있어서 어떤 보안 사항들이 이슈가 되고 어떤 프라이버시가 노출되는 위협이 있는지 기본 원리와 대처 방안들을 이해하는 것은 필수적이라 할 수 있다. 본 강의는 모든 전공의 학생들이 들을 수 있도록 쉽게 구성될 것이다. 본 교과목은 크게 보안과 프라이버시 두 개의 영역으로 구성된다. 보안 분야에서는 보안의 기본 성질 및 개념, 암호화/복호화의 기초, 인증, 보안 장비, 웹의 보안 위협들을 설명한다. 프라이버시 분야에서는 개인 민감정보들을 소셜네트워크에서 어떻게 유출이 가능한지 설명하고, 또한 법적으로 프라이버시가 어떻게 정의되고 어떤 이슈가 있는지 다룬다. 또한 Tor등 익명화 기법을 포함한 프라이버시 강화 기법들을 설명한다. 끝으로 암호화폐와 디지털 포렌식을 다룬다.전선 / 대학원
본 과목은 정보보호법제의 전반을 학습하는 것을 목표로 한다. 검토 범위는 개인정보 보호법, 신용정보법, 위치정보법 등 주요 정보보호 법제상 개인정보의 보호와 활용, 가명처리 등 적법근거, 프라이버시 향상 기술, 개인정보주체의 권리, 데이터 이동권, 자동화 평가, 사법협조, 정보보안, 침해사고의 대응, 국외이전을 포괄한다.전선 / 대학원
차세대 (환경친화적, 정보집약적, 대량맞춤형) 제품 및 서비스의 경쟁력 제고를 목표로, 제품개발 과정에서의 각종 의사결정을 합리화하고, 제품의 기능, 구조 및 원가 측면에서의 설계최적화를 꾀하며, 이들을 지원하기 위한 효과적 정보시스템을 구축하는 측면에서의 각종 연구논제를 다룬다.전선 / 대학원
이 강좌는 석·박사 학위 논문 작성 등 교육연구에 필요한 통계적 분석에 대한 개념과 이론에 대한 폭넓은 이해를 돕고, 실제 교육연구에서 통계적 기법들을 적절히 활용할 수 있도록 하기 위한 것이다. 이를 위해 교육관련 각종 연구 자료의 특성(예: 다층 자료, 유목 자료, 연속 자료 등)에 적절한 통계적 기법들에 대한 소개와 함께 관련 컴퓨터 프로그램을 활용하여 실제로 분석할 수 있도록 하기 위한 것이다. 아울러 수강생들은 관심 있는 교육관련 자료를 분석하고 그 결과를 수업시간에 보고하는 기회를 가지게 될 것이다.논문 / 대학원
대학원논문연구전선 / 대학원
정보통신 분야의 기술, 산업, 시장의 변화 동인을 이해하고 이에 따른 공공의 역할과 정부 정책의 변화 방향을 분석한다. 빠르게 진화하고 있는 정보·콘텐트, 유통플랫폼, 소셜미디어, 스마트 공간과 모빌리티, 클라우드 컴퓨팅, 사물인터넷, 빅데이터, 인공지능의 확산에 따른 국내외 거대 사업자의 등장과 알고리즘의 윤리성 등을 학습하고, 글로벌 경쟁환경에서 한국기업의 경쟁력과 정부 정책과 제도의 정립에 관하여 토의한다.전선 / 대학원
해당과목은 공학분야에서 중요한 통계적 데이터 처리, 통계적 공학해석, 통계기반 공학설계 이슈들을 다룬다. 통계적 데이터 처리에서는 공학통계, 통계적 데이터 처리의 정성적, 정량적 접근법과 베이지안 통계학을 배운다. 통계적 공학해석은 신뢰성함수, 위험도함수, 가속수명시험, 불확실성 해석, 신뢰성해석, 건전성 진단 및 예지기술을 배운다. 통계기반 설계에서는 통계기반 민감도 해석, 반응함수법, 신뢰성기반 최적설계를 다룬다. 끝으로 공학시스템의 건전성 모니터링기술을 간단히 다룬다.전선 / 대학원
건설 사업을 수행함에 있어, 사업관리 과정 중 발생하는 다양하고 복잡한 리스크를 분석, 관리하는 것은 사업 성공에 직접적인 영향을 준다. 이 교과목은 계획, 설계, 시공, 유지보수에 이르는 건설사업 전 생애주기에 걸쳐 발생 가능한 리스크를 이해, 분석하고, 이에 맞는 합리적인 의사결정, 대처, 관리방안을 제시하는 방법을, 사업관리 이론 및 사업 성공/실패 사례 분석을 통해 전달한다.전선 / 대학원
건설 사업을 수행함에 있어, 사업관리 과정 중 발생하는 다양하고 복잡한 리스크를 분석, 관리하는 것은 사업 성공에 직접적인 영향을 준다. 이 교과목은 계획, 설계, 시공, 유지보수에 이르는 건설사업 전 생애주기에 걸쳐 발생 가능한 리스크를 이해, 분석하고, 이에 맞는 합리적인 의사결정, 대처, 관리방안을 제시하는 방법을, 사업관리 이론 및 사업 성공/실패 사례 분석을 통해 전달한다.전선 / 학사
컴퓨터 및 인터넷이 사회 인프라로 사용됨에 따라 IT 시스템에서 보안 요구사항, 보안 기본 동작, 보안 시스템의 약점 등을 이해하는 것이 컴퓨터공학자에게는 점점 더 요구되고 있다. 인터넷 보안 시스템을 근본적으로 이해하기 위해서는 암호기술 및 그 수학적 원리를 알아야 가능하다. 본 강의에서는 먼저 암호 기술들을 이해하기 위해 필요한 정수론, 이산 로그, 소인수분해, 해시 함수 등을 설명한다. 그 뒤에는 대칭키 암호기법, 공개키 암호기법, 디지털 서명, 키 관리 등 기본 보안 기술을 다루고, 마지막으로 그 뒤에 공개키기반구조(PKI), 비트코인, TLS, 웹 보안, Tor 등 응용 보안 기술을 다룬다. 본 과목은 컴퓨터 공학을 전공 혹은 부전공으로 하는 학부생들을 대상으로 하며, 학생들이 일반 고등학교 수학과 이산수학을 수강하였으면 무리 없이 본 강의를 수강할 수 있도록 강의 내용을 개발할 것이다.전선 / 대학원
현대사회의 다양한 공공안전과 관련된 이슈들 중 특히 범죄와 관련된 제반 이론들과 그에 기초하여 정부가 시행하는 다양한 정책 및 프로그램들의 효과성에 대하여 논의한다. 특히, 최근 이슈가 되고 있는 다양한 유형의 주요 범죄들에 대한 정부의 대응을 평가하며 구체적인 형사사법기관인 경찰, 검찰, 법원, 교도의 각 영역별 주요이슈와 논점들에 대하여 학습한다.전선 / 대학원
기록학의 연구 및 실천에 필요한 전산의 기초적 지식을 교육한다. 기록의 작성과 보존 및 활용에서 컴퓨터 활용이 가지는 사회적 의미와 실무적 가치를 분석하고, 컴퓨터 시스템의 개요 및 하드웨어, 소프트웨어, 운영체제를 이해할 수 있는 기초 지식을 습득하게 한 후, 현재 공공 부문에서 널리 사용하고 있는 응용소프트웨어의 기초적 사용법, 효과적 이용 방법 등을 체계적으로 교육한다.논문 / 대학원
본 교과목은 대학원 석 박사 과정을 통해 수행될 연구에 필요한 기본적인 논문 연구와 이를 기초로 한 연구의 기획을 연습함으로써 독립적인 연구를 수행할 수 있는 능력을 함양할 수 있는 기회를 제공한다. 수강생의 연구 주제에 대한 최근 논문의 검토와 분석, 그리고 이를 통한 수강생의 연구 방법론의 향상을 도모한다.전선 / 대학원
이 강의는 학생들이 연구를 수행할 때 고려해야할 연구 윤리와 어떻게 연구 문제를 수립하고 논문 또는 보고서를 작성할 수 있는지 학습할 수 있도록 방법론을 제시하고 실제로 연습하는 것을 목표로 합니다. 연구 윤리 및 연구내용의 수립과 논리적 공학 글쓰기를 주제로 강의가 진행됩니다.전선 / 대학원
본 강의에서는 시스템-온-칩 뿐 아니라 분산 임베디드 시스템을 체계적으로 설계하기 위한 방법론으로 많은 주목을 받고 있는 하드웨어-소프트웨어 통합설계 방법론에 관하여 공부하도록 한다. 우선, 시스템을 정형적으로 명세하기 위한 다양한 계산 모델(model of computation)에 관하여 살펴보고 시스템의 시뮬레이션과 빠른 성능 예측 기술, 그리고 시스템의 최적 구조를 탐색하는 기술 등 시스템 설계에 관한 핵심 기술들을 개괄적으로 살펴본다. 끝으로 병렬/분산 임베디드 소프트웨어의 검증과 유지를 용이하게 하기 위한 임베디드 소프트웨어 설계 기술을 배운다.전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전선 / 학사
디자이너에게 필요한 제도, 법률, 계약에 대한 기초적인 교육 과정이다. 디자이너들의 저작물에 대한 권리에서 부터, 계약 프로세스, 상표와 특허등록에 이르는 기본적인 법률을 다룬다. 나아가 법, 규제, 사회적 규범을 디자인의 대상으로 바라보고 일반 수요자들이 잘 이용할 수 있게 연구하는 과정도 포함한다.