JKIISC

Digital Library

Search: "[ keyword: formal ]" (8)

고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구

곽지원, 강수영, 김승주, Vol. 29, No. 4, pp. 821-834, 8월. 2019

10.13089/JKIISC.2019.29.4.821
주제어: High-Assurance, Formal specification, Verification, denial of service, drone system

정형 기법을 이용한 하드웨어 AES 모듈 백도어 탐색 연구

박재현, 김승주, Vol. 29, No. 4, pp. 739-751, 8월. 2019

10.13089/JKIISC.2019.29.4.739
주제어: hardware backdoor, formal method, model checker

Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증

최원빈, 김승주, Vol. 28, No. 1, pp. 53-60, 2월. 2018

10.13089/JKIISC.2018.28.1.53
주제어: formal, Verification, cryptography, cryptol, saw, formal, Verification, cryptography, cryptol, saw

암호화된 데이터베이스 검색 시스템의 보안 요구사항에 대한 통합적 관점에서의 연구

박현아, 이동훈, 정택영, Vol. 22, No. 3, pp. 621-636, 6월. 2012

10.13089/JKIISC.2012.22.3.621

VoIP 스팸 탐지 기술의 성능 평가를 위한 모델링 및 시물레이션

김지연, 김형종, 김명주, 정종일, Vol. 19, No. 3, pp. 95-106, 6월. 2009

10.13089/JKIISC.2009.19.3.95

의미기반 취약점 식별자 부여 기법을 사용한 취약점 점검 및 공격 탐지 규칙 통합 방법 연구

김형종, 정태인, Vol. 18, No. 3, pp. 121-130, 6월. 2008

10.13089/JKIISC.2008.18.3.121

정형명세 기법을 이용한 보안 프로토콜 코드 생성 도구의 보안 소프트웨어 개발 분석

장승주, 류대현, 이철수, 박일환, Vol. 14, No. 6, pp. 47-56, 12월. 2004

10.13089/JKIISC.2004.14.6.47

IPsec의 키 교환 방식에 대한 안전성 분석

주한규, Vol. 10, No. 4, pp. 33-46, 8월. 2000

10.13089/JKIISC.2000.10.4.33

출판 목록

