| Âê̾ | A Proposal of a Knowledge-based Tool to Support ST Developers on Acquisition of Cryptographic Requirements |
| Ãø¼Ô | *Guillermo Horacio Ramirez Caceres (Soka Univ.), Atsuo Inomata (NAIST), Yoshimi Teshigawara (Soka Univ.) |
| Page | pp. 1510 - 1515 |
| ¢ª¾ܺ٥ǡ¼¥¿ (¥¢¥֥¹¥ȥ饯¥ȡ¤¥¡¼¥¥ɡ¤¾ܺ٤ÊÃø¼Ԥνê°¤ʤÉ) | |
| Âê̾ | ¥»¥¥奢Ä̿®¥¢¡¼¥¥ƥ¯¥ãGSCIP¤ò¼¸½¤¹¤륰¥롼¥״ÉÍý¥µ¡¼¥ФμÂÁõ¤ȱ¿ÍÑɾ²Á |
| Ãø¼Ô | *º£¼ ·½ͤ, ÎëÌÚ ½¨ÏÂ, ¸åƣ ͵»Ê, ÅÏî´ ¹¸ (̾¾ëÂç) |
| Page | pp. 1516 - 1522 |
| ¢ª¾ܺ٥ǡ¼¥¿ (¥¢¥֥¹¥ȥ饯¥ȡ¤¥¡¼¥¥ɡ¤¾ܺ٤ÊÃø¼Ԥνê°¤ʤÉ) | |
| Âê̾ | ¥ǥ¸¥¿¥ë¥ǡ¼¥¿¾ڵòÊÝ¥ץé¥åȥե©¡¼¥à¡ØDig-Force¥·¥¥º¡٤γ«ȯ¤Èɾ²Á |
| Ãø¼Ô | *°²Ìî ͤ¼ù, ƣÅÄ ·½ʹ, Æþ߷ ËãΤ»Ò, º´¡¹ÌÚ Îɰì (ÅìµþÅŵ¡Âç) |
| Page | pp. 1523 - 1530 |
| ¢ª¾ܺ٥ǡ¼¥¿ (¥¢¥֥¹¥ȥ饯¥ȡ¤¥¡¼¥¥ɡ¤¾ܺ٤ÊÃø¼Ԥνê°¤ʤÉ) | |
| Âê̾ | ¿ÁØËɸæ¤γµǰ¤˴ð¤Ť¯¥ꥹ¥¯¤ÈÂкö¸ú²̤Υâ¥ǥ벽¤˴ؤ¹¤븡Ƥ |
| Ãø¼Ô | *²Ãƣ ¹°°ì, ļ»Ȳϸ¶ ²ij¤ (ÁϲÁÂç) |
| Page | pp. 1531 - 1540 |
| ¢ª¾ܺ٥ǡ¼¥¿ (¥¢¥֥¹¥ȥ饯¥ȡ¤¥¡¼¥¥ɡ¤¾ܺ٤ÊÃø¼Ԥνê°¤ʤÉ) | |