KIISC

Digital Library

Search: "[ author: 송보연 ]" (1)

암호프로토콜 논리성 검증도구 개발에 관한 연구

권태경, 김승주, 송보연, The Korea Institute of Information Security and Cryptology, Vol. 12, No. 2, pp. 62-76, Apr. 2002

Publications

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