| Proverif Editor SPI-CALCULUS¿¡ ÁöÁ¤µÈ ÇÁ·ÎÅäÄÝ È®ÀÎ ¹× ÆíÁý |
Áö±Ý ´Ù¿î·Îµå |
Proverif Editor ¼øÀ§ ¹× ¿ä¾à
- °Ô½ÃÀÚ À̸§:
- Joeri de Ruiter
Proverif Editor ű×
Proverif Editor ¼³¸í
SPI-CALCULUS¿¡ ÁöÁ¤µÈ ÇÁ·ÎÅäÄÝÀ» È®ÀÎÇÏ°í ÆíÁýÇϽʽÿÀ Proverif Editor Proverif.developerÀÇ ÄÚ¸àÆ®¸¦ »ç¿ëÇÏ¿© SPI-Calculus¿¡ ÁöÁ¤µÈ ÇÁ·ÎÅäÄÝÀ» ÆíÁýÇÏ°í È®ÀÎÇÏ´Â ÆíÁý±â°¡ ÆíÁý±â¸¦ »ç¿ëÇϽʽÿÀ (³» °³ÀÎÀûÀÎ SourceForge ÆäÀÌÁö¿¡¼ ³» À̸ÞÀÏ ÁÖ¼Ò¸¦ ãÀ» ¼ö ÀÖ½À´Ï´Ù). ¶ÇÇÑ ÆíÁý±â¸¦ »ç¿ëÇÒ ¶§ ¹ß»ýÇÒ ¼öÀÖ´Â ¹ö±× ¶Ç´Â Á¦¾È »çÇ×À» ½Å°íÇϽʽÿÀ. ¿ä±¸ »çÇ× : ¡¤ ÆÄÀ̽㠡¤ Pygtk. ¡¤ PyGtksourceview.
Proverif Editor °ü·Ã ¼ÒÇÁÆ®¿þ¾î