2002³â Ãá°è Çмú´ëȸ
Current Result Document :
ÇѱÛÁ¦¸ñ(Korean Title) |
Á¤Çü¸í¼¼ º¸¾È±â´ÉÀÇ ÄÚµå»ý¼º µµ±¸ ºñ±³ |
¿µ¹®Á¦¸ñ(English Title) |
Comparison of Code Generation Tools from Formal Specification of Security Function |
ÀúÀÚ(Author) |
À¯ÈñÁØ
±èÀÏ°ï
ÃÖÁø¿µ
±è»óÈ£
³ëº´±Ô
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 29 NO. 01 PP. 0829 ~ 0831 (2002. 04) |
Çѱ۳»¿ë (Korean Abstract) |
ÃÖ±Ù µé¾î º¸¾È¿¡ ´ëÇÑ °ü½ÉÀÌ ³ô¾ÆÁö°í ÀÖÀ¸¸ç, ¸¹Àº º¸¾È °ü·Ã ÇÁ·Î±×·¥ÀÌ »ç¿ëµÇ°í ÀÖ´Â »óȲÀÌ´Ù. ÇÏÁö¸¸ ¾ÈÀü¼ºÀ» ¿¹ÃøÇϱ⠾î·Á¿î º¸¾È ±â´ÉÀ» ¿Ïº®ÇÏ°Ô ±¸ÇöÇϱâ À§Çؼ ÇöÀçÀÇ Å×½ºÆà ¹æ¹ý·Ð¸¸À¸·Î´Â ¿ÏÀü¼ºÀ» º¸ÀåÇÒ ¼ö ¾øÀ¸¹Ç·Î º¸´Ù ¾ÈÀüÇÑ º¸¾È ±â´ÉÀ» ±¸ÇöÇϱâ À§Çؼ Á¤Çü¸í¼¼ ¹æ¹ýÀº ¹Ýµå½Ã ÇÊ¿äÇÏ´Ù. ¶ÇÇÑ ½ÇÁ¦·Î ½Ã½ºÅÛµéÀÌ °³¹ßµÇ´Â °úÁ¤¿¡ ÀÖ¾î¼ ¼³°èµÉ ´ç½Ã¿Í´Â ´Þ¸® °áÇÔÀ» °¡Áú ¼ö ÀÖ´Ù. ½Ã½ºÅÛ¿¡ ´ëÇÑ ¸í¼¼°¡ Á¤È®ÇÏ´Ù ÇÏ´õ¶óµµ °³¹ßÀÚÀÎ »ç¶÷ÀÇ °³ÀÔÀ¸·Î ÀÎÇؼ °³¹ßÇÏ´Â µµÁß¿¡ ¸í¼¼¿Í ´Ù¸¥ °á°ú¸¦ ÃÊ·¡ÇÏ¿© °áÇÔÀÌ ¹ß»ýÇÒ ¼ö ÀÖ´Ù. ÀÌ·¯ÇÑ °áÇÔÀº °³¹ßÀÚ³ª »ç¿ëÀÚ¿¡ ÀÇÇØ ½±°Ô ¹ß°ßµÇ±â ¾î·Æ´Ù. ¸¸ÀÏ º¸¾È ½Ã½ºÅÛÀÌ ¾Ë·ÁÁöÁö ¾ÊÀº °áÇÔÀÌ ÀÖ´Ù¸é ºñ¹Ð Á¤º¸°¡ ½±°Ô ´©¼³µÉ ¼ö ÀÖ´Ù´Â Å« ¹®Á¦°¡ ¹ß»ýÇÒ ¼ö ÀÖ´Ù. Åë½Å¸ÁÀ» »ç¿ëÇÏ´Â Àα¸ÀÇ È®´ë¿Í ´õºÒ¾î ´Ù¾çÇÑ ÇüÅÂÀÇ Åë½Å ¼ºñ½º°¡ Á¦°øµÊ¿¡ µû¶ó ½Ã½ºÅÛÀÇ Æ¯¼ºÀÌ º¹ÀâÇØÁö°í ºÒ¹ýÀûÀÎ ÀÚ·á Á¢±ÙÀÇ À§Çèµµ ¸¹ÀÌ ³ëÃâµÇ°í ÀÖ´Ù. µû¶ó¼, ¸íÈ®ÇÑ Á¤Çü¸í¼¼ º¸¾È±â´ÉÀ¸·ÎºÎÅÍ ÀÚµ¿ ÄÚµå »ý¼ºÀº ¹Ýµå½Ã ÇÊ¿äÇÏ´Ù. º» ³í¹®¿¡¼´Â ¿©·¯ Á¤Çü µµ±¸¸¦ »ç¿ëÇؼ º¸¾È±â´É¿¡ ´ëÇÑ Á¤Çü¸í¼¼¸¦ ÀÛ¼ºÇÑ ÈÄ¿¡ ¼Ò½ºÄÚµå »ý¼ºÇÑ ÈÄ, Á¤Çü¸í¼¼¸¦ ÀÌ¿ëÇÏ¿© ¼³°è ¹× ±¸ÇöÇÑ ÇÁ·Î±×·¥¿¡ ´ëÇÑ ¸í¼¼¿Í ¼Ò½ºÄڵ尣 ÀÏÄ¡¼º °ËÅä ¹æ¹ýÀ» °³¹ßÇÏ¿©, Á¤Çü¸í¼¼¸¦ ÅëÇØ »ý¼ºµÈ º¸¾È±â´É ¼Ò½ºÄÚµåÀÇ º¸¾È¼º Ãø¸é°ú ¼º´ÉÀû Ãø¸éÀÇ Trade-Off ºÐ¼®ÇÏ´Â °ÍÀÌ´Ù. ³í¹®¿¡¼´Â ÀÎÁõ °ü·Ã º¸¾È ±â´ÉÀÎ S/KEY¿¡ ´ëÇؼ 4°³ (STATEMATE MAGMUM, Rational Rose 98, SPEAR, VDM-SL)ÀÇ Á¤Çüµµ±¸¸¦ »ç¿ëÇÏ¿© ¸í¼¼ ÈÄ, ¼Ò½ºÄڵ带 »ý¼ºÇÏ¿© »ý¼ºµÈ °¢ Äڵ忡 ´ëÇÏ¿© ºñ±³ÇÏ¿´À¸¸ç, ÇöÀç »ó¿ëÈ µÇ¾îÀÖ´Â Bellcore ÀÇ S/KEY ½Ã½ºÅÛ°úÀÇ ºñ±³¸¦ ¼öÇàÇÏ¿´´Ù. ºÐ¼®¿¡¼´Â Á¦Ç°ÀÇ È¿À²¼º»Ó¸¸ ¾Æ´Ï¶ó º¸¾È¼ºÀ» Áß¿äÇÏ°Ô »ý°¢ÇÏ¿´À¸¸ç, ¾ÕÀ¸·Î º¸¾È °ü·Ã ¼ÒÇÁÆ®¿þ¾î °³¹ß¿¡ »ç¿ëµÉ ¼ö ÀÖ´Â µµ±¸µéÀÇ °¡ÀÌµå ¶óÀο¡ ´ëÇÑ Á¤º¸¸¦ Á¦°øÇÑ´Ù.
|
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
Á¤º¸º¸È£
Á¤Çü¸í¼¼
Formal Specificatio
º¸¾È±â´É
Security Function
ÄÚµå»ý¼º µµ±¸
Code Generation Tools
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|