earticle

A Performance Enhanced Privilege Verification Cache for Authorization in Ubiquitous Service Environment KCI 등재후보

Woomin Hwang, Ki-Woong Park, Chul Lee, Kyu Ho Park

한국차세대컴퓨팅학회 한국차세대컴퓨팅학회 논문지 Vol.4 No.2 2008.06 pp.5-10

전투기 탑재 AESA 레이다의 설계 및 검증을 위한 체계모의 환경 구축 KCI 등재후보

김용덕, 윤보람, 주광민

한국방위산업학회 한국방위산업학회지 제25권 제3호 2018.09 pp.98-113

M2M 환경에서 장치간 상호 인증 및 정형검증 KCI 등재

배우식

한국디지털정책학회 디지털융복합연구 제12권 제9호 2014.09 pp.219-223

정밀한 가상주행환경 기반 자율주행 로직 검증용 시뮬레이터 개발

이선영, 박진만, 심영보

한국ITS학회 한국ITS학회 학술대회 Net-Zero Mobility 2023.04 p.76

스마트 홈 환경에서 AKI기반 검증 시스템을 활용한 인증관리 및 통신 기법에 관한 연구 KCI 등재

진병욱, 박중오, 전문석

한국인터넷방송통신학회 한국인터넷방송통신학회 논문지 제16권 제6호 2016.12 pp.25-31

자율주행 검증을 위한 가상시험환경 플랫폼 구축

고한검

한국ITS학회 한국ITS학회 학술대회 Inclusive ITS Technologies 2024.04 pp.815-820

Establishment of Vital Digital Assets Verification Environment Design Base

Yeeun Byun, Hyundoo Kim, Kookhei Kwon

한국방사성폐기물학회 한국방사성폐기물학회 학술논문요약집 한국방사성폐기물학회 2017 춘계학술논문요약집 2017.05 pp.29-30

A Formal Approach for an Environment-aware Verification of the Consistency of a Multimedia Presentation SCOPUS

Abdelkrim Abdelli

보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.4 No.2 2009.04 pp.189-196

A New Query Integrity Verification Method with Cluster-based Data Transformation in Cloud Computing Environment

Miyoung Jang, Min Yoon, Jae-Woo Chang

보안공학연구지원센터(IJSH) International Journal of Smart Home Vol.9 No.4 2015.04 pp.225-238

유비쿼터스 컴퓨팅 환경에서 안전성 검증을 위한 소프트웨어 감사 시스템

이무훈, 조성훈, 장창복, 최의인

보안공학연구지원센터(JSE) 보안공학연구논문지 Vol.1 No.1 2005.08 pp.20-26

모바일 클라우드 환경에서 스마트폰 악성 어플리케이션에 대한 동적 보안 검증 도구(APP-ZERVER) 개발 KCI 등재

이현정, 고갑승, 류찬호, 원동호

보안공학연구지원센터(JSE) 보안공학연구논문지 Vol.10 No.3 2013.06 pp.335-344

System-Level Verification Platform using SystemVerilog Layered Testbench & SystemC OOP SCOPUS

Young-Jin Oh, Gi-Yong Song

보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.7 No.2 2014.02 pp.221-230

Introduction to Verification Test Environment of FSW in KOMPSAT-2

이재승, 박성우, 박희성, 임정흠

[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2003 pp.1197-1200

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

Kim, Eui-Sub, Lee, Dong-Ah, Jung, Sejin, Yoo, Junbeom, Choi, Jong-Gyun, Lee, Jang-Soo

[Kisti 연계] 한국정보과학회 Journal of computing science and engineering Vol.11 No.1 2017 pp.9-23

Vibration test and verification of Multi-Anode-Photo-Multiplier-Tube's survivability with X-Ray Coded Mask Gamma Ray Burst Alert Trigger mechanical system in space launch environment

최지녕, 최연주, 정수민, 정애라, 김민빈, 김지은, 김석환, 김예원, 이직, 임희진, 민경욱, 나고운, 남지우, 박일흥, 서정은

[Kisti 연계] 한국천문학회 한국천문학회보 Vol.37 No.2 2012 p.209

계층화된 테스트벤치를 이용한 검증 환경 구현

오영진, 송기용

[Kisti 연계] 한국신호처리시스템학회 한국신호처리.시스템학회 논문지 Vol.12 No.2 2011 pp.145-149

열선분리방식을 이용한 힌지구동형 구속분리장치 비행모델의 발사 및 궤도환경 검증시험

이명재, 이용근, 강석주, 오현웅

[Kisti 연계] 한국항공우주학회 한국항공우주학회지 Vol.44 No.3 2016 pp.274-280

IP 검증을 위한 PCI 기반 리프로그램머블 설계 기능 에뮬레이션 환경 구현

최광재, 조용권, 이문기

[Kisti 연계] 대한전자공학회 대한전자공학회 학술대회논문집 2002 pp.65-68

정보기기온칩을 위한 HW/SW 혼합 설계 및 검증 환경 개발

장준영, 신진아, 배영환

[Kisti 연계] 대한전자공학회 대한전자공학회 학술대회논문집 2001 pp.117-120

저궤도 위성용 탑재소프트웨어의 검증시험 환경 구축

이재승, 최종욱, 강수연, 이종인

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2003 pp.547-549