@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00239661,
 author = {竹島, 卓 and Takeshima, Taku},
 book = {第40回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {121--130},
 publisher = {情報処理学会},
 title = {数式処理システムの現代暗号への応用},
 volume = {1999},
 year = {1999}
}