최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
데이터가 존재하지 않습니다.
loading...
Symbolic model checking
Liability of certification service provider : how to provider of certification services related to electronic signatures could manage their liabilies
Introduction to cryptography
Biometric authentication in online learning environments
L'écrit confronté aux nouvelles technologies
Electronic documents in maritime trade : law and practice
Passgesetz, Personalausweisgesetz : Kommentar
전자증거법
Digital certificates : applied Internet security
Financial cryptography : Third International Conference, FC '99, Anguilla, British West Indies, February 1999 : proceedings
Verifying treaty compliance : limiting weapons of mass destruction and monitoring Kyoto Protocol provisions
Digital system verification : a combined formal methods and simulation framework
Electronic petitioning and modernization of petitioning systems in Europe : report for the committee on education, research and technology assessment
Self-sovereign identity : decentralized digital identity and verifiable credentials
Verification and validation of complex systems : human factors issues
북한의 전자지급결제법제 연구
Digital signature schemes : general framework and fail-stop signatures
Aspects of electronic health record systems
Explainable AI : interpreting, explaining and visualizing deep learning
법학연구
김종호민사법학
김병두민사법학
박광동부동산법학
박광동Expert Systems with Applications
Longjam T.,Kisku D.R.,Gupta P.Computational intelligence and neuroscience
Kumar R; Saraswat M; Ather D; Mumtaz Bhutta MN; Basheer S; Thakur RNJournal of The Institution of Engineers (India): Series B: Electrical, Electronics & Telecommunication and Computer Engineering
Biswas, Suparna; Biswas, Shatadru; Saha, Bidushi비교사법
박광동Journal of Politics and Law
Parviz Savrai; Ghasem Bakhtiarifar보험법연구
이성남비교사법
김병두Iran Journal of Computer Science: An International Journal
Adewuyi, Joel Adeyanju; Iwasokun, Gabriel Babatunde; Gabriel, Arome JuniorProceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies
Erez Shmueli; Ben Nassi; Yuval Elovici; Alona Levy성균관법학
김현경소비자법연구
김현수부동산법학
박광동Multimedia Tools and Applications
Dhieb T.,Boubaker H.,Njah S.,Ben Ayed M.,Alimi A.M.법학논총
김성태赤子 / Chi Zi
王晓凤; 袁小斐; 郝爽Arabian Journal for Science and Engineering
Gutub, A.; Ghazwani, B.; Altalhi, S.전필 / 대학원
소송의 증거에서 디지털증거가 차지하는 비중이 급속도로 증가되고 있고, 이에 따라 증거법도 디지털증거의 확대를 뒤쫓고 있다. 디지털증거는 전통적인 증거에 비하여 개인과 기업의 정보를 광범위하게 침해할 위험이 매우 높다. 이에 증거의 필요성과 정보의 침해 사이에 어떻게 조화를 이루는 것이 헌법적인 정당성을 갖추는 것인가가 매우 중요한 법적 문제로 떠오른다. 이 강좌는 정보보호에 관한 법리와 실무를 함께 다룬다전선 / 대학원
개인정보보호 법제도에 대해 개관하는 과목. 개인정보보호 법제 발전의 국내외 연혁, 개인정보보호법, 정보통신망법, 위치정보법, 신용정보법 등 관련 법률의 주요 내용에 대한 개관, 주요 판례 논의, 국외 개인정보 이전과 관련된 쟁점, 법집행 관련 이슈, 빅테이터 등 신기술과 관련된 이슈 등에 관해 논의전선 / 학사
인공지능 기술의 도입은 다양한 법적 제도적 이슈들을 제기한다. 인공지능 기술의 도입이 가져오는 사회적 경제적 변화는 어떠한 것인지 살펴보고, 그와 함께 고려해야 할 법제도적 이슈들이 어떤 것인지 파악하고 정리해 보는 기회를 갖도록 한다. 인공지능의 작동방식에 대해 재검토하고, 인공지능이 인터넷 플랫폼, 검색, 프로파일링 등 다양한 영역에 미치는 영향을 검토하고, 금융이나 의료 등 개별 산업에는 어떠한 변화를 가져오는지 살펴본다. 그와 함께, 새로이 제기되는 법제도적 이슈들에 대해 검토한다. 법적 책임에 관한 문제를 비롯하여, 공정성이나 차별의 이슈, 데이터 활용과 관련된 프라이버시 이슈 등 관련된 다양한 이슈들에 대해 논의하도록 한다.전필 / 대학원
소송의 증거에서 디지털증거가 차지하는 비중이 급속도로 증가되고 있고, 이에 따라 증거법도 디지털증거의 확대를 뒤쫓고 있다. 이 강좌는 증거법의 기본이론과 실무를 검토한 다음 디지털증거에 특유한 법적인 문제를 다룬다. 특히 후자와 관련하여서는 디지털증거의 특징을 살펴본 다음, 디지털증거의 수집(압수,수색 포함), 증거능력, 증거조사에 대한 현행 법제(입법 및 판례)와 실무를 검토하고 제도의 발전방향을 함께 논의한다.전선 / 대학원
문집, 일기, 족보, 간찰 외 기타 민간기록류의 상황을 종류별로 파악하고 그 내용을 강독함으로써 민간기록류에 대해 체계적으로 이해한다. 또한 민간기록류의 수집, 정리, 보존 현황을 파악하고 내용정보를 연구하며, 보존관리 체계의 구축 방안을 강구하는 것을 목적으로 한다. 나아가서 규장각 및 기타 기관과 개인 소장 자료에 대한 실물조사를 수행할 수 있는 연구 수행 능력을 함양하는 데 의의를 둔다.전선 / 대학원
법치의학적 지식을 이용한 개인식별의 절차, 즉, 자료의 수집 및 평가에서부터 자료의 보고에 이르기까지 이 분야에 대한 기본적이고 실제적인 지식을 익히고 토론함과 아울러 이에 대한 최근의 문헌을 살펴 보고 토론한다.전선 / 학사
이 강의는 크게 두 부분으로 나뉜다: 기계화된 수학과 소프트웨어 검증. 첫 번째 부분에서는 컴퓨터의 도움을 받아 수학을 오류 없이 수행하는 방법을 소개한다. 특히, Coq 증명 보조 도구의 이론과 응용에 대해 배운다. 이 도구는 수학적 정의, 정리 및 증명을 엄밀하게 작성할 수 있게 해주며, 이후에 자동 증명 검사를 수행하여 그 증명의 올바름을 보장한다. 이 강의의 두 번째 부분에서는 소프트웨어 명세를 표현하는 방법, 그리고 작성된 프로그램이 주어진 명세대로 오류 없이 동작함을 엄밀하게 검증하는 방법을 소개한다. 구체적으로, Coq 내에서 Hoare 논리라고 불리는 프로그램 논리를 구현하고, 이를 사용하여 다양한 프로그램을 엄밀하게 검증한다.전선 / 학사
컴퓨터 및 인터넷이 사회 인프라로 사용됨에 따라 IT 시스템에서 보안 요구사항, 보안 기본 동작, 보안 시스템의 약점 등을 이해하는 것이 컴퓨터공학자에게는 점점 더 요구되고 있다. 인터넷 보안 시스템을 근본적으로 이해하기 위해서는 암호기술 및 그 수학적 원리를 알아야 가능하다. 본 강의에서는 먼저 암호 기술들을 이해하기 위해 필요한 정수론, 이산 로그, 소인수분해, 해시 함수 등을 설명한다. 그 뒤에는 대칭키 암호기법, 공개키 암호기법, 디지털 서명, 키 관리 등 기본 보안 기술을 다루고, 마지막으로 그 뒤에 공개키기반구조(PKI), 비트코인, TLS, 웹 보안, Tor 등 응용 보안 기술을 다룬다. 본 과목은 컴퓨터 공학을 전공 혹은 부전공으로 하는 학부생들을 대상으로 하며, 학생들이 일반 고등학교 수학과 이산수학을 수강하였으면 무리 없이 본 강의를 수강할 수 있도록 강의 내용을 개발할 것이다.전선 / 대학원
의료기기의 인체 내 안전성과 유효성을 평가하기 위한 임상시험을 설계하는데 필요한 과학적인 연구설계(study design) 방법, 연구 대상자와 변수측정방법, 식품의약품안전처 인허가 과정 등 전 과정에 대한 이해를 증진하고 실제 케이스에 대한 분석을 통해 실전 역량을 습득한다.전선 / 대학원
본 과목은 정보보호법제의 전반을 학습하는 것을 목표로 한다. 검토 범위는 개인정보 보호법, 신용정보법, 위치정보법 등 주요 정보보호 법제상 개인정보의 보호와 활용, 가명처리 등 적법근거, 프라이버시 향상 기술, 개인정보주체의 권리, 데이터 이동권, 자동화 평가, 사법협조, 정보보안, 침해사고의 대응, 국외이전을 포괄한다.전선 / 대학원
"다양화, 신속화, 복잡화되는 시장구조와 제품개발과정을 효과적으로 관리할 수 있는 현대적 기법들을 종합적으로 이해하고 case와 실습을 통해 신제품개발과 개발기술의 상업화에 대한 이론 및 실무지식을 배양한다. "전선 / 대학원
의료기기는 인간의 생명과 보건에 직결되는 제품으로서, 국민의 건강증진 및 건강권 확보 등에 큰 영향을 끼치기 때문에 각국은 정부의 인허가 정책을 통해 의료기기의 제조, 수입, 판매 등을 규제한다. 또한 국가 간 인증 및 허가제도가 상이하므로 국제교역에서 비관세 무역장벽으로 작용하고 있으며 자국의 의료기기 산업을 보호하기 위한 용도로도 사용되고 있다. 의료기기는 개발 과정에서부터 제품화까지 시간이 오래걸리는 데다가 인허가 과정까지 포함하면 더 많은 시간이 소요된다. 최근에는 인공지능 기술을 포함한 의료용 소프트웨어도 의료기기로 포함되어 인허가 규제를 적용받게 된다. 의료기기 연구개발자는 인허가 과정과 규제과학 체계를 통합적으로 이해하고 이를 반영한 의료기기 연구개발 전략을 수립할 수 있어야 한다.전필 / 대학원
디지털 포렌식 기술의 입문과정으로서, 디지털포렌식의 절차, 디지털포렌식 기술 동향과 역사, 디지털포렌식 기술의 위기와 대응방안을 살펴본다. 즉, 디지털 데이터의 삭제, 암호화, 은닉에 대응하는 컴퓨터 시스템 및 소프트웨어 도구 기술, 디지털 증거물 데이터 처리과정의 무결점을 보장하는 기술, 디지털 증거물의 온전함을 보장하는 기술 등을 살펴본다.전선 / 대학원
영구보존 기록 편찬에 저본인 고문서는 다양한 주체에 의해서 만들어진다. 각 주체에 의한 고문서의 생산 유통 과정을 살펴봄으로써 과거 문서행정의 절차와 과정, 문서의 종류를 알게 될 것이다. 국내외를 망라하는 다양한 고문서를 접함으로써 1차 자료가 가지는 특성을 숙지하고 대상에 대한 이해 수준을 높인다.전선 / 대학원
대집행,집행벌, 직접강제, 행정상 강제징수 등의 행정상 강제집행수단 및 과징금, 공급거부, 위반사실의 공표 등의 새로운 의무이행확보수단, 그리고 행정상 즉시강제 및 행정조사, 행정벌 등 행정에 특유한 강제수단들을 검토한다.전선 / 대학원
신약 후보물질이 승인을 받아서 시판되기 위해서는 안전성, 유효성에 관한 근거를 생성하는 과정이 필요하며, 이는 통상적으로 후기 임상개발 과정에서 확증적 임상시험을 통해서 이루어진다. 한편 후기 임상개발 연구설계의 각종 요소를 결정하고 또한 맞춤약물요법에 필요한 의약품 정보를 풍부하게 생성하기 위한 탐색적 임상시험들이 초기 임상개발 단계부터 이루어지게 되는데, 이러한 연구들의 특성을 이해하여 의약품 임상개발에 활용한다.전선 / 대학원
" 기업, 정부와 함께 시장경제를 형성하는 하나의 주체로서 소비자의 기본적인 권리와 소비자보호의 필요성을 논의한다. 구체적으로 소비자 주권개념 아래에서 소비자 선택권의 보장과 소비자의 합리적인 선택가능성을 확보하기 위한 제도를 살펴보고 기타 소비자 보호를 위한 관련 법규들의 실제 적용상 문제점과 개선방향을 검토한다. "전선 / 대학원
4차 산업혁명 시대를 맞아 건강분야도 디지털 전환이 빠르게 진행 중이다. 따라서 의학과 관련된 학문을 연구하는 학생들도 디지털 전환에 대해 이해하는 것이 필요하다. 그러나 의료분야는 일반법이 아닌 특별법으로 체계화되어 있어 개인정보보호법과 같은 일반법이 마련된다고 하더라도 특별법 우선의 원칙에 따라 기존의 의료관련 특별법이 먼저 적용된다. 이 강의에서는 의료분야 디지털 전환을 역사적 맥락 하에서 체계적으로 이해할 수 있도록 의료분야 특별법과 디지털 전환을 주도하는 법령들간의 관계를 배운다.전선 / 대학원
신뢰성(trustworthiness)은 AI 시스템 개발과 산업적 활용 및 사회적 수용에 이르는 전 과정에서 확보되어야 할 전제 조건이며, 영향평가는 AI 윤리 영역에서의 신뢰성을 구축하는데 중요한 역할을 담당한다. 이 수업은 "신뢰할 수 있는(trustworthy)” AI 원칙을 중심으로 AI 윤리에 관한 다양한 논의를 학습하고, 나아가 AI 윤리의 주요 세부원칙들이 실제 사례에서 어떻게 적용되는지 이해 · 평가하고자 한다. 이 과정에서 AI 시스템을 개발하고, 사용 및 운영하는 것은 기술적 행위일 뿐만 아니라 윤리적 함의를 가진 정치·경제·사회·문화적 행위 역시 될 수 있음을 확인하고, 이와 같은 가치관의 토대 위에 공학도로서, 개발자로서 또는 AI 시대를 살아가는 우리 공동체 구성원의 하나로서 나아가길 목표한다.교양 / 학사
<생물학 1> 강의의 주요내용에 대해 관련된 실험을 통한 실제적인 이해와 생물학에 관한 기초실험 기술을 배우는 것을 목적으로 한다.