Vol. 34, 2024
- Vol. 34, No. 2 (4월. 2024)
- Vol. 34, No. 1 (2월. 2024)
Vol. 33, 2023
- Vol. 33, No. 6 (12월. 2023)
- Vol. 33, No. 5 (10월. 2023)
- Vol. 33, No. 4 (8월. 2023)
- Vol. 33, No. 3 (6월. 2023)
- Vol. 33, No. 2 (4월. 2023)
- Vol. 33, No. 1 (2월. 2023)
Vol. 32, 2022
- Vol. 32, No. 6 (12월. 2022)
- Vol. 32, No. 5 (10월. 2022)
- Vol. 32, No. 4 (8월. 2022)
- Vol. 32, No. 3 (6월. 2022)
- Vol. 32, No. 2 (4월. 2022)
- Vol. 32, No. 1 (2월. 2022)
Vol. 31, 2021
- Vol. 31, No. 6 (12월. 2021)
- Vol. 31, No. 5 (10월. 2021)
- Vol. 31, No. 4 (8월. 2021)
- Vol. 31, No. 3 (6월. 2021)
- Vol. 31, No. 2 (4월. 2021)
- Vol. 31, No. 1 (2월. 2021)
Vol. 30, 2020
- Vol. 30, No. 6 (12월. 2020)
- Vol. 30, No. 5 (10월. 2020)
- Vol. 30, No. 4 (8월. 2020)
- Vol. 30, No. 3 (6월. 2020)
- Vol. 30, No. 2 (4월. 2020)
- Vol. 30, No. 1 (2월. 2020)
Vol. 29, 2019
- Vol. 29, No. 6 (12월. 2019)
- Vol. 29, No. 5 (10월. 2019)
- Vol. 29, No. 4 (8월. 2019)
- Vol. 29, No. 3 (5월. 2019)
- Vol. 29, No. 2 (3월. 2019)
- Vol. 29, No. 1 (1월. 2019)
Vol. 28, 2018
- Vol. 28, No. 6 (11월. 2018)
- Vol. 28, No. 5 (9월. 2018)
- Vol. 28, No. 4 (7월. 2018)
- Vol. 28, No. 3 (5월. 2018)
- Vol. 28, No. 2 (4월. 2018)
- Vol. 28, No. 1 (2월. 2018)
Vol. 27, 2017
- Vol. 27, No. 6 (12월. 2017)
- Vol. 27, No. 5 (10월. 2017)
- Vol. 27, No. 4 (8월. 2017)
- Vol. 27, No. 3 (6월. 2017)
- Vol. 27, No. 2 (4월. 2017)
- Vol. 27, No. 1 (2월. 2017)
Vol. 26, 2016
- Vol. 26, No. 6 (12월. 2016)
- Vol. 26, No. 5 (10월. 2016)
- Vol. 26, No. 4 (8월. 2016)
- Vol. 26, No. 3 (6월. 2016)
- Vol. 26, No. 2 (4월. 2016)
- Vol. 26, No. 1 (2월. 2016)
Vol. 25, 2015
- Vol. 25, No. 6 (12월. 2015)
- Vol. 25, No. 5 (10월. 2015)
- Vol. 25, No. 4 (8월. 2015)
- Vol. 25, No. 3 (6월. 2015)
- Vol. 25, No. 2 (4월. 2015)
- Vol. 25, No. 1 (2월. 2015)
Vol. 24, 2014
- Vol. 24, No. 6 (12월. 2014)
- Vol. 24, No. 5 (10월. 2014)
- Vol. 24, No. 4 (8월. 2014)
- Vol. 24, No. 3 (6월. 2014)
- Vol. 24, No. 2 (4월. 2014)
- Vol. 24, No. 1 (2월. 2014)
Vol. 23, 2013
- Vol. 23, No. 6 (12월. 2013)
- Vol. 23, No. 5 (10월. 2013)
- Vol. 23, No. 4 (8월. 2013)
- Vol. 23, No. 3 (6월. 2013)
- Vol. 23, No. 2 (4월. 2013)
- Vol. 23, No. 1 (2월. 2013)
Vol. 22, 2012
- Vol. 22, No. 6 (12월. 2012)
- Vol. 22, No. 5 (10월. 2012)
- Vol. 22, No. 4 (8월. 2012)
- Vol. 22, No. 3 (6월. 2012)
- Vol. 22, No. 2 (4월. 2012)
- Vol. 22, No. 1 (2월. 2012)
Vol. 21, 2011
- Vol. 21, No. 6 (12월. 2011)
- Vol. 21, No. 5 (10월. 2011)
- Vol. 21, No. 4 (8월. 2011)
- Vol. 21, No. 3 (6월. 2011)
- Vol. 21, No. 2 (4월. 2011)
- Vol. 21, No. 1 (2월. 2011)
Vol. 20, 2010
- Vol. 20, No. 6 (12월. 2010)
- Vol. 20, No. 5 (10월. 2010)
- Vol. 20, No. 4 (8월. 2010)
- Vol. 20, No. 3 (6월. 2010)
- Vol. 20, No. 2 (4월. 2010)
- Vol. 20, No. 1 (2월. 2010)
Vol. 19, 2009
- Vol. 19, No. 6 (12월. 2009)
- Vol. 19, No. 5 (10월. 2009)
- Vol. 19, No. 4 (8월. 2009)
- Vol. 19, No. 3 (6월. 2009)
- Vol. 19, No. 2 (4월. 2009)
- Vol. 19, No. 1 (2월. 2009)
Vol. 18, 2008
- Vol. 18, No. 6 (10월. 2008)
- Vol. 18, No. 5 (10월. 2008)
- Vol. 18, No. 4 (8월. 2008)
- Vol. 18, No. 3 (6월. 2008)
- Vol. 18, No. 2 (4월. 2008)
- Vol. 18, No. 1 (2월. 2008)
Vol. 17, 2007
- Vol. 17, No. 6 (12월. 2007)
- Vol. 17, No. 5 (10월. 2007)
- Vol. 17, No. 4 (8월. 2007)
- Vol. 17, No. 3 (6월. 2007)
- Vol. 17, No. 2 (4월. 2007)
- Vol. 17, No. 1 (2월. 2007)
Vol. 16, 2006
- Vol. 16, No. 6 (12월. 2006)
- Vol. 16, No. 5 (10월. 2006)
- Vol. 16, No. 4 (8월. 2006)
- Vol. 16, No. 3 (6월. 2006)
- Vol. 16, No. 2 (4월. 2006)
- Vol. 16, No. 1 (2월. 2006)
Vol. 15, 2005
- Vol. 15, No. 6 (12월. 2005)
- Vol. 15, No. 5 (10월. 2005)
- Vol. 15, No. 4 (8월. 2005)
- Vol. 15, No. 3 (6월. 2005)
- Vol. 15, No. 2 (4월. 2005)
- Vol. 15, No. 1 (2월. 2005)
Vol. 14, 2004
- Vol. 14, No. 6 (12월. 2004)
- Vol. 14, No. 5 (10월. 2004)
- Vol. 14, No. 4 (8월. 2004)
- Vol. 14, No. 3 (6월. 2004)
- Vol. 14, No. 2 (4월. 2004)
- Vol. 14, No. 1 (2월. 2004)
Vol. 13, 2003
- Vol. 13, No. 6 (12월. 2003)
- Vol. 13, No. 5 (10월. 2003)
- Vol. 13, No. 4 (8월. 2003)
- Vol. 13, No. 3 (6월. 2003)
- Vol. 13, No. 2 (4월. 2003)
- Vol. 13, No. 1 (2월. 2003)
Vol. 12, 2002
- Vol. 12, No. 6 (12월. 2002)
- Vol. 12, No. 5 (10월. 2002)
- Vol. 12, No. 4 (8월. 2002)
- Vol. 12, No. 3 (6월. 2002)
- Vol. 12, No. 2 (4월. 2002)
- Vol. 12, No. 1 (2월. 2002)
Vol. 11, 2001
- Vol. 11, No. 6 (12월. 2001)
- Vol. 11, No. 5 (10월. 2001)
- Vol. 11, No. 4 (8월. 2001)
- Vol. 11, No. 3 (6월. 2001)
- Vol. 11, No. 2 (4월. 2001)
- Vol. 11, No. 1 (2월. 2001)
Vol. 10, 2000
- Vol. 10, No. 4 (8월. 2000)
- Vol. 10, No. 3 (6월. 2000)
- Vol. 10, No. 2 (4월. 2000)
- Vol. 10, No. 1 (2월. 2000)
Vol. 9, 1999
- Vol. 9, No. 4 (8월. 1999)
- Vol. 9, No. 3 (6월. 1999)
- Vol. 9, No. 2 (4월. 1999)
- Vol. 9, No. 1 (2월. 1999)
Vol. 8, 1998
- Vol. 8, No. 4 (8월. 1998)
- Vol. 8, No. 3 (6월. 1998)
- Vol. 8, No. 2 (4월. 1998)
- Vol. 8, No. 1 (2월. 1998)
Vol. 7, 1997
- Vol. 7, No. 4 (8월. 1997)
- Vol. 7, No. 3 (6월. 1997)
- Vol. 7, No. 2 (4월. 1997)
- Vol. 7, No. 1 (2월. 1997)
Vol. 6, 1996
- Vol. 6, No. 4 (8월. 1996)
- Vol. 6, No. 3 (6월. 1996)
- Vol. 6, No. 1 (2월. 1996)
Vol. 5, 1995
- Vol. 5, No. 1 (2월. 1995)
Vol. 4, 1994
- Vol. 4, No. 2 (4월. 1994)
Vol. 2, 1992
- Vol. 2, No. 1 (2월. 1992)
Vol. 1, 1991
- Vol. 1, No. 1 (2월. 1991)