JKIISC

Digital Library

Search: "[ keyword: saw ]" (1)

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. 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)